Search results for "applied formal methods"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Mohammad Zulkernine, Rudolph E. Seviora	Assume-Guarantee Algorithms for Automatic Detection of Software Failures.	IFM	2002	DBLP DOI BibTeX RDF	applied formal methods, Software reliability, compositionality, failure detection, online monitoring
2	Sten Agerholm, Peter Gorm Larsen	A Lightweight Approach to Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Frank Werner	Applied Formal Methods in Wireless Sensor Networks.		2009	RDF
1	Joseph R. Kiniry, Daniel M. Zimmerman	Secret Ninja Formal Methods.	FM	2008	DBLP DOI BibTeX RDF
1	Jan Peleska	Applied Formal Methods - From CSP to Executable Hybrid Specifications.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
1	Mariëlle Stoelinga	Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Applied formal methods, Leader election algorithms, Parameter synthesis, Real time, Network protocols, Probabilistic algorithms, IEEE standards
1	Dieter Hutter, Werner Stephan, Paolo Traverso, Markus Ullmann (eds.)	Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings	FM-Trends	1999	DBLP BibTeX RDF
1	François Puitg, Jean-François Dufourd	Formal Program Development in Geometric Modeling.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Sam Owre, John M. Rushby, Natarajan Shankar, David W. J. Stringer-Calvert	PVS: An Experience Report.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Michael Goldsmith, Irfan Zakiuddin	Critical Systems Validation and Verification with CSP and FDR.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Mark E. Woodcock	The wHOLe System.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Egon Börger	High Level System Design and Analysis Using Abstract State Machines.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Philipp W. Kutter, Daniel Schweizer, Lothar Thiele	Integrating Domain Specific Language Design in the Software Life Cycle.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Wanderley Lopes de Souza, Paulo Nazareno Maia Sampaio, Jean-Marie Farines, Roberto Milton Scheffel, Maria Janilce B. Almeida, Luciano Paschoal Gaspary, Lisandro Zambenedetti Granville, Roberto Willrich, Murilo S. de Camargo, Marcelo Domingos	Design of Distributed Multimedia Applications (DAMD).	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Meine van der Meulen, Tim Clement	Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Masahiro Fujita, Sreeranga P. Rajan, Alan J. Hu	Two Real Formal Verification Experiences: ATM Switch Chip and Parallel Cache Protocol.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Manfred Broy, Oscar Slotosch	Enriching the Software Development Process by Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Dieter Hutter, Heiko Mantel, Georg Rock, Werner Stephan, Andreas Wolpers, Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	VSE: Controlling the Complexity in Formal Software Developments.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Einar W. Karlsen	The UniForM WorkBench - A Higher Order Tool Integration Framework.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel	KIV 3.0 for Provably Correct Systems.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Tiziana Margaria, Volker Gruhn	Flexible and Reliable Process Model Properties: An Integrated Approach.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Bernd Krieg-Brückner	UniForM Perspectives for Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Amir Pnueli, Ofer Strichman, Michael Siegel	Translation Validation: From DC+ to C*.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Ora Canada	Z/EVES Version 1.5: An Overview.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Satoshi Yamane	A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci	A Symbolic Model Checker for ACTL.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Oscar Slotosch	QUEST: Overview over the Project.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Robert Büssow, Wolfgang Grieskamp, Winfried Heicking, Stephan Herrmann	An Open Environment for the Integration of Hetereogenous Modelling Techniques and Tools.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Wolfgang Goerigk, Ulrich Hoffmann	Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Sten Agerholm, Peter Gorm Larsen	The IFAD VDM Tools: Lightweight Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Kirill Bogdanov, Mike Holcombe, Harbhajan Singh	Automated Test Set Generation for Statecharts.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Giuseppe Del Castillo	Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Alfons Geser, Wolfgang Küchlin	Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip	FM-Trends	1998	DBLP DOI BibTeX RDF	List of Keywords propositional satisfiability, functional decision diagram (FDD), formal hardware verification, term rewriting, term graph rewriting
1	Frank Koob, Markus Ullmann, Stefan Wittmann	The New Topicality of Using Formal Models of Security Policy within the Security Engineering Process.	FM-Trends	1998	DBLP DOI BibTeX RDF
1	Kenneth R. Wood	A Practical Approach to Software Engineering Using Z and the Refinement Calculus.	SIGSOFT FSE	1993	DBLP DOI BibTeX RDF	Z