Tag timed_systems [16 articles] Export Sort

Recent papers classified by the tag timed_systems.

Hide details

	Temporal and modal logic [My Copy] (1990), pp. 995-1072. by Allen E. Emerson posted to timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 20:06:53 as along with 2 people robotact nigno
	Distributing Timed Model Checking - How the Search Order Matters [My Copy] In CAV '00: Proceedings of the 12th International Conference on Computer Aided Verification (2000), pp. 216-231. by Gerd Behrmann, Thomas Hune, Frits W. Vaandrager posted to timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 20:00:16 as
	Towards a Comprehensive Treatment of Temporal Constraints in Clinical Guidelines [My Copy] In TIME '02: Proceedings of the Ninth International Symposium on Temporal Representation and Reasoning (TIME'02) (2002), 20. by Paolo Terenziani, Carlo Carlini, Stefania Montani posted to healthcare modeling timed_systems by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-25 19:40:09 as
	Expressibility results for linear-time and branching-time logics [My Copy] In Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop (1989), pp. 428-437. by Edmund M. Clarke, I. A. Draghicescu posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-24 02:10:32 as along with 2 people pintman Scis0000002
	The Temporal Logic of Reactive and Concurrent Systems: Specification: 001 [My Copy] (18 December 1991) by Amir Pnueli, Zohar Manna posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-23 20:07:18 as along with 1 person VGreiff
	The ASGAARD Project: A Task-Specific Framework for the Application and Critiquing of Time-Oriented Clinical Guidelines [My Copy] In Artificial Intelligence in Medicine, Vol. 14 (1998), pp. 29-51. by Yuval Shahar, Silvia Miksch, Peter Johnson posted to healthcare modeling timed_systems by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 20:50:22 as
	Logic in Computer Science: Modelling and Reasoning about Systems [My Copy] (01 November 1999) by Michael Huth, Mark Ryan, M. Huth, M. Ryan posted to modeling timed_systems verification workflow by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 16:56:29 as
	Towards a comprehensive treatment of repetitions, periodicity and temporal constraints in clinical guidelines [My Copy] Artif. Intell. Med., Vol. 38, No. 2. (2006), pp. 171-195. by Luca Anselma, Paolo Terenziani, Stefania Montani, Alessio Bottrighi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:16:37 as
	Time Petri Nets Analysis with TINA [My Copy] Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on In Quantitative Evaluation of Systems, 2006. QEST 2006. Third International Conference on (2006), pp. 123-124. by B. Berthomieu, F. Vernadat posted to modeling timed_systems verification by maddogmiller on 2009-06-22 14:12:49 as
	Temporal reasoning about composite and/or periodic events [My Copy] Journal of Experimental & Theoretical Artificial Intelligence, Vol. 18, No. 1. (March 2006), pp. 87-115. by Terenziani, Paolo, Anselma, Luca posted to timed_systems verification by maddogmiller on 2009-06-22 14:11:46 as along with 2 people and 1 group fheintz georgeon StFX Centre for Logic and Information
	Comparison of the Expressiveness of Timed Automata and Time Petri Nets [My Copy] Formal Modeling and Analysis of Timed Systems (2005), pp. 211-225. by Beatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Roux posted to modeling timed_systems by maddogmiller on 2009-06-22 14:10:20 as
	Automatic Verification of a Lip-Synchronisation Protocol Using Uppaal [My Copy] Formal Aspects of Computing, Vol. 10, No. 5. (21 May 1998), pp. 550-575. by H. Bowman, G. Faconti, J. P. Katoen, D. Latella, M. Massink posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:07:51 as
	Timed Automata: Semantics, Algorithms and Tools [My Copy] Lectures on Concurrency and Petri Nets (2004), pp. 87-124. by Johan Bengtsson, Wang Yi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:06:57 as along with 5 people dwei98 streetlightios yoriyuki keigoi msakai
	A Tutorial on Uppaal [My Copy] Formal Methods for the Design of Real-Time Systems (2004), pp. 200-236. by Gerd Behrmann, Alexandre David, Kim G. Larsen posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:05:55 as along with 1 person zhensong
	UPPAAL - Now, Next, and Future [My Copy] Modeling and Verification of Parallel Processes (2001), pp. 99-124. by Tobias Amnell, Gerd Behrmann, Johan Bengtsson, et al.Pedro D’argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Larsen, M. Möller, Paul Pettersson, Carsten Weise, Wang Yi posted to modeling timed_systems verification by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:05:06 as
	Timed Automata [My Copy] Computer Aided Verification (1999), pp. 688-688. by Rajeev Alur posted to modeling timed_systems by maddogmiller to the group StFX Centre for Logic and Information on 2009-06-22 14:04:16 as along with 3 people zhensong dwei98 newdawn