Search results for "formal methods"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
4	Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya	Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution.	FM	2008	DBLP DOI BibTeX RDF	Loadable Software Parts, Security, Formal Methods, Safety
4	Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev	An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.	FM	2008	DBLP DOI BibTeX RDF	Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
4	J. Paul Gibson	Weaving a Formal Methods Education with Problem-Based Learning.	ISoLA	2008	DBLP DOI BibTeX RDF	Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum
4	John McLean	Formal methods in security engineering: where we've been, where we are, where we need to go.	FMSE	2007	DBLP DOI BibTeX RDF	formal methods, computer security
4	David von Oheimb	Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.	FM	2006	DBLP DOI BibTeX RDF	security, models, evaluation, software engineering, Formal methods
4	Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
4	Donna C. Stidolph, E. James Whitehead Jr.	Managerial Issues for the Consideration and Use of Formal Methods.	FME	2003	DBLP DOI BibTeX RDF	schedule, formal methods, specification, requirements, cost, Program management
4	Michael Backes, Catherine Meadows, John C. Mitchell	Relating cryptography and formal methods: a panel.	FMSE	2003	DBLP DOI BibTeX RDF	formal methods, cryptography, security protocols
4	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
4	Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG.	ICFEM	2002	DBLP DOI BibTeX RDF	Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
4	Ulrich Herzog	Formal Methods for Performance Evaluation.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
4	Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans	Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
4	Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer	The UniForM Workbench, a Universal Development Environment for Formal Methods.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
4	Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton	Formal Methods for Extensions to CAS.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
4	Gerald C. Gannod, Betty H. C. Cheng	A Two-Phase Approach to Reverse Engineering Using Formal Methods.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
3	K. S. May Chan	Formal methods for web services: a taxonomic approach.	ICSE	2010	DBLP DOI BibTeX RDF	service development life-cycle, service verification, web service, formal methods, web application
3	Jim Woodcock, Peter Gorm Larsen, Juan Bicarregui, John S. Fitzgerald	Formal methods: Practice and experience.	ACM Comput. Surv.	2009	DBLP DOI BibTeX RDF	formal methods surveys, verified software initiative, grand challenges, Experimental software engineering, verified software repository
3	Peter Csaba Ölveczky	Teaching Formal Methods Based on Rewriting Logic and Maude.	TFM	2009	DBLP DOI BibTeX RDF
3	Jan Kofron, Pavel Parizek, Ondrej Sery	On Teaching Formal Methods: Behavior Models and Code Analysis.	TFM	2009	DBLP DOI BibTeX RDF
3	Néstor Cataño, Camilo Rueda	Teaching Formal Methods for the Unconquered Territory.	TFM	2009	DBLP DOI BibTeX RDF
3	Fuyuki Ishikawa, Kenji Taguchi, Nobukazu Yoshioka, Shinichi Honiden	What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.	TFM	2009	DBLP DOI BibTeX RDF
3	Miguel Alexandre Ferreira, José Nuno Oliveira	An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model.	SBMF	2009	DBLP DOI BibTeX RDF
3	Juan Bicarregui, John S. Fitzgerald, Peter Gorm Larsen, J. C. P. Woodcock	Industrial Practice in Formal Methods: A Review.	FM	2009	DBLP DOI BibTeX RDF
3	Nicola Bonzanni, K. Anton Feenstra, Wan Fokkink, Elzbieta Krepska	What Can Formal Methods Bring to Systems Biology?	FM	2009	DBLP DOI BibTeX RDF
3	Michael Carl Tschantz, Jeannette M. Wing	Formal Methods for Privacy.	FM	2009	DBLP DOI BibTeX RDF
3	Manfred Broy	Seamless Model Driven Systems Engineering Based on Formal Models.	ICFEM	2009	DBLP DOI BibTeX RDF	Formal methods, models based development
3	Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi, Xian Zhang	Specifying and Verifying Sensor Networks: An Experiment of Formal Methods.	ICFEM	2008	DBLP DOI BibTeX RDF
3	Takuya Katayama	How Can We Make Industry Adopt Formal Methods?	ICFEM	2008	DBLP DOI BibTeX RDF
3	Alessandro Fantechi, Alessio Ferrari	Panel Discussion on Formal Methods in Commercial Software Development Tools.	FMICS	2008	DBLP DOI BibTeX RDF
3	Steven P. Miller	Formal Methods for Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF
3	Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts	Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System.	FM	2008	DBLP DOI BibTeX RDF
3	Shmuel Katz	Aspects and Formal Methods.	FM	2008	DBLP DOI BibTeX RDF	model-checking, specification, interference, detection, Aspects
3	Joseph R. Kiniry, Daniel M. Zimmerman	Secret Ninja Formal Methods.	FM	2008	DBLP DOI BibTeX RDF
3	Boutheina Chetali, Quang Huy Nguyen 0002	Industrial Use of Formal Methods for a High-Level Security Evaluation.	FM	2008	DBLP DOI BibTeX RDF
3	Michael G. Hinchey	Encouraging the Uptake of Formal Methods Training in an Industrial Context.	ISoLA	2008	DBLP DOI BibTeX RDF
3	Raymond T. Boute	Simple Gedanken Experiments in Leveraging Applications of Formal Methods.	ISoLA	2008	DBLP DOI BibTeX RDF
3	Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières	Using CSP\|\|B Components: Application to a Platoon of Vehicles.	FMICS	2008	DBLP DOI BibTeX RDF	verification, formal methods, specification, case study, CSP, B, compositional modelling
3	Marie-Claude Gaudel, Pascale Le Gall	Testing Data Types Implementations from Algebraic Specifications.	Formal Methods and Testing	2008	DBLP DOI BibTeX RDF
3	Martin de Groot	Integrating Formal Methods with System Management.	ICFEM	2007	DBLP DOI BibTeX RDF
3	Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio	FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.	ICTAC	2007	DBLP DOI BibTeX RDF	Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models
3	John S. Fitzgerald, Peter Gorm Larsen	Balancing Insight and Effort: The Industrial Uptake of Formal Methods.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
3	Manfred Broy	From "Formal Methods" to System Modeling.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
3	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian	A Probabilistic Formal Analysis Approach to Cross Layer Optimization in Distributed Embedded Systems.	FMOODS	2007	DBLP DOI BibTeX RDF	Probabilistic Formal Methods, Resource Management, Statistical Analysis, Cross-layer Optimization
3	Anne Elisabeth Haxthausen, Jan Peleska	A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
3	Asger Eir	Relating Domain Concepts Intensionally by Ordering Connections.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
3	Zhenbang Chen, Xiaoshan Li, Zhiming Liu, Volker Stolz, Lu Yang	Harnessing rCOS for Tool Support - The CoCoME Experience.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	tool design, formal methods, software process, Software development tool
3	Fabrice Kordon, Laure Petrucci	Toward Formal-Methods Oecumenism?	IEEE Distributed Systems Online	2006	DBLP DOI BibTeX RDF	software engineering, formal methods
3	Raoul Praful Jetley, S. Purushothaman Iyer, Paul L. Jones	A Formal Methods Approach to Medical Device Review.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Formal methods, Healthcare technology, Medical software, Clinical software engineering
3	Jonathan P. Bowen, Michael G. Hinchey	Ten Commandments of Formal Methods ...Ten Years Later.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Software engineering, Unified Modeling Language, Formal methods, Standards
3	Bernhard Beckert, Tony Hoare, Reiner Hähnle, Douglas R. Smith, Cordell Green, Silvio Ranise, Cesare Tinelli, Thomas Ball, Sriram K. Rajamani	Intelligent Systems and Formal Methods in Software Engineering.	IEEE Intelligent Systems	2006	DBLP DOI BibTeX RDF	deductive software verification, software engineering, formal methods, program verification, software synthesis, satisfiability modulo theories
3	Sandeep K. Shukla, Michael Theobald	Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.	Formal Methods in System Design	2006	DBLP DOI BibTeX RDF
3	John M. Rushby	Tutorial: Automated Formal Methods with PVS, SAL, and Yices.	SEFM	2006	DBLP DOI BibTeX RDF
3	Shmuel Katz	Rigorous Fault Tolerance Using Aspects and Formal Methods.	RODIN Book	2006	DBLP DOI BibTeX RDF	fault tolerance, formal methods, aspect orientation
3	Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni	A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.	FM	2006	DBLP DOI BibTeX RDF
3	Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue	Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.	FM	2006	DBLP DOI BibTeX RDF
3	Michael Backes, Birgit Pfitzmann, Michael Waidner	Formal Methods and Cryptography.	FM	2006	DBLP DOI BibTeX RDF
3	Werner Stephan	Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.	FM	2006	DBLP DOI BibTeX RDF
3	Raymond T. Boute	Using Domain-Independent Problems for Introducing Formal Methods.	FM	2006	DBLP DOI BibTeX RDF
3	John S. Fitzgerald, Peter Gorm Larsen	Triumphs and Challenges for Model-Oriented Formal Methods: The VDM++ Experience (Abstract).	ISoLA	2006	DBLP DOI BibTeX RDF
3	Tomi Westerlund, Juha Plosila	Time Aware Modelling and Analysis of Multiclocked VLSI Systems.	ICFEM	2006	DBLP DOI BibTeX RDF	Timed Action Systems, formal methods, time, GALS
3	Zarrin Langari, Anne Banks Pidduck	Quality, cleanroom and formal methods.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	cleanroom, formal methods, software quality
3	Anthony Hall	Realising the Benefits of Formal Methods.	ICFEM	2005	DBLP DOI BibTeX RDF
3	Anthony Hall	Making Formal Methods Work.	SEFM	2005	DBLP DOI BibTeX RDF
3	Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, 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
3	C. W. Johnson	The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions.	FM	2005	DBLP DOI BibTeX RDF
3	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles, Joaquín Salvachúa, Luis Llana, Margarita Bradley	Transforming Information in RDF to Rewriting Logic.	FMOODS	2005	DBLP DOI BibTeX RDF	Semantic Web, formal methods, RDF, rewriting logic, Maude
3	Arshad Jhumka, Martin Hiller	Putting Detectors in Their Place.	SEFM	2005	DBLP DOI BibTeX RDF	design, embedded systems, formal methods, location, resource constraints, Detectors
3	June Andronick, Boutheina Chetali, Christine Paulin-Mohring	Formal Verification of Security Properties of Smart Card Embedded Source Code.	FM	2005	DBLP DOI BibTeX RDF	Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
3	Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer	A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.	STTT	2004	DBLP DOI BibTeX RDF	Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems
3	John C. Martin	Formal methods software engineering for the CARA system.	STTT	2004	DBLP DOI BibTeX RDF	Formal methods software engineering, Sequence enumeration, Cleanroom, Formal specification
3	J. Strother Moore	On the Adoption of Formal Methods by Industry: The ACL2 Experience.	ICFEM	2004	DBLP DOI BibTeX RDF
3	Peter G. Neumann	When Can Formal Methods Make a Real Difference?	ICFEM	2004	DBLP DOI BibTeX RDF
3	Peter Pepper	Distributed Teaching of Formal Methods.	TFM	2004	DBLP DOI BibTeX RDF
3	Richard F. Paige, Jonathan S. Ostroff	Specification-Driven Design with Eiffel and Agents for Teaching Lightweight Formal Methods.	TFM	2004	DBLP DOI BibTeX RDF
3	Manuel J. Fernández Iglesias, Martín Llamas Nistal	An Undergraduate Course on Protocol Engineering - How to Teach Formal Methods Without Scaring Students.	TFM	2004	DBLP DOI BibTeX RDF	undergraduate courses, Spin, Protocol engineering, Promela, case-based learning
3	José Nuno Oliveira	A Survey of Formal Methods Courses in European Higher Education.	TFM	2004	DBLP DOI BibTeX RDF
3	Jim Davies, Andrew Simpson, Andrew Martin	Teaching Formal Methods in Context.	TFM	2004	DBLP DOI BibTeX RDF
3	Baowen Xu, Yingzhou Zhang, Yanhui Li	Retrospect and Prospect of Formal Methods Education in China.	TFM	2004	DBLP DOI BibTeX RDF
3	Joy N. Reed, Jane Sinclair	Motivating Study of Formal Methods in the Classroom.	TFM	2004	DBLP DOI BibTeX RDF
3	Raymond T. Boute	Integrating Formal Methods by Unifying Abstractions.	IFM	2004	DBLP DOI BibTeX RDF
3	Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani	SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.	IFM	2004	DBLP DOI BibTeX RDF
3	Mani Azimi, Ching-Tsun Chou, Akhilesh Kumar, Victor W. Lee, Phanindra K. Mannava, Seungjoon Park	Experience with Applying Formal Methods to Protocol Specification and System Architecture.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	rule-based checking of tables, minimal deadlock-free wormhole routing schemes, fault-tolerant link initialization, formal verification, cache coherence protocols, sliding window protocols
3	José Meseguer	Executable Computational Logics: Combining Formal Methods and Programming Language Based System Design.	MEMOCODE	2003	DBLP DOI BibTeX RDF
3	Yuechen Qian	Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates.	ICFEM	2003	DBLP DOI BibTeX RDF	Disconnected Updates, Formal Methods, Consistency, Z, Logs, Data Synchronization
3	Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal	Model Checking at IBM.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	model checking, formal methods, formal verification
3	J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda	Analysis of an Industrial System.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	verification, formal methods, process algebra, industrial systems
3	Ann E. Kelley Sobel, Michael R. Clarkson	Formal Methods Application: An Empirical Tale of Software Development.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	formal methods, software specifications, software engineering curriculum
3	Richard Jüllig	Formal Methods in Enterprise Computing.	ICFEM	2002	DBLP DOI BibTeX RDF
3	Achim D. Brucker, Burkhart Wolff	Using Theory Morphisms for Implementing Formal Methods Tools.	TYPES	2002	DBLP DOI BibTeX RDF	Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics
3	Paul A. Bailes, Colin J. M. Kemp	Formal Methods within a Totally Functional Approach to Programming.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF
3	J. Strother Moore	A Grand Challenge Proposal for Formal Methods: A Verified Stack.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	simulation, modeling, model checking, theorem proving, software verification, hardware verification
3	Abdesselam Redouane	Experience Using Formal Methods for Capturing Requirements of Web-Based Applications.	IEEE ICCI	2002	DBLP DOI BibTeX RDF	modularity and parameterization, formal methods, web-based applications, dynamic behavior, predicate calculus
3	Vangalur S. Alagar, Ralf Lämmel	Three-Tiered Specification of Micro-architectures.	ICFEM	2002	DBLP DOI BibTeX RDF	UML, interaction, formal methods, frameworks, design patterns, reuse, evolution, object-oriented design, micro-architectures
3	Guido Wimmel, Jan Jürjens	Specification-Based Test Generation for Security-Critical Systems Using Mutations.	ICFEM	2002	DBLP DOI BibTeX RDF	E-Commerce Systems, Security-Critical Systems, Validation and Analysis, Computer-aided Software Engineering (CASE), Formal Methods, Test Case Generation, Test Specification, AutoFocus
3	Zarina Shukur, Abdullah Mohd Zin, Ainita Ban	M2Z: A Tool for Translating a Natural Language Software Specification into Z.	ICFEM	2002	DBLP DOI BibTeX RDF	Formal methods, machine translation, Z, linguistic
3	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
3	Michael Huber, Steve King	Towards an Integrated Model Checker for Railway Signalling Data.	FME	2002	DBLP DOI BibTeX RDF	Data verification, hidden formal methods, model checking
3	Yingxu Wang	Real-Time Process Algebra and Its Applications.	10th Anniversary Colloquium of UNU/IIST	2002	DBLP DOI BibTeX RDF	descriptive mathematics, 3-D problems, static/dynamic behaviors specification, Software engineering, real-time systems, formal methods, algebraic specification, architecture specification
3	Daniel Jackson	Lightweight Formal Methods.	FME	2001	DBLP DOI BibTeX RDF
3	Chris Matthews, Paul A. Swatman	Fuzzy concepts and formal methods: some illustrative examples.	APSEC	2000	DBLP DOI BibTeX RDF	fuzzy concepts, problem types, fuzzy logic toolkit, problem domains, soft preconditions, linguistically quantified propositions, modelling, formal specification, formal methods, fuzzy logic, information systems, requirements engineering, uncertainty, specification languages, specification languages, formal modelling, fuzzy set theory, fuzzy set theory, uncertainty handling, fuzzy relations, system requirements, imprecision, Z language