A fast mutual exclusion algorithm
ACM Transactions on Computer Systems (TOCS)
Temporal logic for real time systems
Temporal logic for real time systems
Automata for modeling real-time systems
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Analysis of discrete event coordination
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Specifying real-time properties with metric temporal logic
Real-Time Systems
Bounds on the time to reach agreement in the presence of timing uncertainty
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Techniques for automatic verification of real-time systems
Techniques for automatic verification of real-time systems
Specification and Compositional Verification of Real-Time Systems
Specification and Compositional Verification of Real-Time Systems
New Decidability Results Concerning Two-way Counter Machines and Applications
ICALP '93 Proceedings of the 20th International Colloquium on Automata, Languages and Programming
Timed Ethernet: Real-Time Formal Specification of Ethernet
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
Timing Assumptions and Verification of Finite-State Concurrent Systems
Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Quantitative Temporal Reasoning
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Minimum and Maximum Delay Problems in Real-Time Systems
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Putting Time into Proof Outlines
Proceedings of the Real-Time: Theory in Practice, REX Workshop
An Old-Fashioned Recipe for Real Time
Proceedings of the Real-Time: Theory in Practice, REX Workshop
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parametric Analysis of Computer Systems
Formal Methods in System Design
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
An Undecidable Problem for Timed Automata
Discrete Event Dynamic Systems
Timing Diagrams: Formalization and Algorithmic Verification
Journal of Logic, Language and Information
A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance
Formal Methods in System Design
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Parametric Behaviour Analysis for Time Petri Nets
PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
Expressiveness of Updatable Timed Automata
MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
What Will Be Eventually True of Polynomial Hybrid Automata?
TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software
A Class of Decidable Parametric Hybrid Systems
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Parametric Temporal Logic for "Model Measuring"
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Linear Parametric Model Checking of Timed Automata
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Durations, Parametric Model-Checking in Timed Automata with Presburger Arithmetic
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
Timed Automata and the Theory of Real Numbers
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Widening the Boundary between Decidable and Undecidable Hybrid Systems
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
Using Cylindrical Algebraic Decomposition for the Analysis of Slope Parametric Hybrid Automata
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Analysis of Slope-Parametric Rectangular Automata
Hybrid Systems V
Decidability and Complexity Results for Timed Automata and Semi-linear Hybrid Automata
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Parametric Optimization of Open Real-Time Systems
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Generalized discrete timed automata: decidable approximations for safety verification
Theoretical Computer Science - Computing and combinatorics
Modeling and verification of parallel processes
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Theoretical Computer Science
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
IEEE Transactions on Software Engineering
Reachability solution characterization of parametric real-time systems
Theoretical Computer Science - Implementation and application of automata
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Robust parametric reachability for timed automata
Information Processing Letters
ACM Transactions on Computational Logic (TOCL)
Durations and parametric model-checking in timed automata
ACM Transactions on Computational Logic (TOCL)
Verification of Concurrent Systems with Parametric Delays Using Octahedra
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Event order abstraction for parametric real-time system verification
EMSOFT '08 Proceedings of the 8th ACM international conference on Embedded software
An Inverse Method for Parametric Timed Automata
Electronic Notes in Theoretical Computer Science (ENTCS)
On minimal elements of upward-closed sets
Theoretical Computer Science
Reachability in Succinct and Parametric One-Counter Automata
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Towards Parametric Verification of Prioritized Time Petri Nets
PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
IMITATOR: A Tool for Synthesizing Constraints on Timing Bounds of Timed Automata
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Decision problems for lower/upper bound parametric timed automata
Formal Methods in System Design
Specification and Verification of Protocols With Time Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
Safety verification for two-way finite automata with monotonic counters
DLT'02 Proceedings of the 6th international conference on Developments in language theory
Timing parameter characterization of real-time systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
Computing minimal elements of upward-closed sets for Petri nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Dynamical properties of timed automata revisited
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Behavioral cartography of timed automata
RP'10 Proceedings of the 4th international conference on Reachability problems
Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Bounded parametric model checking for elementary net systems
Transactions on Petri nets and other models of concurrency IV
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
CASES '11 Proceedings of the 14th international conference on Compilers, architectures and synthesis for embedded systems
Synthesis of timing parameters satisfying safety properties
RP'11 Proceedings of the 5th international conference on Reachability problems
SystemC waiting state automata
International Journal of Critical Computer-Based Systems
Low dimensional hybrid systems - decidable, undecidable, don't know
Information and Computation
Pattern synthesis from multiple scenarios for parameterized real-time UML models
SMTT'03 Proceedings of the 2003 international conference on Scenarios: models, Transformations and Tools
Parametric metric interval temporal logic
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Bounded model checking for parametric timed automata
Transactions on Petri Nets and Other Models of Concurrency V
Template-Based controller synthesis for timed systems
TACAS'12 Proceedings of the 18th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Verification of Concurrent Systems with Parametric Delays Using Octahedra
Fundamenta Informaticae - The Fourth Special Issue on Applications of Concurrency to System Design (ACSD05)
Decision problems for lower/upper bound parametric timed automata
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Formal Validation of a Deterministic MAC Protocol
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
On the relationship between reachability problems in timed and counter automata
RP'12 Proceedings of the 6th international conference on Reachability Problems
Parameterized weighted containment
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Integer parameter synthesis for timed automata
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
An extension of the inverse method to probabilistic timed automata
Formal Methods in System Design
Dynamic synthesis of local time requirement for service composition
Proceedings of the 2013 International Conference on Software Engineering
ACM Computing Surveys (CSUR)
Automatic generation of quality specifications
CAV'13 Proceedings of the 25th international conference on Computer Aided Verification
Operational semantics of a domain specific language for real time musician---computer interaction
Discrete Event Dynamic Systems
Discrete Event Dynamic Systems
Robust synthesis for real-time systems
Theoretical Computer Science
Hi-index | 0.00 |