Programming languages and their definition
Programming languages and their definition
Petri nets: an introduction
Communicating sequential processes
Communicating sequential processes
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Executing temporal logic programs
Executing temporal logic programs
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
Fairness
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Statecharts: A visual formalism for complex systems
Science of Computer Programming
A timed model for communicating sequential processes
Theoretical Computer Science - Thirteenth International Colloquim on Automata, Languages and Programming, Renne
Temporal logic for real time systems
Temporal logic for real time systems
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
Specifying real-time properties with metric temporal logic
Real-Time Systems
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Process algebra
A Unified High-Level Petri Net Formalism for Time-Critical Systems
IEEE Transactions on Software Engineering
Handbook of theoretical computer science (vol. B)
Handbook of theoretical computer science (vol. B)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal methods for the specification and design of real-time safety critical systems
Journal of Systems and Software
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Journal of the ACM (JACM)
ACM Transactions on Programming Languages and Systems (TOPLAS)
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
An old-fashioned recipe for real time
ACM Transactions on Programming Languages and Systems (TOPLAS)
MFPS '92 Selected papers of the meeting on Mathematical foundations of programming semantics
The algorithmic analysis of hybrid systems
Theoretical Computer Science - Special issue on hybrid systems
Modechart: A Specification Language for Real-Time Systems
IEEE Transactions on Software Engineering
The benefits of relaxing punctuality
Journal of the ACM (JACM)
Forward and backward simulations II.: timing-based systems
Information and Computation
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
An automata-theoretic approach to linear temporal logic
Proceedings of the VIII Banff Higher order workshop conference on Logics for concurrency : structure versus automata: structure versus automata
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
Composition and refinement of discrete real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
What's decidable about hybrid automata?
Journal of Computer and System Sciences
Time-based expressivity of timed Petri nets for system specification
Theoretical Computer Science
Dealing with zero-time transitions in axiom systems
Information and Computation
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
Verifying Temporal Properties of Reactive Systems: A STeP Tutorial
Formal Methods in System Design
Communicating sequential processes
Communications of the ACM
Toward a discipline of real-time programming
Communications of the ACM
Automated deductive requirements analysis of critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Journal of the ACM (JACM)
Contemporary Logic Design
Communication and Concurrency
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Formal Methods for Real-Time Computing
Formal Methods for Real-Time Computing
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Concurrent and Real Time Systems: The CSP Approach
Concurrent and Real Time Systems: The CSP Approach
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Handbook of Process Algebra
Fundamentals of Software Engineering
Fundamentals of Software Engineering
Process Algebra with Timing
On the temporal analysis of fairness
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Theory of Computation
Theoretical Foundations of Computer Sciences
Theoretical Foundations of Computer Sciences
TAME: Using PVS strategies for special-purpose theorem proving
Annals of Mathematics and Artificial Intelligence
Formal Specification of Geographic Data Processing Requirements
IEEE Transactions on Knowledge and Data Engineering
Deciding Properties of Timed Transition Models
IEEE Transactions on Parallel and Distributed Systems
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Temporal Logic with Forgettable Past
LICS '02 Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science
What is in a Step: On the Semantics of Statecharts
TACS '91 Proceedings of the International Conference on Theoretical Aspects of Computer Software
Branching vs. Linear Time: Final Showdown
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
It's About Time: Real-Time Logics Reviewed
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Comparison of Control Problems for Timed and Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
The STATEMATE Verification Environment - Making It Real
CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
An Overview and Synthesis on Timed Process Algebras
CAV '91 Proceedings of the 3rd International Workshop on Computer Aided Verification
Proceedings of the Conference on Logic of Programs
An OCL Extension for Real-Time Constraints
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Logics and Models of Real Time: A Survey
Proceedings of the Real-Time: Theory in Practice, REX Workshop
(Real) Time: A Philosophical Perspective
Proceedings of the Real-Time: Theory in Practice, REX Workshop
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Mechanical verification of timed automata: a case study
RTAS '96 Proceedings of the 2nd IEEE Real-Time Technology and Applications Symposium (RTAS '96)
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
UML 2 Toolkit
Reasoning about digital circuits
Reasoning about digital circuits
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Dealing with different time scales in formal specifications
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
Software Engineering (7th Edition)
Software Engineering (7th Edition)
The challenges of software engineering education
Proceedings of the 27th international conference on Software engineering
Automata Studies. (AM-34) (Annals of Mathematics Studies)
Automata Studies. (AM-34) (Annals of Mathematics Studies)
Multivariable Feedback Control: Analysis and Design
Multivariable Feedback Control: Analysis and Design
Automated Verification of Continuous Time Systems by Discrete Temporal Induction
TIME '06 Proceedings of the Thirteenth International Symposium on Temporal Representation and Reasoning
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
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Back to the future: towards a theory of timed regular languages
SFCS '92 Proceedings of the 33rd Annual Symposium on Foundations of Computer Science
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Comments on temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
A theory of Stochastic systems. Part II: Process algebra
Information and Computation
The TASM toolset: specification, simulation, and formal verification of real-time systems
CAV'07 Proceedings of the 19th international conference on Computer aided verification
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
On the expressiveness of TPTL and MTL
FSTTCS '05 Proceedings of the 25th international conference on Foundations of Software Technology and Theoretical Computer Science
A timeband framework for modelling real-time systems
Real-Time Systems
A theory of sampling for continuous-time metric temporal logic
ACM Transactions on Computational Logic (TOCL)
Behavioral interface specification languages
ACM Computing Surveys (CSUR)
Validation of requirements for hybrid systems: A formal approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
ACM Computing Surveys (CSUR)
Formal Analysis of Oscillatory Behaviors in Biological Regulatory Networks: An Alternative Approach
Electronic Notes in Theoretical Computer Science (ENTCS)
Automatic Learning of Temporal Relations Under the Closed World Assumption
Fundamenta Informaticae - Cognitive Informatics and Computational Intelligence: Theory and Applications
Hi-index | 0.00 |
The increasing relevance of areas such as real-time and embedded systems, pervasive computing, hybrid systems control, and biological and social systems modeling is bringing a growing attention to the temporal aspects of computing, not only in the computer science domain, but also in more traditional fields of engineering. This article surveys various approaches to the formal modeling and analysis of the temporal features of computer-based systems, with a level of detail that is also suitable for nonspecialists. In doing so, it provides a unifying framework, rather than just a comprehensive list of formalisms. The article first lays out some key dimensions along which the various formalisms can be evaluated and compared. Then, a significant sample of formalisms for time modeling in computing are presented and discussed according to these dimensions. The adopted perspective is, to some extent, historical, going from “traditional” models and formalisms to more modern ones.