DS-RT 2008 : proceedings : 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications : 27-29 October, 2008, Vancouver, Canada |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2008 |
Disciplina | 004/.33 |
Soggetto topico |
Computer simulation - Distributed processing
Interactive computer systems Electronic data processing Real-time data processing Engineering & Applied Sciences Computer Science |
ISBN | 1-5090-8377-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910139852203321 |
[Place of publication not identified], : IEEE Computer Society Press, 2008 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
DS-RT 2009 : proceedings : 13th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications : 25-28 October, 2009, Singapore |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2009 |
Disciplina | 004/.33 |
Collana | ACM Conferences |
Soggetto topico |
Computer simulation - Distributed processing
Interactive computer systems Electronic data processing Real-time data processing Engineering & Applied Sciences Computer Science |
ISBN | 1-4244-5525-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | DS-RT '09 |
Record Nr. | UNISA-996211562603316 |
[Place of publication not identified], : IEEE Computer Society Press, 2009 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
DS-RT 2009 : proceedings : 13th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications : 25-28 October, 2009, Singapore |
Pubbl/distr/stampa | [Place of publication not identified], : IEEE Computer Society Press, 2009 |
Disciplina | 004/.33 |
Collana | ACM Conferences |
Soggetto topico |
Computer simulation - Distributed processing
Interactive computer systems Electronic data processing Real-time data processing Engineering & Applied Sciences Computer Science |
ISBN | 1-4244-5525-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Altri titoli varianti | DS-RT '09 |
Record Nr. | UNINA-9910138943603321 |
[Place of publication not identified], : IEEE Computer Society Press, 2009 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / / edited by Werner Damm, Ernst-Rüdiger Olderog |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 462 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Architecture, Computer Computer logic Microprocessors Special purpose computers Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer System Implementation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems |
ISBN | 3-540-45739-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Tutorials -- UppaaL Implementation Secrets -- Software Hazard and Safety Analysis -- Invited Papers -- Real-Time Operating Systems: Problems and Novel Solutions -- Real-Time UML -- Eager Class Initialization for Java -- Applications of Formal Methods in Biology -- An Overview of Formal Verification for the Time-Triggered Architecture -- Scheduler Modeling Based on the Controller Synthesis Paradigm -- Synthesis and Scheduling -- Component-Based Synthesis of Dependable Embedded Software -- From the Specification to the Scheduling of Time-Dependent Systems -- On Control with Bounded Computational Resources -- Timed Automata I -- Decidability of Safety Properties of Timed Multiset Rewriting -- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning -- Fault Diagnosis for Timed Automata -- Bounded Model Checking -- Verification of Timed Automata via Satisfiability Checking -- Take It NP-Easy: Bounded Model Construction for Duration Calculus -- Towards Bounded Model Checking for the Universal Fragment of TCTL -- Verification and Conformance Testing -- A Typed Interrupt Calculus -- Parametric Verification of a Group Membership Algorithm -- A Method for Testing the Conformance of Real Time Systems -- UML Models and Model Checking -- A Probabilistic Extension of UML Statecharts -- Eliminating Queues from RT UML Model Representations -- Model Checking Timed UML State Machines and Collaborations -- Timed Automata II -- Partial Order Path Technique for Checking Parallel Timed Automata -- Constructing Test Automata from Graphical Real-Time Requirements. |
Record Nr. | UNISA-996465522303316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems : 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings / / edited by Werner Damm, Ernst-Rüdiger Olderog |
Edizione | [1st ed. 2002.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 |
Descrizione fisica | 1 online resource (X, 462 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Software engineering Architecture, Computer Computer logic Microprocessors Special purpose computers Programming Languages, Compilers, Interpreters Software Engineering/Programming and Operating Systems Computer System Implementation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems |
ISBN | 3-540-45739-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Tutorials -- UppaaL Implementation Secrets -- Software Hazard and Safety Analysis -- Invited Papers -- Real-Time Operating Systems: Problems and Novel Solutions -- Real-Time UML -- Eager Class Initialization for Java -- Applications of Formal Methods in Biology -- An Overview of Formal Verification for the Time-Triggered Architecture -- Scheduler Modeling Based on the Controller Synthesis Paradigm -- Synthesis and Scheduling -- Component-Based Synthesis of Dependable Embedded Software -- From the Specification to the Scheduling of Time-Dependent Systems -- On Control with Bounded Computational Resources -- Timed Automata I -- Decidability of Safety Properties of Timed Multiset Rewriting -- Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning -- Fault Diagnosis for Timed Automata -- Bounded Model Checking -- Verification of Timed Automata via Satisfiability Checking -- Take It NP-Easy: Bounded Model Construction for Duration Calculus -- Towards Bounded Model Checking for the Universal Fragment of TCTL -- Verification and Conformance Testing -- A Typed Interrupt Calculus -- Parametric Verification of a Group Membership Algorithm -- A Method for Testing the Conformance of Real Time Systems -- UML Models and Model Checking -- A Probabilistic Extension of UML Statecharts -- Eliminating Queues from RT UML Model Representations -- Model Checking Timed UML State Machines and Collaborations -- Timed Automata II -- Partial Order Path Technique for Checking Parallel Timed Automata -- Constructing Test Automata from Graphical Real-Time Requirements. |
Record Nr. | UNINA-9910143892503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2002 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / / edited by Mathai Joseph |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Computer logic Microprocessors Special purpose computers Logic design Programming Languages, Compilers, Interpreters Computer System Implementation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems Logic Design |
ISBN | 3-540-45352-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Stability of Discrete Sampled Systems -- Issues in the Refinement of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking -- Scaling up Uppaal -- Decidable Model Checking of Probabilistic Hybrid Automata -- Fault Tolerance -- Invariant-Based Synthesis of Fault-Tolerant Systems -- Modeling Faults of Distributed, Reactive Systems -- Threshold and Bounded-Delay Voting in Critical Control Systems -- Automating the Addition of Fault-Tolerance -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction of Scheduled Systems -- A Dual Interpretation of “Standard Constraints” in Parametric Scheduling -- Validation -- Co-Simulation of Hybrid Systems: Signal-Simulink -- A System for Object Code Validation -- Refinement -- Real-Time Program Refinement Using Auxiliary Variables -- On Refinement and Temporal Annotations -- Generalizing Action Systems to Hybrid Systems -- Verification -- Compositional Verification of Synchronous Networks -- Modelling Coordinated Atomic Actions in Timed CSP -- Logic and Automata -- A Logical Characterisation of Event Recording Automata -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata -- Probabilistic Neighbourhood Logic -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Verifying Universal Properties of Parameterized Networks. |
Record Nr. | UNISA-996466346603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems : 6th International Symposium, FTRTFT 2000 Pune, India, September 20-22, 2000 Proceedings / / edited by Mathai Joseph |
Edizione | [1st ed. 2000.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 |
Descrizione fisica | 1 online resource (X, 314 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Computer logic Microprocessors Special purpose computers Logic design Programming Languages, Compilers, Interpreters Computer System Implementation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems Logic Design |
ISBN | 3-540-45352-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Lectures -- Stability of Discrete Sampled Systems -- Issues in the Refinement of Distributed Programs -- Challenges in the Verification of Electronic Control Units -- Model Checking -- Scaling up Uppaal -- Decidable Model Checking of Probabilistic Hybrid Automata -- Fault Tolerance -- Invariant-Based Synthesis of Fault-Tolerant Systems -- Modeling Faults of Distributed, Reactive Systems -- Threshold and Bounded-Delay Voting in Critical Control Systems -- Automating the Addition of Fault-Tolerance -- Reliability Modelling of Time-Critical Distributed Systems -- Scheduling -- A Methodology for the Construction of Scheduled Systems -- A Dual Interpretation of “Standard Constraints” in Parametric Scheduling -- Validation -- Co-Simulation of Hybrid Systems: Signal-Simulink -- A System for Object Code Validation -- Refinement -- Real-Time Program Refinement Using Auxiliary Variables -- On Refinement and Temporal Annotations -- Generalizing Action Systems to Hybrid Systems -- Verification -- Compositional Verification of Synchronous Networks -- Modelling Coordinated Atomic Actions in Timed CSP -- Logic and Automata -- A Logical Characterisation of Event Recording Automata -- Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata -- Probabilistic Neighbourhood Logic -- An On-the-Fly Tableau Construction for a Real-Time Temporal Logic -- Verifying Universal Properties of Parameterized Networks. |
Record Nr. | UNINA-9910143616503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings / / edited by Anders P. Ravn, Hans Rischel |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (IX, 347 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Computers Computer logic Microprocessors Special purpose computers Programming Languages, Compilers, Interpreters Computer System Implementation Theory of Computation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems |
ISBN | 3-540-49792-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Challenges in the utilization of formal methods -- On the need for practical formal methods -- A general framework for the composition of timed systems -- Operational and logical semantics for polling real-time systems -- A finite-domain semantics for testing temporal logic specifications -- Duration Calculus of Weakly Monotonic Time -- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern -- A modular visual model for hybrid systems -- Integrating real-time structured design and formal techniques -- Duration Calculus in the specification of safety requirements -- Automated stream-based analysis of fault-tolerance -- Designing a provably correct robt control system using a ‘lean’ formal method -- Static analysis to identify invariants in RSML specifications -- Partition refinement in real-time model checking -- Formal verification of stabilizing systems -- Synchronizing clocked transition systems -- Some decidability results for duration calculus under synchronous interpretation -- Fair synchronous transition systems and their liveness proofs -- Dynamical properties of timed automata -- An algorithm for the approximative analysis of rectangular automata -- On checking parallel real-time systems for linear duration properties -- A practical and complete algorithm for testing real-time systems -- Mechanical verification of clock synchronization algorithms -- Compiling graphical real-time specifications into silicon -- Towards a formal semantics of verilog using duration calculus -- The ICOS synthesis environment -- Kronos: A model-checking tool for real-time systems -- SGLOT: A visual tool for structural LOTOS specifications -- Discrete-time Promela and Spin -- Moby/PLC — Graphical development of PLC-automata -- Predictability in critical systems. |
Record Nr. | UNISA-996466151803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings / / edited by Anders P. Ravn, Hans Rischel |
Edizione | [1st ed. 1998.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 |
Descrizione fisica | 1 online resource (IX, 347 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Programming languages (Electronic computers)
Architecture, Computer Computers Computer logic Microprocessors Special purpose computers Programming Languages, Compilers, Interpreters Computer System Implementation Theory of Computation Logics and Meanings of Programs Processor Architectures Special Purpose and Application-Based Systems |
ISBN | 3-540-49792-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Challenges in the utilization of formal methods -- On the need for practical formal methods -- A general framework for the composition of timed systems -- Operational and logical semantics for polling real-time systems -- A finite-domain semantics for testing temporal logic specifications -- Duration Calculus of Weakly Monotonic Time -- Reuse in requirements engineering: Discovery and application of a real-time requirement pattern -- A modular visual model for hybrid systems -- Integrating real-time structured design and formal techniques -- Duration Calculus in the specification of safety requirements -- Automated stream-based analysis of fault-tolerance -- Designing a provably correct robt control system using a ‘lean’ formal method -- Static analysis to identify invariants in RSML specifications -- Partition refinement in real-time model checking -- Formal verification of stabilizing systems -- Synchronizing clocked transition systems -- Some decidability results for duration calculus under synchronous interpretation -- Fair synchronous transition systems and their liveness proofs -- Dynamical properties of timed automata -- An algorithm for the approximative analysis of rectangular automata -- On checking parallel real-time systems for linear duration properties -- A practical and complete algorithm for testing real-time systems -- Mechanical verification of clock synchronization algorithms -- Compiling graphical real-time specifications into silicon -- Towards a formal semantics of verilog using duration calculus -- The ICOS synthesis environment -- Kronos: A model-checking tool for real-time systems -- SGLOT: A visual tool for structural LOTOS specifications -- Discrete-time Promela and Spin -- Moby/PLC — Graphical development of PLC-automata -- Predictability in critical systems. |
Record Nr. | UNINA-9910767565803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1998 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Techniques in Real-Time and Fault-Tolerant Systems [[electronic resource] ] : 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings / / edited by Bengt Jonsson, Joachim Parrow |
Edizione | [1st ed. 1996.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 |
Descrizione fisica | 1 online resource (X, 490 p.) |
Disciplina | 004/.33 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Programming languages (Electronic computers) Operating systems (Computers) Computer logic Special purpose computers Microprocessors Theory of Computation Programming Languages, Compilers, Interpreters Operating Systems Logics and Meanings of Programs Special Purpose and Application-Based Systems Processor Architectures |
ISBN | 3-540-70653-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | On the semantics of group communication -- Unifying verification paradigms -- Formal methods for early fault detection -- Retiming techniques for Statecharts -- Compiling Argos into Boolean equations -- Real-time mode-machines -- A calculus for timed automata -- Minimizable timed automata -- Weak chop inverses and liveness in Mean-Value Calculus -- Synthesizing controllers from Duration Calculus -- Sampling semantics of Duration Calculus -- The production cell: A verified real-time system -- Verification-driven development of a collision-avoidance protocol for the Ethernet -- Exhaustive computation of the scheduled task execution sequences of a real-time application -- Scheduling Data Flow programs in Hard Real-Time environments -- Dynamic scheduling in the presence of faults: Specification and verification -- Efficient broadcasting on faulty star networks -- Model checking for extended timed temporal logics -- Partial orders and verification of real-time systems -- Toward a modal theory of types for the ?-calculus -- Graphical formalization of real-time requirements -- On specifying real-time systems in a causality-based setting -- Verification of embedded systems using synchronous observers -- Compositionality in real-time shared variable concurrency -- Formal analysis of a real-time kernel specification -- Mona: Decidable arithmetic in practice -- Verifying synchronous reactive systems programmed in ESTEREL -- AutoFocus — A tool for distributed systems specification -- A tool for translation of VHDL descriptions into a formal model and its application to formal verification and synthesis -- EVGC: A tool for visualizing LOTOS behavioural specifications. |
Record Nr. | UNISA-996465850903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1996 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|