Search results for "SFM"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Rolf Drechsler, Görschwin Fey	Automatic Test Pattern Generation.	SFM	2006	DBLP DOI BibTeX RDF
1	Nicola Bombieri, Franco Fummi, Graziano Pravadelli	Hardware Design and Simulation for Verification.	SFM	2006	DBLP DOI BibTeX RDF
1	Gianpiero Cabodi, Marco Murciano	BDD-Based Hardware Verification.	SFM	2006	DBLP DOI BibTeX RDF
1	Aarti Gupta, Malay K. Ganai, Chao Wang 0001	SAT-Based Verification Methods and Applications in Hardware Verification.	SFM	2006	DBLP DOI BibTeX RDF
1	Panagiotis Manolios	Refinement and Theorem Proving.	SFM	2006	DBLP DOI BibTeX RDF
1	John Harrison 0001	Floating-Point Verification Using Theorem Proving.	SFM	2006	DBLP DOI BibTeX RDF
1	Koen Claessen, Jan-Willem Roorda	An Introduction to Symbolic Trajectory Evaluation.	SFM	2006	DBLP DOI BibTeX RDF
1	Marco Bernardo 0001, Alessandro Cimatti (eds.)	Formal Methods for Hardware Verification, 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures	SFM	2006	DBLP DOI BibTeX RDF
1	Marco Bernardo 0001, Alessandro Bogliolo (eds.)	Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures	SFM	2005	DBLP DOI BibTeX RDF
1	Lorenzo Bettini, Rocco De Nicola	Mobile Distributed Programming in X-Klaim.	SFM	2005	DBLP DOI BibTeX RDF
1	Flavio Corradini, Emanuela Merelli	Hermes: Agent-Based Middleware for Mobile Computing.	SFM	2005	DBLP DOI BibTeX RDF
1	Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi	Dynamic Power Management Strategies Within the IEEE 802.11 Standard.	SFM	2005	DBLP DOI BibTeX RDF
1	Vincenzo Grassi	Performance Analysis of Mobile Systems.	SFM	2005	DBLP DOI BibTeX RDF
1	Andrea Acquaviva, Alessandro Aldini, Marco Bernardo 0001, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi	A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.	SFM	2005	DBLP DOI BibTeX RDF
1	Ugo Montanari, Marco Pistore	History-Dependent Automata: An Introduction.	SFM	2005	DBLP DOI BibTeX RDF
1	Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang 0001, Shirshanka Das	Dealing with Node Mobility in Ad Hoc Wireless Network.	SFM	2005	DBLP DOI BibTeX RDF
1	Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo	Network Swapping.	SFM	2005	DBLP DOI BibTeX RDF
1	Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen	A Tutorial on Uppaal.	SFM	2004	DBLP DOI BibTeX RDF
1	Marco Bernardo 0001, Flavio Corradini (eds.)	Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures	SFM	2004	DBLP DOI BibTeX RDF
1	Diletta Cacciagrano, Flavio Corradini	Expressiveness of Timed Events and Timed Languages.	SFM	2004	DBLP DOI BibTeX RDF
1	Mario Bravetti	Real Time and Stochastic Time.	SFM	2004	DBLP DOI BibTeX RDF
1	Elmar Bihler, Walter Vogler	Timed Petri Nets: Efficiency of Asynchronous Systems.	SFM	2004	DBLP DOI BibTeX RDF
1	Jos C. M. Baeten, Michel A. Reniers	Timed Process Algebra (With a Focus on Explicit Termination and Relative-Timing).	SFM	2004	DBLP DOI BibTeX RDF
1	Rajeev Alur, P. Madhusudan	Decision Problems for Timed Automata: A Survey.	SFM	2004	DBLP DOI BibTeX RDF
1	Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Klaren, Holger Hermanns	Embedded Software Analysis with MOTOR.	SFM	2004	DBLP DOI BibTeX RDF
1	Bran Selic	On the Semantic Foundations of Standard UML 2.0.	SFM	2004	DBLP DOI BibTeX RDF
1	Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis	The IF Toolset.	SFM	2004	DBLP DOI BibTeX RDF
1	Antonia Bertolino, Paola Inverardi, Henry Muccini	Formal Methods in Testing Software Architectures.	SFM	2003	DBLP DOI BibTeX RDF
1	Paola Inverardi, Massimo Tivoli	Software Architecture for Correct Components Assembly.	SFM	2003	DBLP DOI BibTeX RDF
1	Simonetta Balsamo, Marco Bernardo 0001, Marta Simeoni	Performance Evaluation at the Software Architecture Level.	SFM	2003	DBLP DOI BibTeX RDF
1	Luís Filipe Andrade, José Luiz Fiadeiro	Architecture Based Evolution of Software Systems.	SFM	2003	DBLP DOI BibTeX RDF
1	Jeff Kramer, Jeff Magee, Sebastián Uchitel	Software Architecture Modeling & Analysis: A Rigorous Approach.	SFM	2003	DBLP DOI BibTeX RDF
1	David Garlan	Formal Modeling and Analysis of Software Architecture: Components, Connectors, and Events.	SFM	2003	DBLP DOI BibTeX RDF
1	Judith A. Stafford, Alexander L. Wolf, Mauro Caporuscio	The Application of Dependence Analysis to Software Architecture Descriptions.	SFM	2003	DBLP DOI BibTeX RDF
1	Valérie Issarny, Apostolos V. Zarras	Software Architecture and Dependability.	SFM	2003	DBLP DOI BibTeX RDF
1	Nima Kaveh, Wolfgang Emmerich	Validating Distributed Object and Component Designs.	SFM	2003	DBLP DOI BibTeX RDF
1	Marco Bernardo 0001, Paola Inverardi (eds.)	Formal Methods for Software Architectures, Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures	SFM	2003	DBLP DOI BibTeX RDF
1	Amy L. Murphy, Gian Pietro Picco, Gruia-Catalin Roman	Software Architecture for Mobile Computing.	SFM	2003	DBLP DOI BibTeX RDF
1	Axel van Lamsweerde	From System Goals to Software Architecture.	SFM	2003	DBLP DOI BibTeX RDF

Publications at "SFM"( http://dblp.L3S.de/Venues/SFM )