Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
26	Fabrice Bouquet, Bruno Legeard, Mark Utting, Nicolas Vacelet	Faster Analysis of Formal Specifications.	ICFEM	2004	DBLP DOI BibTeX RDF
26	J Strother Moore	On the Adoption of Formal Methods by Industry: The ACL2 Experience.	ICFEM	2004	DBLP DOI BibTeX RDF
26	Peter T. Breuer	A Formal Model for the Block Device Subsystem of the Linux Kernel.	ICFEM	2003	DBLP DOI BibTeX RDF
26	Soon-Kyeong Kim, David A. Carrington	A Formal Metamodeling Approach to a Transformation between the UML State Machine and Object-Z.	ICFEM	2002	DBLP DOI BibTeX RDF
26	Hong Zhu 0002	Formal Specification of Evolutionary Software Agents.	ICFEM	2002	DBLP DOI BibTeX RDF
26	Daniel Jackson 0001	Lightweight Formal Methods.	FME	2001	DBLP DOI BibTeX RDF
26	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
26	Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss	PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.	FME	1997	DBLP DOI BibTeX RDF
26	Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey	Formal Specification and Verification of the pGVT Algorithm.	FME	1996	DBLP DOI BibTeX RDF
26	Babak Dehbonei, Fernando Mejia	Formal Methods in the Railways Signalling Industry.	FME	1994	DBLP DOI BibTeX RDF
26	John S. Fitzgerald, T. M. Brookes, M. A. Green, Peter Gorm Larsen	Formal and Informal Specifications of a Secure System Component: first results in a comparative study.	FME	1994	DBLP DOI BibTeX RDF
26	Anas Showk, David Szczesny, Shadi Traboulsi, Irv Badr, Maria Elizabeth Gonzalez, Attila Bilgic	Modeling LTE Protocol for Mobile Terminals Using a Formal Description Technique.	SDL Forum	2009	DBLP DOI BibTeX RDF	formal verification, formal modeling, automatic code generation, Service-Oriented applications, formal validation
26	Juliana Küster Filipe, Kung-Kiu Lau, Mario Ornaghi, Kenji Taguchi 0001, Hirokazu Yatsu, Alan Wills	Formal specification of Catalysis frameworks.	APSEC	2000	DBLP DOI BibTeX RDF	Catalysis frameworks, informal description, framework composition, formal specification, formal specification, software reuse, software reusability, object-oriented methods, component-based software development, subroutines, formal reasoning
26	Gruia-Catalin Roman	Formal Specification of Geographic Data Processing Requirements.	IEEE Trans. Knowl. Data Eng.	1990	DBLP DOI BibTeX RDF	geographic data processing requirements, modeling data, knowledge requirements, GDP requirements, GDP significance, second-order predicate calculus, logical information, high-resolution color display, formal specification, geographic information systems, logic programming, Prolog, PROLOG, time, accuracy, first-order logic, inference mechanisms, inference mechanisms, space, formal logic, prototype implementation, graphical rendering, formal foundation
25	Ridha Khédri, Imen Bourguiba	Formal Derivation of Functional Architectural Design.	SEFM	2004	DBLP DOI BibTeX RDF	architectural derivation, scenario integration, design connectors, formal architectural design, formal methods, requirements, relation algebra, Architectural design, design component
25	André Platzer, Jan-David Quesel	European Train Control System: A Case Study in Formal Verification.	ICFEM	2009	DBLP DOI BibTeX RDF	formal verification of hybrid systems, train control, parameter constraint identification, theorem proving, disturbances
25	Ying Tao, Chintan Patel, Carol Friedman, Yves A. Lussier	Issues in Representing Biological and Clinical Phenotypes Using the Formal Models.	KR-MED	2006	DBLP BibTeX RDF
25	Ariane Alves Almeida, Ana Cristina Rocha Oliveira, Thiago Mendonça Ferreira Ramos, Flávio L. C. de Moura, Mauricio Ayala-Rincón	The Computational Relevance of Formal Logic Through Formal Proofs.	FMTea	2019	DBLP DOI BibTeX RDF
25	Howard Bowman	Formal Methods Elsewhere - A Satellite Workshop of FORTE-PSTV-2000 devoted to applications of formal methods to areas other than communication protocols and software engineering.	FM-Everywhere@FORTE/PSTV	2000	DBLP DOI BibTeX RDF
25	Manfred Broy	Formal Description Techniques - How Formal and Descriptive are they?	FORTE	1996	DBLP BibTeX RDF
25	Lichen Zhang, Lihua Wang	Aspect-oriented formal specification for multimedia systems.	AICCSA	2008	DBLP DOI BibTeX RDF
25	Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson	Teaching Formal Methods Early in the Software Engineering Curriculum (panel).	CSEE&T	2000	DBLP DOI BibTeX RDF
25	Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid	On the efficiency of formal synthesis-experimental results.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1999	DBLP DOI BibTeX RDF
25	David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki, Kazuo Takaragi, Burkhart Wolff	Verifying a signature architecture: a comparative case study.	Formal Aspects Comput.	2007	DBLP DOI BibTeX RDF	Security, Model checking, Formal methods, Theorem proving, Case study, Comparison
25	Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth 0002, Steffen Schlager, Peter H. Schmitt	The KeY tool.	Softw. Syst. Model.	2005	DBLP DOI BibTeX RDF	Java, UML, Formal specification, Formal verification, Design patterns, Object-oriented design, OCL
25	Pao-Ann Hsiung, Shang-Wei Lin 0001, Chih-Hao Tseng, Trong-Yen Lee, Jih-Ming Fu, Win-Bin See	VERTAF: An Application Framework for the Design and Verification of Embedded Real-Time Software.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	embedded real-time software, scheduling, formal verification, code generation, software components, Application framework, UML modeling, formal synthesis
24	Sophia Drossopoulou, Susan Eisenbach	Describing the Semantics of Java and Proving Type Soundness.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
24	Felipe Lalanne, Stéphane Maag	From the IMS PoC service monitoring to its formal conformance testing.	Mobility Conference	2009	DBLP DOI BibTeX RDF	service implementation, testing, formal model, IMS
24	Rajeev K. Ranjan 0001, Claudionor Coelho, Sebastian Skalberg	Beyond verification: leveraging formal for debugging.	DAC	2009	DBLP DOI BibTeX RDF	behavioral indexing, post-silicon debugging, traceless debugging, formal verification, debugging, property verification
24	Mohammad Reza Nami, Mohsen Sharifi, Abbas Malekpour	A Preliminary Formal Specification of Virtual Organization Creation with RAISE Specification Language.	SERA	2007	DBLP DOI BibTeX RDF	RAISE Method, Software Engineering, Formal Methods, Virtual Organization, Collaborative Networks
24	Jerker Hammarberg, Simin Nadjm-Tehrani	Formal verification of fault tolerance in safety-critical reconfigurable modules.	Int. J. Softw. Tools Technol. Transf.	2005	DBLP DOI BibTeX RDF	Fault tolerance, FPGA, Formal verification, Safety analysis, Esterel
24	Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer	A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems
24	Jennifer Tenzer	Improving UML Design Tools by Formal Games .	ICSE	2004	DBLP DOI BibTeX RDF	Application of formal methods to software design
24	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
24	Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli	Combining UML and formal notations for modelling real-time systems.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	UML, UML, formal methods, real-time software
24	Soon-Kyeong Kim, David A. Carrington	Visualization of Formal Specifications.	APSEC	1999	DBLP DOI BibTeX RDF	Visualization, UML, Formal Specifications, Z notation
24	Patrick Heymans, Eric Dubois 0001	Scenario-Based Techniques for Supporting the Elaboration and the Validation of Formal Requirements.	Requir. Eng.	1998	DBLP DOI BibTeX RDF	Formal methods, Animation, Scenarios, Message sequence charts
24	John C. Grundy, John G. Hosking	Software Environment Support for Integrated Formal Program Specification and Development.	APSEC	1995	DBLP DOI BibTeX RDF	integrated software development, formal specification, Object-Z, software engineering environments, consistency management
24	Bernhard K. Aichernig	Mutation Testing in the Refinement Calculus.	Formal Aspects Comput.	2003	DBLP DOI BibTeX RDF	Formal specifications, Formal methods, Refinement, Abstraction, Test case generation, Mutation testing, Test coverage
24	Germán Regis, Nazareno Aguirre, T. S. E. Maibaum	Specifying and Verifying Business Processes Using PPML.	ICFEM	2009	DBLP DOI BibTeX RDF
24	Bernhard Beckert, Gerd Beuster	A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces.	ICFEM	2006	DBLP DOI BibTeX RDF
24	Ken Robinson	Embedding Formal Development in Software Engineering.	TFM	2004	DBLP DOI BibTeX RDF
24	Christopher A. Rouff, Amy Vanderbilt, Michael G. Hinchey, Walt Truszkowski, James L. Rash	Properties of a Formal Method for Prediction of Emergent Behaviors in Swarm-Based Systems.	SEFM	2004	DBLP DOI BibTeX RDF
24	Noriaki Yoshiura	Finding the Causes of Unrealizability of Reactive System Formal Specifications.	SEFM	2004	DBLP DOI BibTeX RDF
24	Raman Kazhamiakin, Marco Pistore, Marco Roveri	Formal Verification of Requirements using SPIN: A Case Study on Web Services.	SEFM	2004	DBLP DOI BibTeX RDF
24	Fei Xie, James C. Browne, Robert P. Kurshan	Translation-Based Compositional Reasoning for Software Systems.	FME	2003	DBLP DOI BibTeX RDF	Translation-based compositional reasoning, model checking, compositional reasoning, model translation
24	Mícheál Mac an Airchinnigh	Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.	FME	2001	DBLP DOI BibTeX RDF	Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
24	Claudia Pons, Gabriel Baum	Formal Foundations of Object-Oriented Modeling Notations.	ICFEM	2000	DBLP DOI BibTeX RDF
24	John A. McDermid, Andy Galloway, Simon Burton 0001, John A. Clark, Ian Toyn, Nigel J. Tracey, Samuel H. Valentine	Towards Industrially Applicable Formal Methods: Three Small Steps and One Giant Leap.	ICFEM	1998	DBLP DOI BibTeX RDF
24	John C. Knight	Challenges in the Utilization of Formal Methods.	FTRTFT	1998	DBLP DOI BibTeX RDF
24	Luong T. Nguyen, Liping Zhao 0001, Bill Appelbe	A Set Approach to Role Modeling.	TOOLS (37)	2000	DBLP DOI BibTeX RDF	set approach, role modeling techniques, role description, role binding, role constraints, set inclusion, role specialisation, role compositions, part role, set notation, dynamic description, class/role relationships, class/role structures, Object-Z-like notation, system obligations, Petri net transitions, objects/role instances, system operations, formal specification, formal method, Petri nets, object-oriented programming, object-oriented methods, set theory, EMS, graphic notations, dynamic aspects, set operations, set intersection, formal notation, set union, set unions, set difference
24	William G. Howerton, Michael G. Hinchey	Using the Right Tool for the Job.	ICECCS	2000	DBLP DOI BibTeX RDF	integration phases, development technique, informal specification techniques, abstract highly structured models, rigorous analysis, Air Force Weather Agency Standard Degribber, meteorological system, data decoding/encoding, World Meteorological Organization, standard Gridded Binary format, state based issues, complete specification, tool box approach, UML, formal specification, formal methods, semantics, software specification, specification technique, formal notation, modular approach, component specification, complex systems development
24	Charles Pecheur	Specification and Verification of the Co4 Distributed Knowledge System using LOTOS.	ASE	1997	DBLP DOI BibTeX RDF	Co/sub 4/ distributed knowledge system, consensual decision protocol, distributed knowledge base, ISO formal description technique, knowledge consistency, verification, formal specification, formal specification, safety, LOTOS, liveness properties
24	Zuan Zhang	An approach to hierarchy model checking via evaluating CTL hierarchically.	Asian Test Symposium	1995	DBLP DOI BibTeX RDF	hierarchy model checking, CTL specifications, computational complexity, formal specification, formal verification, Symbolic Model Checking, formal logic, CTL, logic partitioning, hierarchical systems, Computational Tree Logic, local properties
24	Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb	Design and Specification of Iterators Using the Swapping Paradigm.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages
24	Nancy G. Leveson, Mats Per Erik Heimdahl, Holly Hildreth, Jon Damon Reese	Requirements Specification for Process-Control Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	aircraft instrumentation, example application, industrial aircraft collision avoidance system, TCAS II, example specification, formal requirements specification, formal specification, reverse engineering, specification languages, specification language, formal model, requirements specification, process control, aerospace computing, process-control systems, position control, process computer control
24	Venkatesh Akella, Ganesh Gopalakrishnan	Specification and Validation of Control-Intensive IC's in hopCP.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	control-intensive integrated circuits, hopCP, asynchronous operations, multiple concurrent threads, Intel 8251, Universal Synchronous/Asynchronous Receiver/Transmitter, USART, synchronous message passing, distributed shared variables, asynchronous ports, compiled-code concurrent functional simulator, CFSIM, formal specification, formal methods, formal verification, specification, validation, message passing, specification languages, interrupt, digital simulation, hardware description language, microprocessor chips, hardware design, polling, computational requirements, synchronous operations
24	Dan Paulson, Yair Wand	An Automated Approach to Information Systems Decomposition.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	automated approach, information systems decomposition, formal specification scheme, experimental computerized systems analysis tools, standard problem, computational complexity, complexity, formal specification, software tools, systems analysis, heuristic rules, formal definition
24	Fevzi Belli, Karl-Erwin Großpietsch	Specification of Fault-Tolerant System Issues by Predicate/Transition Nets and Regular Expressions-Approach and Case Study.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	fault tolerance properties, formal overview, sequential behavior, single-system components, model layers, stepwise-refined specification, multistory shelving system model, formal specification, formal specification, Petri nets, fault tolerant computing, software reliability, redundancy, error detection, regular expressions, system behavior, complex software systems, predicate/transition net, system description
24	Deepinder P. Sidhu, Carole S. Crall	Executable Logic Specifications for Protocol Service Interfaces.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	executable logic specifications, protocol service interfaces, formal modeling technique, logic-programming-based language, protocol layers, protocol standards, ISO/OSI, protocols, Prolog, PROLOG, specification languages, correctness, formal language, formal languages, transport layer
24	Ingo Feinerer, Gernot Salzer	A comparison of tools for teaching formal software verification.	Formal Aspects Comput.	2009	DBLP DOI BibTeX RDF	Formal software verification, Frege Program Prover, Key system, Perfect developer, Prototype verification system
24	Hans Langmaack	On Revival of Algol-Concepts in Modern Programming and Specification Languages.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	block concept, formal procedure, structural simulation, Abstract State Machine ASM, recursive procedure and rule, Java, verification, semantics, Programming language, specification language, object, Algol, class
24	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 Syst. Des.	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
24	Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas	Formal Verification of a Complex Pipelined Processor.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	completion functions, formal verification, PVS, processor verification
24	Martin Große-Rhode	Compositional Comparison of Formal Software Specifications Using Transformation Systems.	Formal Aspects Comput.	2002	DBLP DOI BibTeX RDF	Formal specification, Integration, Consistency, Compositionality
24	Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm	Investigating the Integration of two Formal Methods.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Heterogeneous development, Formal specification, Translation, Tool support, B, VDM
24	David M. Williams, Helen Treharne, Anthony T. S. Ho, Chris Culnane	Using a formal analysis technique to identify an unbinding attack on a buyer-seller watermarking protocol.	MM&Sec	2008	DBLP DOI BibTeX RDF	buyer-seller watermarking protocol, customer's rights, unbinding, formal model, csp, formal analysis
24	Andrea Matta, Matteo Rossi 0001, 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
24	Peter Frey, Radharamanan Radhakrishnan, Harold W. Carter, Philip A. Wilsey, Perry Alexander	A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	formal specification, formal verification, theorem proving, time warp, parallel discrete event simulation
24	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
24	Hubert Garavel, César Viho, Massimo Zendri	System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation.	Int. J. Softw. Tools Technol. Transf.	2001	DBLP DOI BibTeX RDF	Verification, Formal specification, Testing, Formal methods, Validation, Code generation, Computer architecture, Test generation, Rapid prototyping, Process algebra, Conformance testing, Cache coherency, System level design, Co-design, lotos, Hardware design, Co-simulation, numa, cc-numa
24	Eckhard Pflügel	Effective Formal Reduction of Linear Differential Systems.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Linear Differential Systems, Formal Solutions, Formal Invariants, Newton Polygon
24	Shuguang Li, Qing Jiang, Chris George	Combining case-based and model-based reasoning: a formal specification.	APSEC	2000	DBLP DOI BibTeX RDF	generalised design information, rule language, formal specification, formal specification, data structures, retrieval, selection, case-based reasoning, case-based reasoning, model-based reasoning, model-based reasoning, intelligent design assistants, abstraction mechanism
24	Christopher A. Rouff, James L. Rash, Michael G. Hinchey	Experience Using Formal Methods for Specifying a Multi-Agent System.	ICECCS	2000	DBLP DOI BibTeX RDF	multi-agent system specification, Lights Out Ground Operations System, prototype multi agent system, satellite ground operations functions, NASA Goddard Space Flight Center, GSFC, specification exercise, specification process, sample specification, formal specification, formal methods, deadlocks, race conditions, LOGOS, omissions, development team
24	Shaoying Liu, Masashi Asuka, Kiyotoshi Komaya, Yasuaki Nakamura	An Approach to Specifying and Verifying Safety-Critical Systems with Practical Formal Method SOFL.	ICECCS	1998	DBLP DOI BibTeX RDF	railway crossing controller, verification, formal specification, formal methods, Safety-critical systems, functional requirements, safety requirements
24	Jonathan P. Bowen, Michael G. Hinchey	The use of industrial-strength formal methods.	COMPSAC	1997	DBLP DOI BibTeX RDF	industrial-strength formal methods, formal specification
24	Klaas Brink, Jan van Katwijk, Ronald F. Lutje Spelberg, W. J. Toetenel	Experiences with analysis of formal specifications in Astral.	RTCSA	1997	DBLP DOI BibTeX RDF	temporal properties verification, simulation, formal specification, formal specifications, prototyping, specification language, timed automata, timing analysis, requirements specification, real-time software, Astral
24	Klaas Brink, Jan van Katwijk, W. J. Toetenel	Ada 95 as implementation vehicle for formal specifications.	RTCSA	1996	DBLP DOI BibTeX RDF	implementation vehicle, transformation steps, real-time systems, formal specification, formal specifications, Ada 95, system requirements
24	Dan Craigen, Susan L. Gerhart, Ted Ralston	Formal Methods Reality Check: Industrial Usage.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	real-time systems, Formal methods, formal verification, safety-critical systems, industrial applications, validation and verification, technology assessment
24	Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke	Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS.	IEEE Trans. Software Eng.	1995	DBLP DOI BibTeX RDF	verification systems, fault tolerance, formal specification, formal methods, theorem proving, clock synchronization, PVS, Byzantine agreement, hardware verification, flight control
24	Jan van Katwijk, W. J. Toetenel	Comparing formal specifications by measuring.	RTCSA	1995	DBLP DOI BibTeX RDF	formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses
24	Friedrich L. Bauer, Bernhard Möller, Helmuth Partsch, Peter Pepper	Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	program construction by transformations, formal problem specification, Munich project CIP, computer-aided intuition-guided programming, software engineering, formal specification, software development, transformation rules, wide-spectrum language, transformational programming
24	Shuly Wintner, Alon Lavie, Brian MacWhinney	Formal Grammars of Early Language.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
24	Daniel Le Métayer	A Formal Privacy Management Framework.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
24	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
24	Martin Penicka	Formal Approach to Railway Applications.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF	Technique Integration, Planning, Control, Signalling, Timetabling, Railways, Rostering, Interlocking
24	Santiago Zanella Béguelin, Gustavo Betarte, Carlos Luna 0001	A Formal Specification of the MIDP 2.0 Security Model.	Formal Aspects in Security and Trust	2006	DBLP DOI BibTeX RDF
24	Lotfi Lakhal, Gerd Stumme	Efficient Mining of Association Rules Based on Formal Concept Analysis.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
24	Wolfgang Hesse, Thomas Tilley	Formal Concept Analysis Used for Software Analysis and Modelling.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
24	Rob Delicata, Steve A. Schneider	A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
24	Susan Pancho-Festin, Dieter Gollmann	On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol.	Formal Aspects in Security and Trust	2005	DBLP DOI BibTeX RDF
24	William H. Sanders, John F. Meyer	Stochastic Activity Networks: Formal Definitions and Concepts.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
24	Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou	Secure Interoperation of Secure Distributed Databases.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	César A. Muñoz, John M. Rushby	Structural Embeddings: Mechanization with Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier	IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Nisse Husberg, Tapio Manner	Emma: Developing an Industrial Reachability Analyser for SDL.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers	A Business Process Design Language.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	H. B. M. Jonkers	Communication and Synchronisation Using Interaction Objects.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright	Reasoning About Interactive Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Heike Wehrheim	Data Abstraction for CSP-OZ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF