Theoretical Computer Science
A process algebraic view of input/output automata
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Communication and Concurrency
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Timed Modal Specification - Theory and Tools
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Alternating Refinement Relations
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Scheduling real-time applications in an open environment
RTSS '97 Proceedings of the 18th IEEE Real-Time Systems Symposium
Timed I/O Automata: A Mathematical Framework for Modeling and Analyzing Real-Time Systems
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
Efficient on-the-fly algorithms for the analysis of timed games
CONCUR 2005 - Concurrency Theory
An Interface Algebra for Real-Time Components
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
Real-time interfaces for composing real-time systems
EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Handbook of Real-Time and Embedded Systems
Handbook of Real-Time and Embedded Systems
Modal I/O automata for interface and product line theories
ESOP'07 Proceedings of the 16th European conference on Programming
An accelerated algorithm for 3-color parity games with an application to timed games
CAV'07 Proceedings of the 19th international conference on Computer aided verification
UPPAAL-Tiga: time for playing games!
CAV'07 Proceedings of the 19th international conference on Computer aided verification
The embedded systems design challenge
FM'06 Proceedings of the 14th international conference on Formal Methods
ECDAR: an environment for compositional design and analysis of real time systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Methodologies for specification of real-time systems using timed I/O automata
FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
The earlier the better: a theory of timed actor interfaces
Proceedings of the 14th international conference on Hybrid systems: computation and control
Off-line test selection with test purposes for non-deterministic timed automata
TACAS'11/ETAPS'11 Proceedings of the 17th international conference on Tools and algorithms for the construction and analysis of systems: part of the joint European conferences on theory and practice of software
Verifying functional behaviors of automotive products in EAST-ADL2 using UPPAAL-PORT
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Statistical model checking for networks of priced timed automata
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Robust specification of real time components
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Vision paper: make a difference! (semantically)
Proceedings of the 14th international conference on Model driven engineering languages and systems
New results on timed specifications
WADT'10 Proceedings of the 20th international conference on Recent Trends in Algebraic Development Techniques
Composing real-time concurrent objects: refinement, compatibility and schedulability
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Moving from specifications to contracts in component-based design
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Unblockable compositions of software components
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
New results for Constraint Markov Chains
Performance Evaluation
Modal event-clock specifications for timed component-based design
Science of Computer Programming
Synchronous interface theories and time triggered scheduling
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Refinement-Based development of timed systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Revisiting timed specification theories: a linear-time perspective
FORMATS'12 Proceedings of the 10th international conference on Formal Modeling and Analysis of Timed Systems
Weighted modal transition systems
Formal Methods in System Design
Assembling Components using SysML with Non-Functional Requirements
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral Refinement and Compatibility of Statechart Extensions
Electronic Notes in Theoretical Computer Science (ENTCS)
Requirements modelling by synthesis of deontic input-output automata
Proceedings of the 2013 International Conference on Software Engineering
State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
Robust synthesis for real-time systems
Theoretical Computer Science
Hi-index | 0.00 |
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design. We develop a complete specifification framework for real-time systems using Timed I/O Automata as the specification formalism, with the semantics expressed in terms of Timed I/O Transition Systems. We provide constructs for refinement, consistency checking, logical and structural composition, and quotient of specifications --- all indispensable ingredients of a compositional design methodology. The theory is implemented on top of an engine for timed games, Uppaal-tiga, and illustrated with a small case study.