The complexity of propositional linear temporal logics
Journal of the ACM (JACM)
Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Temporal logic for real time systems
Temporal logic for real time systems
Specifying real-time properties with metric temporal logic
Real-Time Systems
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Journal of the ACM (JACM)
Model-checking in dense real-time
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Real-time logics: complexity and expressiveness
Information and Computation - Special issue: selections from 1990 IEEE symposium on logic in computer science
Theoretical Computer Science
Symbolic model checking for real-time systems
Information and Computation
Checking that finite state concurrent programs satisfy their linear specification
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Quantitative Temporal Reasoning
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
A graphical environment for the design of concurrent real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Computing Accumulated Delays in Real-time Systems
Formal Methods in System Design - Special issue on computer aided verification (CAV 93)
Parametric temporal logic for “model measuring”
ACM Transactions on Computational Logic (TOCL)
Theoretical Computer Science
Decidable verification for reducible timed automata specified in a first order logic with time
Theoretical Computer Science
Parametric Temporal Logic for "Model Measuring"
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
A Framework for Decidable Metrical Logics
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
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
Real-Time Automata and the Kleene Algebra of Sets of Real Numbers
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
On Presburger Liveness of Discrete Timed Automata
STACS '01 Proceedings of the 18th 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
A Decidable Fixpoint Logic for Time-Outs
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
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
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
Robust Undecidability of Timed and Hybrid Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
CIAA '01 Revised Papers from the 6th International Conference on Implementation and Application of Automata
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
Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
Integrating timed condition/event systems and timed automata for the verification of hybrid systems
Engineering of distributed control systems
Presburger liveness verification of discrete timed automata
Theoretical Computer Science
Pushdown timed automata: a binary reachability characterization and safety verification
Theoretical Computer Science
Timer formulas and decidable metric temporal logic
Information and Computation
Journal of Computer and System Sciences
A new modality for almost everywhere properties in timed automata
CONCUR 2005 - Concurrency Theory
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)
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
On the freeze quantifier in Constraint LTL: Decidability and complexity
Information and Computation
Quantitative temporal logics over the reals: PSpace and below
Information and Computation
Logics for Real Time: Decidability and Complexity
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
Robust parametric reachability for timed automata
Information Processing Letters
Temporal logics with incommensurable distances are undecidable
Information and Computation
Durations and parametric model-checking in timed automata
ACM Transactions on Computational Logic (TOCL)
Bounded Model Checking for the Existential Fragment of TCTL_{-G} and Diagonal Timed Automata
Fundamenta Informaticae
Modelling and Monitoring Social Expectations in Multi-agent Systems
Coordination, Organizations, Institutions, and Norms in Agent Systems II
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
Complexity of Metric Temporal Logics with Counting and the Pnueli Modalities
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
MTL with Bounded Variability: Decidability and Complexity
FORMATS '08 Proceedings of the 6th international conference on Formal Modeling and Analysis of Timed Systems
Complexity results in revising UNITY programs
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Information and Computation
Practical Automated Partial Verification of Multi-paradigm Real-Time Models
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Universality Analysis for One-Clock Timed Automata
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Instrumenting AMS assertion verification on commercial platforms
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Model-checking Timed Temporal Logics
Electronic Notes in Theoretical Computer Science (ENTCS)
Weak Alternating Timed Automata
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Robustness of temporal logic specifications for continuous-time signals
Theoretical Computer Science
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Safe Runtime Verification of Real-Time Properties
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Realizability of Real-Time Logics
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
Checking Timed Büchi Automata Emptiness Using LU-Abstractions
FORMATS '09 Proceedings of the 7th International Conference on Formal Modeling and Analysis of Timed Systems
A rule language for modelling and monitoring social expectations in multi-agent systems
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Decision problems for lower/upper bound parametric timed automata
Formal Methods in System Design
Modeling time in computing: A taxonomy and a comparative survey
ACM Computing Surveys (CSUR)
Timer formulas and decidable metric temporal logic
Information and Computation
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Automated incremental synthesis of timed automata
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
On synthesizing controllers from bounded-response properties
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Complexity of metric temporal logics with counting and the Pnueli modalities
Theoretical Computer Science
Zone-based universality analysis for single-clock timed automata
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of 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
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
Verification of real-time systems: application to the transportation domain
NTMS'09 Proceedings of the 3rd international conference on New technologies, mobility and security
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
Checking temporal properties of discrete, timed and continuous behaviors
Pillars of computer science
Analog property checkers: a DDR2 case study
Formal Methods in System Design
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic (TOCL)
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
Unambiguity in timed regular languages: automata and logics
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
FORMATS'10 Proceedings of the 8th international conference on Formal modeling and analysis of timed systems
Timed Modal Logics for Real-Time Systems
Journal of Logic, Language and Information
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS
Diagnosability study of technological systems
IEA/AIE'11 Proceedings of the 24th international conference on Industrial engineering and other applications of applied intelligent systems conference on Modern approaches in applied intelligence - Volume Part I
Distributed event clock automata
CIAA'11 Proceedings of the 16th international conference on Implementation and application of automata
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
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
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
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
Reasoning about transfinite sequences
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Real time temporal logic: past, present, future
FORMATS'05 Proceedings of the Third international conference on Formal Modeling and Analysis of Timed Systems
An algebraic approach for codesign
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Decidability and complexity results for timed automata via channel machines
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
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
An expressive temporal logic for real time
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Incremental verification of component-based timed systems
International Journal of Computer Applications in Technology
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Realtime regular expressions for analog and mixed-signal assertions
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Interrupt Timed Automata: verification and expressiveness
Formal Methods in System Design
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
Continuous time temporal logic with counting
Information and Computation
A rule language for modelling and monitoring social expectations in multi-agent systems
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
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
Application of automated revision for UML models: a case study
ICDCN'12 Proceedings of the 13th international conference on Distributed Computing and Networking
Timed automata approach to verification of systems with degradation
MEMICS'11 Proceedings of the 7th international conference on Mathematical and Engineering Methods in Computer Science
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
Algorithms for monitoring real-time properties
RV'11 Proceedings of the Second international conference on Runtime verification
Synchronizing AMS Assertions with AMS Simulation: From Theory to Practice
ACM Transactions on Design Automation of Electronic Systems (TODAES)
MAS: qualitative and quantitative reasoning
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Universality Analysis for One-Clock Timed Automata
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Bounded Model Checking for the Existential Fragment of TCTL$_{-G}$ and Diagonal Timed Automata
Fundamenta Informaticae
Logics for Real Time: Decidability and Complexity
Fundamenta Informaticae - Continuous Time Paradigms in Logic and Automata
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
The unary fragments of metric interval temporal logic: bounded versus lower bound constraints
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Mining requirements from closed-loop control models
Proceedings of the 16th international conference on Hybrid systems: computation and control
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Probabilistic planning for continuous dynamic systems under bounded risk
Journal of Artificial Intelligence Research
MR4UM: A framework for adding fault tolerance to UML state diagrams
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
Refinement and difference for probabilistic automata
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
Learning and designing stochastic processes from logical constraints
QEST'13 Proceedings of the 10th international conference on Quantitative Evaluation of Systems
A fuzzy real-time temporal logic
International Journal of Approximate Reasoning
An epistemic Halpern-Shoham logic
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
Post-silicon debugging of PMU integration errors using behavioral models
Integration, the VLSI Journal
Verification of gap-order constraint abstractions of counter systems
Theoretical Computer Science
Modelling temporal behaviour in complex systems with Timebands
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 Translation of the Existential Model Checking Problem from MITL to HLTL
Fundamenta Informaticae
| Hi-index | 0.01 |