The benefits of relaxing punctuality
Journal of the ACM (JACM)
Computing Accumulated Delays in Real-time Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Verification of Real-Time Systems using Linear Relation Analysis
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Semantics and verification of action diagrams with linear timing
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Symbolic Verification of Communication Protocols with Infinite StateSpaces using QDDs
Formal Methods in System Design
Parametric Analysis of Computer Systems
Formal Methods in System Design
Analysis of Timed Systems Using Time-Abstracting Bisimulations
Formal Methods in System Design
Theoretical Computer Science
Hardware-software codesign of embedded systems
Readings in hardware/software co-design
The theory of interactive generalized semi-Markov processes
Theoretical Computer Science
Automatic verification of real-time systems with discrete probability distributions
Theoretical Computer Science
Proceedings of the 24th International Conference on Software Engineering
Supervisor Synthesis for Real-Time Discrete Event Systems
Discrete Event Dynamic Systems
A logical characterization of data languages
Information Processing Letters
A notion of non-interference for timed automata
Fundamenta Informaticae
Knowledge-Based Software Architectures: Acquisition, Specification, and Verification
IEEE Transactions on Knowledge and Data Engineering
Automatic Symbolic Verification of Embedded Systems
IEEE Transactions on Software Engineering
Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems
IEEE Transactions on Knowledge and Data Engineering
Constraint-Based Infinite Model Checking and Tabulation for Stratified CLP
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
Is Your Model Checker on Time? On the Complexity of Model Checking for Timed Modal Logics
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Beyond Memoryless Distributions: Model Checking Semi-Markov Chains
PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Timed Alternating Tree Automata: The Automata-Theoretic Solution to the TCTL Model Checking Problem
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Symmetric Symbolic Safety-Analysis of Concurrent Software with Pointer Data Structures
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Modelling Real-Time Systems with Continuous-Time Temporal Logic
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Timed Diagnostics for Reachability Properties
TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
UPPAAL - Now, Next, and Future
MOVEP '00 Proceedings of the 4th Summer School on Modeling and Verification of Parallel Processes
Improving the Verification of Timed Systems Using Influence Information
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
On Presburger Liveness of Discrete Timed Automata
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
Automata-Theoretic Decision of Timed Games
VMCAI '02 Revised Papers from the Third International Workshop on Verification, Model Checking, and Abstract Interpretation
Timed Automata and the Theory of Real Numbers
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Reachability Analysis for Some Models of Infinite-State Transition Systems
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Verifying Quantitative Properties of Continuous Probabilistic Timed Automata
CONCUR '00 Proceedings of the 11th International Conference on Concurrency Theory
Performance Evaluation: = (Process Algebra + Model Checking) × Markov Chains
CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Simulation for Continuous-Time Markov Chains
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
A Decidable Fixpoint Logic for Time-Outs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Modeling Urgency in Timed Systems
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Decidable Approximations on Generalized and Parameterized Discrete Timed Automata
COCOON '01 Proceedings of the 7th Annual International Conference on Computing and Combinatorics
Verifying Performance Equivalence for Timed Basic Parallel Processes
FOSSACS '00 Proceedings of the Third International Conference on Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software,ETAPS 2000
On Model Checking Durational Kripke Structures
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
An On-the-Fly Tableau Construction for a Real-Time Temporal Logic
FTRTFT '00 Proceedings of the 6th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Towards Bounded Model Checking for the Universal Fragment of TCTL
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
A Decidable Dense Branching-Time Temporal Logic
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Parametric Optimization of Open Real-Time Systems
SAS '01 Proceedings of the 8th International Symposium on Static Analysis
Verification of Quantitative Temporal Properties of SDL Specifications
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Reachability and Safety in Queue Systems
CIAA '00 Revised Papers from the 5th International Conference on Implementation and Application of Automata
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Job-Shop Scheduling Using Timed Automata
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Specification and Analysis of Automata-Based Designs
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Automatic Verification of Real-Time Systems with Discrete Probability Distributions
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Verifying Progress in Timed Systems
ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Polyhedral Flows in Hybrid Automata
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Generalized discrete timed automata: decidable approximations for safety verification
Theoretical Computer Science - Computing and combinatorics
Modeling and verification of parallel processes
Automated verification using deduction, exploration, and abstraction
Programming methodology
Finite automata on timed ω-trees
Theoretical Computer Science
On the expressivity and complexity of quantitative branching-time temporal logics
Theoretical Computer Science - Latin American theoretical informatics
Verification in loosely synchronous queue-connected discrete timed automata
Theoretical Computer Science
Presburger liveness verification of discrete timed automata
Theoretical Computer Science
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A Modal Mu-Calculus for Durational Transition Systems
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
The power of reachability testing for timed automata
Theoretical Computer Science
Symbolic Verification and Analysis of Discrete Timed Systems
Formal Methods in System Design
Pushdown timed automata: a binary reachability characterization and safety verification
Theoretical Computer Science
A decidable notion of timed non-interference
Fundamenta Informaticae - Concurrency specification and programming
Checking reachability properties for timed automata via SAT
Fundamenta Informaticae - Concurrency specification and programming
Timed CSP = closed timed ε-automata
Nordic Journal of Computing
Deductive Verification of Probabilistic Real-Time Systems
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Polyhedral Flows in Hybrid Automata
Formal Methods in System Design
IEEE Transactions on Software Engineering
Proceedings of the 26th International Conference on Software Engineering
Information flow in hybrid systems
ACM Transactions on Embedded Computing Systems (TECS)
Interval-based analysis in embedded system design
Mathematics and Computers in Simulation - Special issue: Selected papers from the 4th IMACS symposium on mathematical modelling (4th MATHMOD)
Simulation and verification I: from simulation to verification (and back)
Proceedings of the 35th conference on Winter simulation: driving innovation
Model checking real-time value-passing systems
Journal of Computer Science and Technology
Reachability solution characterization of parametric real-time systems
Theoretical Computer Science - Implementation and application of automata
Bounded model checking for knowledge and real time
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Checking Timed Büchi Automata Emptiness Efficiently
Formal Methods in System Design
Journal of Computer and System Sciences
Model Checking C Programs Using F-SOFT
ICCD '05 Proceedings of the 2005 International Conference on Computer Design
A new modality for almost everywhere properties in timed automata
CONCUR 2005 - Concurrency Theory
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties
IEEE Transactions on Software Engineering
A practical approach for monitoring analog circuits
GLSVLSI '06 Proceedings of the 16th ACM Great Lakes symposium on VLSI
Model Checking of Time Petri Nets Using the State Class Timed Automaton
Discrete Event Dynamic Systems
Symmetry in temporal logic model checking
ACM Computing Surveys (CSUR)
Scheduling with timed automata
Theoretical Computer Science - Tools and algorithms for the construction and analysis of systems (TACAS 2003)
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
On model-checking timed automata with stopwatch observers
Information and Computation
Efficient timed model checking for discrete-time systems
Theoretical Computer Science
Improved undecidability results on weighted timed automata
Information Processing Letters
Performance analysis of probabilistic timed automata using digital clocks
Formal Methods in System Design
Dealing with practical limitations of distributed timed model checking for timed automata
Formal Methods in System Design
Model checking restricted sets of timed paths
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Experiments in the use of τ-simulations for the components-verification of real-time systems
Proceedings of the 2006 conference on Specification and verification of component-based systems
Statistical probabilistic model checking with a focus on time-bounded properties
Information and Computation
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Minimization Algorithms for Time Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Disjunctive image computation for software verification
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Symbolic model checking for probabilistic timed automata
Information and Computation
On the optimal reachability problem of weighted timed automata
Formal Methods in System Design
Bounded model checking for knowledge and real time
Artificial Intelligence
Bounded Model Checking for the Existential Fragment of TCTL_{-G} and Diagonal Timed Automata
Fundamenta Informaticae
On conciseness of extensions of timed automata
Journal of Automata, Languages and Combinatorics
Efficient SAT-based bounded model checking for software verification
Theoretical Computer Science
Games, Time, and Probability: Graph Models for System Design and Analysis
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Model Checking: From Tools to Theory
25 Years of Model Checking
Concavely-Priced Timed Automata
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Efficient online monitoring of web-service SLAs
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
Inclusion dynamics hybrid automata
Information and Computation
Checking timed Büchi automata emptiness on simulation graphs
ACM Transactions on Computational Logic (TOCL)
Model-checking Timed Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches
TACAS '09 Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009,
On-the-fly TCTL model checking for time Petri nets
Theoretical Computer Science
Strict Divergence for Probabilistic Timed Automata
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Efficient on-the-fly Algorithm for Checking Alternating Timed Simulation
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Decision problems for lower/upper bound parametric timed automata
Formal Methods in System Design
Verification of real-time DEVS models
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Analysis of Real-Time Systems with CTL Model Checkers
Electronic Notes in Theoretical Computer Science (ENTCS)
Weighted Timed Automata: Model-Checking and Games
Electronic Notes in Theoretical Computer Science (ENTCS)
Time Constrained Verification of Analog Circuits using Model-Checking Algorithms
Electronic Notes in Theoretical Computer Science (ENTCS)
SPHIN: A model checker for reconfigurable hybrid systems based on SPIN
Electronic Notes in Theoretical Computer Science (ENTCS)
On model-checking timed automata with stopwatch observers
Information and Computation
Improved undecidability results on weighted timed automata
Information Processing Letters
Model Checking for a Class of Weighted Automata
Discrete Event Dynamic Systems
Journal of Systems and Software
Automatic verification of multi-queue discrete timed automata
COCOON'03 Proceedings of the 9th annual international conference on Computing and combinatorics
Incremental synthesis of fault-tolerant real-time programs
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
Timing parameter characterization of real-time systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
An abstract domain extending difference-bound matrices with disequality constraints
VMCAI'07 Proceedings of the 8th international conference on Verification, model checking, and abstract interpretation
Model checking probabilistic timed automata with one or two clocks
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
From time Petri nets to timed automata: an untimed approach
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Integration of time issues into component-based applications
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
VeSTA: a tool to verify the correct integration of a component in a composite timed system
ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering
Verification of real-time systems: application to the transportation domain
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
Synthesis of web services orchestrators in a timed setting
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Symbolic algorithm analysis of rectangular hybrid systems
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
A framework for verification of software with time and probabilities
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Syntax and semantics for business rules
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part IV
Safe controllers design for industrial automation systems
Computers and Industrial Engineering
Timed Modal Logics for Real-Time Systems
Journal of Logic, Language and Information
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal safety analysis in industrial practice
FMICS'11 Proceedings of the 16th international conference on Formal methods for industrial critical systems
Model checking the time to reach agreement
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Diagonal constraints in timed automata: forward analysis of timed systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Quantifying similarities between timed systems
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Use of timed automata and model-checking to explore scenarios on ecosystem models
Environmental Modelling & Software
Timed alternating-time temporal logic
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Model-checking timed ATL for durational concurrent game structures
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Automata-Theoretic performance analysis method of soft real-time systems
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
An analysis of permutations in arrays
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
On the expressiveness of TPTL and MTL
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Multi-valued model checking in dense-time
ECSQARU'05 Proceedings of the 8th European conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Incremental verification of component-based timed systems
International Journal of Computer Applications in Technology
Model checking durational probabilistic systems
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
A logic for knowledge, correctness, and real time
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Model checking for timed statecharts
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Analysis and verification of time requirements applied to the web services composition
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Branching-time property preservation between real-time systems
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Timed temporal logics for abstracting transient states
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Parametric metric interval temporal logic
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Transformation of MTCCS into an extension of timed
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
Incremental specification with SCTL/MUS-T: a case study
Journal of Systems and Software
Compositional methods in characterization of timed event structures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Behavioural modelling and verification of real-time software product lines
Proceedings of the 16th International Software Product Line Conference - Volume 1
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Bounded Model Checking for the Existential Fragment of TCTL$_{-G}$ and Diagonal Timed Automata
Fundamenta Informaticae
Real-Time coordination patterns for advanced mechatronic systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Minimization Algorithms for Time Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
A Decidable Notion of Timed Non-Interference
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Checking Reachability Properties for Timed Automata via SAT
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
A Notion of Non-Interference for Timed Automata
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Timed Automata with non-Instantaneous Actions
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Analysis of Timed Concurrent Models Based on Testing Equivalence
Fundamenta Informaticae
Timed concurrent game structures
CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory
Decision problems for lower/upper bound parametric timed automata
ICALP'07 Proceedings of the 34th international conference on Automata, Languages and Programming
Timed CTL model checking in real-time maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
On the formal verification of systems of synchronous software components
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Efficient model-checking of dense-time systems with time-convexity analysis
Theoretical Computer Science
On-Line detection and prediction of temporal patterns
HVC'11 Proceedings of the 7th international Haifa Verification conference on Hardware and Software: verification and testing
Modeling and verifying dynamic communication structures based on graph transformations
Computer Science - Research and Development
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
Runtime verification of service-oriented systems: a well-rounded survey
International Journal of Web and Grid Services
ACM Computing Surveys (CSUR)
Combined model checking for temporal, probabilistic, and real-time logics
Theoretical Computer Science
Problems of instrumental support for the development of distributed embedded real-time systems
Programming and Computing Software
Branching-time logics with path relativisation
Journal of Computer and System Sciences
Automata-theoretic decision of timed games
Theoretical Computer Science
Model checking for probabilistic timed automata
Formal Methods in System Design
A Translation of the Existential Model Checking Problem from MITL to HLTL
Fundamenta Informaticae
| Hi-index | 0.01 |