Search results for "timed transition systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Carl K. Chang, Yi-Te Tseng, Ugo Buy	Compiling process algebraic specifications into timed automata. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	Language of Timed Processes, process algebraic specification compilation, process-algebra-based specification language, process descriptions, periodic constraints, sporadic constraints, periodic behavior modelling, finite representation, delays, computations, timed automata, translation, algebraic specification, real-time applications, deadlines, execution time, automatic verification, timeouts, timing requirement, LTP, timed transition systems
2	Hyoung Seok Hong, Sung Deok Cha, Yong Rae Kwon	On the concurrent behaviour of SCR specifications. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	SCR specifications, concurrent behaviour, SCR method, tabular notations, Software Cost Reduction, mode transition tables, event tables, condition tables, real-time systems, finite state machines, finite state machine, requirements specification, state machines, timed transition systems, interleaving semantics
2	Andrei Borshchev, Yuri Karpov, Victor Roudakov	Systems modeling, simulation and analysis using COVERS active objects.	ECBS	1997	DBLP DOI BibTeX RDF	COVERS active objects, object-oriented principles, reactive system design, object structure diagrams, object interconnection diagrams, data functions, modeling-simulation-analysis cycle, Windows-based graphical environment, visualization, object-oriented programming, C++, code generation, systems analysis, statecharts, systems modeling, semantic model, modeling language, simulation environment, systems simulation, model execution, data objects, behavior description, timed transition systems
2	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	Timed Transition Systems.	REX Workshop	1991	DBLP DOI BibTeX RDF	real time, concurrency, Transition systems
1	Roman S. Dubtsov	Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction.	Ershov Memorial Conference	2011	DBLP DOI BibTeX RDF
1	Irina Virbitskaite, Natalya Gribovskaya	Unifying behavioral equivalences of timed transition systems.	Programming and Computer Software	2010	DBLP DOI BibTeX RDF
1	Lasse Jacobsen, Morten Jacobsen, Mikael H. Møller, Jirí Srba	A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking.	EPEW	2010	DBLP DOI BibTeX RDF
1	Natalya Gribovskaya, Irina Virbitskaite	Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems.	Fundam. Inform.	2009	DBLP DOI BibTeX RDF
1	Lei Pi, Zhibin Yang, Jean-Paul Bodeveix, Mamoun Filali, Kai Hu, Dianfu Ma	A Comparative Study of FIACRE and TASM to Define AADL Real Time Concepts.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Germán Regis, Nazareno Aguirre, T. S. E. Maibaum	Specifying and Verifying Business Processes Using PPML.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Pieter J. L. Cuijpers, Michel A. Reniers	Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions.	HSCC	2008	DBLP DOI BibTeX RDF
1	Marc Boyer, Olivier H. Roux	Comparison of the Expressiveness of Arc, Place and Transition Time Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
1	Natalya Gribovskaya, Irina Virbitskaite	A Categorical Observation of Timed Testing Equivalence.	PaCT	2007	DBLP DOI BibTeX RDF
1	Olga Grinchtein, Bengt Jonsson, Martin Leucker	Inference of Timed Transition Systems.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Chaiwat Sathawornwichit, Takuya Katayama	A Parametric Model Checking Approach for Real-Time Systems Design.	APSEC	2005	DBLP DOI BibTeX RDF
1	Franck van Breugel	A Behavioural Pseudometric for Metric Labelled Transition Systems.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Prabhu	Quantifying Similarities Between Timed Systems.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Satoshi Yamane	Deductive Probabilistic Verification Methods of Safety, Liveness and Nonzenoness for Distributed Real-Time Systems.	ICESS	2005	DBLP DOI BibTeX RDF
1	Satoshi Yamane	Deductive Verification of Probabilistic Real-Time Systems.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
1	Olivier H. Roux, Didier Lime	Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation.	ICATPN	2004	DBLP DOI BibTeX RDF
1	Paulo Tabuada	Open Maps, Alternating Simulations and Control Synthesis.	CONCUR	2004	DBLP DOI BibTeX RDF
1	Satoshi Yamane, Takashi Kanatani	Deductive Probabilistic Verification Methods for Embedded and Ubiquitous Computing.	EUC	2004	DBLP DOI BibTeX RDF
1	Mark van der Zwaag	The cones and foci proof technique for timed transition systems.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
1	Pallab Dasgupta, Jatindra Kumar Deka, Partha Pratim Chakrabarti	Model checking on timed-event structures.	IEEE Trans. on CAD of Integrated Circuits and Systems	2000	DBLP DOI BibTeX RDF
1	Rachel Cardell-Oliver	Conformance Tests for Real-Time Systems with Timed Automata Specifications.	Formal Asp. Comput.	2000	DBLP DOI BibTeX RDF	Real-time systems, Timed automata, Conformance testing, Test selection
1	Mogens Nielsen, Thomas Hune	Bisimulation and Open Maps for Timed Transition Systems.	Fundam. Inform.	1999	DBLP DOI BibTeX RDF
1	Zhiming Liu, Anders P. Ravn, Xiaoshan Li	Verifying duration properties of timed transition systems.	PROCOMET	1998	DBLP BibTeX RDF
1	Jürgen Ruf, Thomas Kropf	Using MTBDDs for Compostion and Model Checking of Real-Time Systems.	FMCAD	1998	DBLP DOI BibTeX RDF
1	Thomas Hune, Mogens Nielsen	Timed Bisimulation and Open Maps.	MFCS	1998	DBLP DOI BibTeX RDF
1	Andrei Borshchev, Yuri Karpov, Victor Roudakov	COVERS 3.0 - An Object-Oriented Environment for Modeling, Simulation and Analysis of Real-Time Concurrent Systems.	DIS-RT	1997	DBLP DOI BibTeX RDF
1	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	Temporal Proof Methodologies for Timed Transition Systems	Inf. Comput.	1994	DBLP DOI BibTeX RDF
1	Rajeev Alur, Limor Fix, Thomas A. Henzinger	A Determinizable Class of Timed Automata.	CAV	1994	DBLP DOI BibTeX RDF
1	Roger Hale, Rachel Cardell-Oliver, John Herbert	An Embedding of Timed Transition Systems in HOL.	Formal Methods in System Design	1993	DBLP DOI BibTeX RDF
1	Costas Courcoubetis, Werner Damm, Bernhard Josko	Verification of timing Properties of VHDL.	CAV	1993	DBLP DOI BibTeX RDF
1	Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, David L. Dill, Howard Wong-Toi	Minimization of Timed Transition Systems.	CONCUR	1992	DBLP DOI BibTeX RDF
1	Rachel Cardell-Oliver, Roger Hale, John Herbert	An Embedding of Timed Transition Systems in HOL.	TPHOLs	1992	DBLP BibTeX RDF
1	Thomas A. Henzinger, Zohar Manna, Amir Pnueli	What Good Are Digital Clocks?	ICALP	1992	DBLP DOI BibTeX RDF
1	Jonathan S. Ostroff	Verification of Safety Critical Systems Using TTM/RTTL.	REX Workshop	1991	DBLP DOI BibTeX RDF	Verification, Timed Transition Systems, Real-time Temporal Logic