The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Trusted computing systems: the ProCoS experience
ICSE '92 Proceedings of the 14th international conference on Software engineering
Functional specification of time-sensitive communicating systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Distributed real-time system specification and verification in APTL
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
Journal of the ACM (JACM)
Templar: a knowledge-based language for software specifications using temporal logic
ACM Transactions on Information Systems (TOIS)
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Formal methods for broadband and multimedia systems (tutorial)
ICSE '97 Proceedings of the 19th international conference on Software engineering
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
Specifying and analysing multimedia systems
Formal methods for distributed processing
ATOM: An object-based formal method for real-time systems
Annals of Software Engineering
Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
The Timely Computing Base Model and Architecture
IEEE Transactions on Computers
Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Parametric Temporal Logic for "Model Measuring"
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Decidable Fixpoint Logic for Time-Outs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
A Decidable Dense Branching-Time Temporal Logic
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Towards a Computer-Aided Design of Reactive Systems
Computer Aided Systems Theory - EUROCAST 2001-Revised Papers
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Evaluating real-time software specification languages
Computer Standards & Interfaces
A denotational semantics for Timed Linda
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
On the expressivity and complexity of quantitative branching-time temporal logics
Theoretical Computer Science - Latin American theoretical informatics
An Efficient Algorithm for Real-Time Symbolic Model Checking
EDTC '96 Proceedings of the 1996 European conference on Design and Test
Object-Oriented Real Time Systems Modeling and Verification
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Specification and Verification of Real-Time Properties Using LOTOS and SQTL
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
A compositional proof system for real-time systems based on explicit clock temporal logic
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
A Suite of Tools for Debugging Distributed Autonomous Systems
Formal Methods in System Design
Automated Analysis of Timing Information in UML Diagrams
Proceedings of the 19th IEEE international conference on Automated software engineering
Real-time specification patterns
Proceedings of the 27th international conference on Software engineering
Efficient timed model checking for discrete-time systems
Theoretical Computer Science
Model checking restricted sets of timed paths
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
LogLogics: A logic for history-dependent business processes
Science of Computer Programming
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
Temporal logics with incommensurable distances are undecidable
Information and Computation
Towards security monitoring patterns
Proceedings of the 2007 ACM symposium on Applied computing
Predictable real-time software synthesis
Real-Time Systems
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Specification patterns for probabilistic quality properties
Proceedings of the 30th international conference on Software engineering
Simulation-based verification using Temporally Attributed Boolean Logic
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation
FM '08 Proceedings of the 15th international symposium on Formal Methods
Approximating Continuous Systems by Timed Automata
FMSB '08 Proceedings of the 1st international workshop on Formal Methods in Systems Biology
On Expressiveness and Complexity in Real-Time Model Checking
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
Some Recent Results in Metric Temporal Logic
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems
Journal of Systems and Software
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Practical Automated Partial Verification of Multi-paradigm Real-Time Models
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Expressing and organizing real-time specification patterns via temporal logics
Journal of Systems and Software
Model-checking Timed Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Realizability of Real-Time Logics
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Logical specification of real-time granular systems in an object oriented language
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
MTL robust testing and verification for LPV systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
Monitoring Algorithms for Metric Temporal Logic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP
Electronic Notes in Theoretical Computer Science (ENTCS)
A stream-based hierarchical anchoring framework
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Journal of Systems and Software
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Bayesian statistical model checking with application to Simulink/Stateflow verification
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Oracle circuits for branching-time model checking
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Detecting synchronisation of biological oscillators by model checking
Theoretical Computer Science
On synthesizing controllers from bounded-response properties
CAV'07 Proceedings of the 19th international conference on Computer aided verification
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Counter-free input-determined timed automata
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Robust sampling for MITL specifications
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
On the expressiveness of MTL variants over dense time
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
AMT: a property-based monitoring tool for analog systems
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Robust analysis of timed automata via channel machines
FOSSACS'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures
Introducing time in an industrial application of model-checking
FMICS'07 Proceedings of the 12th international conference on Formal methods for industrial critical systems
Checking temporal properties of discrete, timed and continuous behaviors
Pillars of computer science
Monitoring security policies with metric first-order temporal logic
Proceedings of the 15th ACM symposium on Access control models and technologies
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic (TOCL)
Stream-Based Reasoning Support for Autonomous Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Towards a theory of time-bounded verification
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
Robust satisfaction of temporal logic over real-valued signals
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
From MTL to deterministic timed automata
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Time-bounded verification of CTMCs against real-time specifications
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Crossing the bridge between similar games
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
On construction of safety signal automata for MITL[ u, s] using temporal projections
FORMATS'11 Proceedings of the 9th international conference on Formal modeling and analysis of timed systems
Statistical model checking for cyber-physical systems
ATVA'11 Proceedings of the 9th international conference on Automated technology for verification and analysis
On continuous timed automata with input-determined guards
FSTTCS'06 Proceedings of the 26th international conference on Foundations of Software Technology and Theoretical Computer Science
Expressiveness of metric modalities for continuous time
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
On metric temporal logic and faulty turing machines
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Real time temporal logic: past, present, future
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
Temporal logic verification using simulation
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
Integrating discrete- and continuous-time metric temporal logics through sampling
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
A dose of timed logic, in guarded measure
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
On the expressiveness of MTL with past operators
FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
On the expressiveness of TPTL and MTL
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
Policy monitoring in first-order temporal logic
CAV'10 Proceedings of the 22nd international conference on Computer Aided Verification
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
Controller synthesis for MTL specifications
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
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
Robustness of temporal logic specifications
FATES'06/RV'06 Proceedings of the First combined international conference on Formal Approaches to Software Testing and Runtime Verification
Hardware implementation of temporal nonmonotonic logics
AI'06 Proceedings of the 19th Australian joint conference on Artificial Intelligence: advances in Artificial Intelligence
Robust model-checking of linear-time properties in timed automata
LATIN'06 Proceedings of the 7th Latin American conference on Theoretical Informatics
Safety metric temporal logic is fully decidable
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Falsification of temporal properties of hybrid systems using the cross-entropy method
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Monitor-Based statistical model checking for weighted metric temporal logic
LPAR'12 Proceedings of the 18th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Consistency of service composition
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Enforceable security policies revisited
POST'12 Proceedings of the First international conference on Principles of Security and Trust
Weighted lumpability on markov chains
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
Formal passive testing of timed systems: theory and tools
Software Testing, Verification & Reliability
Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude
Science of Computer Programming
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
A Timed Linda Language and its Denotational Semantics
Fundamenta Informaticae
CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology
Time constraints with temporal logic programming
ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Proceedings of the 18th ACM symposium on Access control models and technologies
Probabilistic Temporal Logic Falsification of Cyber-Physical Systems
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
A real-time semantics for norms with deadlines
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Enforceable Security Policies Revisited
ACM Transactions on Information and System Security (TISSEC)
Bounded satisfiability checking of metric temporal logic specifications
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Optimal bounds in parametric LTL games
Theoretical Computer Science
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Proceedings of the 21st International conference on Real-Time Networks and Systems
Diagnostic information for compliance checking of temporal compliance requirements
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
An interface theory for service-oriented design
Theoretical Computer Science
On MITL and alternating timed automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Flexible execution of partial order plans with temporal constraints
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Specifying safety-critical systems with a decidable duration logic
Science of Computer Programming
Bayesian statistical model checking with application to Stateflow/Simulink verification
Formal Methods in System Design
Expressive Completeness for Metric Temporal Logic
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
A formal framework to specify and verify real-time properties on critical systems
International Journal of Critical Computer-Based Systems
A Translation of the Existential Model Checking Problem from MITL to HLTL
Fundamenta Informaticae
| Hi-index | 0.01 |