Publications :: Search

Show venue

On this page you see the details of the selected venue.

Conference
Name:	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007
DBLP:	db/conf/formats/formats2007.html
Bookmark:

Below you find the publications assigned to this venue.

Show item 1 to 25 of 25  

Select a publication
Show	Title	Venue	Rating	Date
	Sara Adams, Joël Ouaknine, James Worrell. Undecidability of Universality for Timed Automata with Minimal Resources.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Farn Wang. Symbolic Simulation-Checking of Dense-Time Automata.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen. Automatic Abstraction Refinement for Timed Automata.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Paulo Nazareno Maia Sampaio, Laura Margarita Rodríguez Peralta, Jean-Pierre Courtiat. Designing Consistent Multimedia Documents: The RT-LOTOS Methodology.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Carlo A. Furia, Matteo Rossi. On the Expressiveness of MTL Variants over Dense Time.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian. Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia. Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Pieter J. L. Cuijpers, Reinder J. Bril. Towards Budgeting in Real-Time Calculus: Deferrable Servers.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Rodolfo Gómez Gómez, Howard Bowman. Efficient Detection of Zeno Runs in Timed Automata.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Anne Remke, Boudewijn R. Haverkort. CSL Model Checking Algorithms for Infinite-State Structured Markov Chains.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Grégory Batt, Ramzi Ben Salah, Oded Maler. On Timed Models of Gene Networks.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Andreas Podelski, Silke Wagner. Region Stability Proofs for Hybrid Systems.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Pavel Krcál, Martin Stigge, Wang Yi. Multi-processor Schedulability Analysis of Preemptive Real-Time Tasks with Variable Execution Times.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Joost-Pieter Katoen. Abstraction of Probabilistic Systems.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Dejan Nickovic, Oded Maler. AMT: A Property-Based Monitoring Tool for Analog Systems.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Fabrice Chevalier, Deepak D'Souza, Pavithra Prabhakar. Counter-Free Input-Determined Timed Automata.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Víctor A. Braberman, Jorge Lucángeli Obes, Alfredo Olivero, Fernando Schapachnik. Hypervolume Approximation in Timed Automata Model Checking.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Catalin Dima. Dynamical Properties of Timed Automata Revisited.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Bruce H. Krogh. From Analysis to Design.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	John Håkansson, Paul Pettersson. Partial Order Reduction for Verification of Real-Time Components.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Franck Cassez. Efficient On-the-Fly Algorithms for Partially Observable Timed Games.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Jan Jakob Jessen, Jacob Illum Rasmussen, Kim Guldstrand Larsen, Alexandre David. Guided Controller Synthesis for Climate Controller Using Uppaal Tiga.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Patricia Bouyer, Nicolas Markey. Costs Are Expensive!	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Georgios E. Fainekos, George J. Pappas. Robust Sampling for MITL Specifications.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007
	Sergio Giro, Pedro R. D'Argenio. Quantitative Model Checking Revisited: Neither Decidable Nor Approximable.	Formal Modeling and Analysis of Timed Systems, 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007, Proceedings 2007	(0)	2007

Your query returned 25 matches in the database.