Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 291 p.) |
Disciplina | 004n/a |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Compilers (Computer programs) Software engineering Computer science Mathematics of Computing Compilers and Interpreters Software Engineering Computer Science Logic and Foundations of Programming Theory of Computation Models of Computation |
ISBN | 3-642-04368-2 |
Classificazione |
DAT 260f
DAT 510f DAT 550f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements. |
Record Nr. | UNISA-996465632603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009, Proceedings / / edited by Joel Ouaknine, Frits W. Vaandrager |
Edizione | [1st ed. 2009.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
Descrizione fisica | 1 online resource (X, 291 p.) |
Disciplina | 004n/a |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science—Mathematics
Compilers (Computer programs) Software engineering Computer science Mathematics of Computing Compilers and Interpreters Software Engineering Computer Science Logic and Foundations of Programming Theory of Computation Models of Computation |
ISBN | 3-642-04368-2 |
Classificazione |
DAT 260f
DAT 510f DAT 550f SS 4800 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Tapas: Theory Combinations and Practical Applications -- Max-plus Algebraic Tools for Discrete Event Systems, Static Analysis, and Zero-Sum Games -- Approximations of Discrete, Continuous, and Hybrid Systems -- Volume and Entropy of Regular Timed Languages: Analytic Approach -- Synthesis of Non-Interferent Timed Systems -- Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net -- Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis -- Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation -- Model Checking Logic WCTL with Multi Constrained Modalities on One Clock Priced Timed Automata -- Safe Runtime Verification of Real-Time Properties -- Removing All Silent Transitions from Timed Automata -- Realizability of Real-Time Logics -- Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata -- Analyzing Real-Time Event-Driven Programs -- A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata -- Compositional Abstraction for Stochastic Systems -- Stochastic Games for Verification of Probabilistic Timed Automata -- Checking Timed Büchi Automata Emptiness Using LU-Abstractions -- On the Supports of Recognizable Timed Series -- Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction -- Exploiting Timed Automata for Conformance Testing of Power Measurements. |
Record Nr. | UNINA-9910484859603321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Lectures on Embedded Systems [[electronic resource] ] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / / edited by Grzegorz Rozenberg, Frits W. Vaandrager |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (IX, 431 p.) |
Disciplina | 004.16 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Special purpose computers Operating systems (Computers) Software engineering Theory of Computation Special Purpose and Application-Based Systems Operating Systems Software Engineering |
ISBN | 3-540-49498-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification of clocked and hybrid systems -- Analyzing and synthesizing hybrid control systems -- Model checking timed automata -- On modeling real-time task systems -- A modular approach for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation and toolset for high-performance embedded systems development -- The maturity of object-oriented methodologies -- Object oriented development of embedded systems with the octopus method -- Engineering of real-time systems with an experiment in hybrid control -- Formal methods in the design of a storm surge barrier control system -- Statecharts in use: structured analysis and object-orientation -- Embedded systems in consumer products -- The long road from research to telecommunication applications -- Development of embedded software at ICT. |
Record Nr. | UNISA-996465920303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Lectures on Embedded Systems [[electronic resource] ] : European Educational Forum School on Embedded Systems, Veldhoven, The Netherlands, November 25-29, 1996 / / edited by Grzegorz Rozenberg, Frits W. Vaandrager |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (IX, 431 p.) |
Disciplina | 004.16 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Special purpose computers Operating systems (Computers) Software engineering Theory of Computation Special Purpose and Application-Based Systems Operating Systems Software Engineering |
ISBN | 3-540-49498-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Verification of clocked and hybrid systems -- Analyzing and synthesizing hybrid control systems -- Model checking timed automata -- On modeling real-time task systems -- A modular approach for programming embedded systems -- Proof-based system engineering and embedded systems -- A design notation and toolset for high-performance embedded systems development -- The maturity of object-oriented methodologies -- Object oriented development of embedded systems with the octopus method -- Engineering of real-time systems with an experiment in hybrid control -- Formal methods in the design of a storm surge barrier control system -- Statecharts in use: structured analysis and object-orientation -- Embedded systems in consumer products -- The long road from research to telecommunication applications -- Development of embedded software at ICT. |
Record Nr. | UNINA-9910767552003321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|