The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Detecting Unsafe Error Recovery Schedules
IEEE Transactions on Software Engineering
Real-time integrity constraints
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Parametric real-time reasoning
STOC '93 Proceedings of the twenty-fifth annual ACM symposium on Theory of computing
Iterative algorithms for formal verification of embedded real-time systems
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
The complexity of verification
STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Sequential synthesis using S1S
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Constructing abstract models of concurrent real-time software
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Timing Analysis of Ada Tasking Programs
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Worst-case analysis of discrete systems based on conditional abstractions
CODES '99 Proceedings of the seventh international workshop on Hardware/software codesign
Automatic verification of real-time designs
Proceedings of the 21st international conference on Software engineering
Specification and verification of fault-tolerance, timing, and scheduling
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of real-time designs: combining scheduling theory with automatic formal verification
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
A formal model of the Ada Ravenscar tasking profile; delay until
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
Worst-case analysis of discrete systems
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Parametric Analysis of Computer Systems
Formal Methods in System Design
Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
Formal Methods in System Design
AFTA: a formal delay model for functional thinking analysis
Proceedings of the conference on Design, automation and test in Europe
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Reduction of Timed Hybrid Systems
Discrete Event Dynamic Systems
A logical characterization of data languages
Information Processing Letters
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets
IEEE Transactions on Software Engineering
Timed Wp-Method: Testing Real-Time Systems
IEEE Transactions on Software Engineering
Synthesizing distinguishing formulae for real time systems
Nordic Journal of Computing
Expressiveness of Updatable Timed Automata
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Parametric Optimization of Open Real-Time Systems
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
A Kleene/Büchi-like theorem for clock languages
Journal of Automata, Languages and Combinatorics - Selected papers of the workshop on logic and algebra for concurrency
Nordic Journal of Computing
Handbook of automated reasoning
CompSysTech '03 Proceedings of the 4th international conference conference on Computer systems and technologies: e-Learning
Forward Analysis of Updatable Timed Automata
Formal Methods in System Design
Theoretical Computer Science
Using mappings to prove timing properties
Distributed Computing
Theorem of abstraction for equivalent controllers in hybrid systems
Information Sciences—Informatics and Computer Science: An International Journal
Dual-mode real-time MAC protocol for wireless sensor networks: a validation/simulation approach
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
CTL* model checking for time Petri nets
Theoretical Computer Science
Verification of real-time DEVS models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A Model Checking Based Approach to Bounding Worst-Case Execution Time for Multicore Processors
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
State-based model slicing: A survey
ACM Computing Surveys (CSUR)
| Hi-index | 0.01 |