Towards Focus on Time
Formal Languages and Automata Theory
2014-03-06 v1 Logic in Computer Science
Authors:
Maria Spichkova
Abstract
This short paper introduces a model for the specification and verification of real-time system design: timed state transition diagrams.
Keywords
Cite
@article{arxiv.1403.1006,
title = {Towards Focus on Time},
author = {Maria Spichkova},
journal= {arXiv preprint arXiv:1403.1006},
year = {2014}
}
Comments
12th International Workshop on Automated Verification of Critical Systems (AVoCS'12), 2012
Related papers
View all related →
Distributed, Parallel, and Cluster Computing · Computer Science
Modeling and Verification for Timing Satisfaction of Fault-Tolerant Systems with Finiteness
Chih-Hong Cheng, Christian Buckl, Javier Esparza, Alois Knoll
2016-11-18
General Literature · Computer Science
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2013-08-15
Dynamical Systems · Mathematics
Symbolic models for nonlinear time-delay systems using approximate bisimulations
Giordano Pola, Pierdomenico Pepe, Maria D. Di Benedetto, Paulo Tabuada
2009-03-28
Distributed, Parallel, and Cluster Computing · Computer Science
On Specifications and Proofs of Timed Circuits
Matthias Fuegger, Christoph Lenzen, Ulrich Schmid
2022-08-18
Software Engineering · Computer Science
State Based Service Description
Barbara Paech, Bernhard Rumpe
2014-09-26
Logic in Computer Science · Computer Science
An Efficient Explicit-time Description Method for Timed Model Checking
Hao Wang, Wendy MacCaull
2009-12-15
Logic in Computer Science · Computer Science
A Simplification of a Real-Time Verification Problem
Indranil Saha, Janardan Misra, Suman Roy
2010-08-12
Computation and Language · Computer Science
An Empirical Approach to Temporal Reference Resolution (journal version)
Janyce Wiebe, Thomas P. O'Hara, Thorsten Ohrstrom-Sandgren, Kenneth K. McKeever
2009-09-25
Logic in Computer Science · Computer Science
Verifying Real-Time Systems using Explicit-time Description Methods
Hao Wang, Wendy MacCaull
2009-12-11
Systems and Control · Electrical Eng. & Systems
Power System Transition Planning: An Industry-Aligned Framework for Long-Term Optimization
Ahmed Al-Shafei, Nima Amjady, Hamidreza Zareipour, Yankai Cao
2025-05-05
Logic in Computer Science · Computer Science
Time Estimation Model of Concurrent Computing Systems
Ahmet A. Husainov, E. S. Kudryashova
2013-05-14
Logic in Computer Science · Computer Science
Behavioural equivalences for timed systems
Tomasz Brengos, Marco Peressotti
2023-06-22
Cryptography and Security · Computer Science
Timed automata as a formalism for expressing security: A survey on theory and practice
Johan Arcile, Étienne André
2022-06-08
Data Structures and Algorithms · Computer Science
Time-Darts: A Data Structure for Verification of Closed Timed Automata
Kenneth Y. Jørgensen, Kim G. Larsen, Jiří Srba
2012-11-28
Software Engineering · Computer Science
Formal Visual Modeling of Real-Time Systems in e-Motions: Two Case Studies
Francisco Durán, Peter Csaba Ölveczky, José E. Rivera
2011-07-04
Systems and Control · Electrical Eng. & Systems
Real-time Hybrid System Identification with Online Deterministic Annealing
Christos Mavridis, Karl Henrik Johansson
2025-09-26
Logic in Computer Science · Computer Science
A Formal System: Rigorous Constructions of Computer Models
Garry Pantelis
2017-04-14
Formal Languages and Automata Theory · Computer Science
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, Axel Legay, Florian Lorber +2
2023-07-14
Optimization and Control · Mathematics
From Time-Domain Data to Low-Dimensional Structured Models
Elliot Fosong, Philipp Schulze, Benjamin Unger
2019-02-15
Software Engineering · Computer Science
Temporal Conformance Checking at Runtime based on Time-infused Process Models
Florian Stertz, Juergen Mangler, Stefanie Rinderle-Ma
2020-08-18
Optimization and Control · Mathematics
Partial State-Feedback Reduced-Order Switching Predictive Models for Next-Generation Optical Lithography Systems
Raaja Ganapathy Subramanian, Barry Moest, Bart Paarhuis
2025-10-16
Optimization and Control · Mathematics
Symbolic Models for Nonlinear Time-Varying Time-Delay Systems via Alternating Approximate Bisimulation
Giordano Pola, Pierdomenico Pepe, Maria Domenica Di Benedetto
2011-12-13
Systems and Control · Electrical Eng. & Systems
A Novel Finite Time Stability Analysis of Nonlinear Fractional-Order Time Delay Systems: A Fixed Point Approach
Abdellatif Ben Makhlouf
2020-12-02
Software Engineering · Computer Science
Feature Specification and Refinement with State Transition Diagrams
Cornel Klein, Christian Prehofer, Bernhard Rumpe
2014-09-26
Distributed, Parallel, and Cluster Computing · Computer Science
Real-Time Simulation in Real-Time Systems: Current Status, Research Challenges and A Way Forward
Xi Zheng
2019-05-07