Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Pascal Poizat, Christine Choppy, Jean-Claude Royer	From Informal Requirements to COOP: A Concurrent Automata Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	object oriented (Java) code generation, automata, Concurrent systems, specification method
24	Shin Nakajima 0001	Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Irina M. Smarandache, Thierry Gautier, Paul Le Guernic	Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Richard Verhoeven, Roland Carl Backhouse	Interfacing Program Construction and Verification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar	A Translation of Statecharts to Esterel.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
24	Thierry Lecomte	Applying a Formal Method in Industry: A 15-Year Trajectory.	FMICS	2009	DBLP DOI BibTeX RDF	B formal method, deployment, industry
24	Nassima Izerrouken, Marc Pantel, Xavier Thirioux	Machine-Checked Sequencer for Critical Embedded Code Generator.	ICFEM	2009	DBLP DOI BibTeX RDF	block sequencing, software engineering, formal verification, automatic code generator, Coq proof assistant
24	Oliver Au, Roger G. Stone, John Cooke	Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.	IFM	2007	DBLP DOI BibTeX RDF	precise scenario, formal method, use case, requirements specification, Z notation
24	Adrian E. Seigler, Gary A. Van Huben, Hari Mony	Formal Verification of Partial Good Self-Test Fencing Structures.	FMCAD	2007	DBLP DOI BibTeX RDF	fencing, formal verification, self test
24	Matteo Baldoni, Cristina Baroglio, Alberto Martelli, Viviana Patti, Claudio Schifanella	Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step.	EPEW/WS-FM	2005	DBLP DOI BibTeX RDF	web service interaction protocols, formal verification, conformance test, finite state automata
24	Jean-Christophe Filliâtre, Claude Marché	Multi-prover Verification of C Programs.	ICFEM	2004	DBLP DOI BibTeX RDF	pointer programs, formal verification and proof, Hoare logic, C programming language
24	Pawel Rychwalski, Jacek Wytrebowicz	UNIX STREAMS Generation from a Formal Specification.	FORTE	2003	DBLP DOI BibTeX RDF	Unix STREAMS, automatic code generation, formal description techniques, Estelle
24	Gwen Salaün, J. Christian Attiogbé	Formalising an Integrated Language in PVS.	ICFEM	2003	DBLP DOI BibTeX RDF	Formal Method Integration, Equivalence Proof, Embedding, Process Algebra, Algebraic Specifications, PVS
24	Kouichi Kishida	Looking Back to the Future: Thoughts on Paradigm Shift in Software Development.	FME	2003	DBLP DOI BibTeX RDF	philosophical thoughts, software engineering, formal method, object orientation, paradigm shift
24	Marco Bozzano, Antonella Cavallo, Massimo Cifaldi, Laura Valacca, Adolfo Villafiorita	Improving Safety Assessment of Complex Systems: An Industrial Case Study.	FME	2003	DBLP DOI BibTeX RDF	Formal Verification and Safety Assessment of Complex Systems, Automated Fault Tree Computation, ESACS
24	Shengchao Qin, Jin Song Dong, Wei-Ngan Chin	A Semantic Foundation for TCOZ in Unifying Theories of Programming.	FME	2003	DBLP DOI BibTeX RDF	UTP, integrated formal specifications, semantics
24	Sergiu Dascalu, Peter Hitchcock	An approach to integrating semi-formal and formal notations in software specification.	SAC	2002	DBLP DOI BibTeX RDF	Z++, integration of notations, UML, UML, formal methods, object-oriented modeling
24	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
24	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
24	Thomas Arts, Clara Benac Earle, John Derrick	Verifying Erlang Code: A Resource Locker Case-Study.	FME	2002	DBLP DOI BibTeX RDF	Model checking, formal verification, process algebra, telecommunication, Erlang
24	Nancy G. Leveson	Completeness in formal specification language design for process-control systems.	FMSP	2000	DBLP DOI BibTeX RDF	completeness, process-control, Formal specification language
24	Kirsten Mark Hansen	Validation of a Railway Interlocking Model.	FME	1994	DBLP DOI BibTeX RDF	Application of formal methods, simulation, model validation, railway interlocking
23	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
23	Shmuel Katz	Aspects and Formal Methods.	FM	2008	DBLP DOI BibTeX RDF	model-checking, specification, interference, detection, Aspects
23	Martin de Groot	Integrating Formal Methods with System Management.	ICFEM	2007	DBLP DOI BibTeX RDF
23	Jeremy W. Bryans, John S. Fitzgerald	Formal Engineering of XACML Access Control Policies in VDM++.	ICFEM	2007	DBLP DOI BibTeX RDF
23	Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié	From Model-Based Design to Formal Verification of Adaptive Embedded Systems.	ICFEM	2007	DBLP DOI BibTeX RDF
23	Zarrin Langari, Richard J. Trefler	Formal Modeling of Communication Protocols by Graph Transformation.	FM	2006	DBLP DOI BibTeX RDF
23	Sandrine Blazy, Xavier Leroy	Formal Verification of a Memory Model for C-Like Imperative Languages.	ICFEM	2005	DBLP DOI BibTeX RDF
23	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	How Symbolic Animation Can Help Designing an Efficient Formal Model.	ICFEM	2005	DBLP DOI BibTeX RDF	Symbolic animation, properties detection, weak invariant, strong preconditions, unreachable effects, constraints
23	Anthony Hall	Realising the Benefits of Formal Methods.	ICFEM	2005	DBLP DOI BibTeX RDF
23	Marie-Claude Gaudel	Formal Methods and Testing: Hypotheses, and Correctness Approximations.	FM	2005	DBLP DOI BibTeX RDF
23	Henri Habrias, Sébastien Faucou	Linking Paradigms, Semi-formal and Formal Notations.	TFM	2004	DBLP DOI BibTeX RDF
23	Zhiming Liu 0001, Jifeng He 0001, Xiaoshan Li, Yifeng Chen	A Relational Model for Formal Object-Oriented Requirement Analysis in UML.	ICFEM	2003	DBLP DOI BibTeX RDF	UML, Object-orientation, conceptual models, use-cases, requirement specification
23	Jessica Chen	Formal Modelling of Java GUI Event Handling.	ICFEM	2002	DBLP DOI BibTeX RDF	Java Swing and AWT, Model Checking, Concurrency, Nondeterminism, Labelled Transition Systems
23	M. Hasan Zobair, Sofiène Tahar	Formal Verification of a SONET Telecom System Block.	ICFEM	2002	DBLP DOI BibTeX RDF
23	Abhik Roychoudhury	Formal Reasoning about Hardware and Software Memory Models.	ICFEM	2002	DBLP DOI BibTeX RDF
23	Néstor Cataño, Marieke Huisman	Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.	FME	2002	DBLP DOI BibTeX RDF	ESC/Java, Java, specification, smart cards, static checking
23	Odile Laurent, Pierre Michel, Virginie Wiels	Using Formal Verification Techniques to Reduce Simulation and Test Effort.	FME	2001	DBLP DOI BibTeX RDF
23	Manfred Broy, Oscar Slotosch	Enriching the Software Development Process by Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
23	Jean-Charles Grégoire	TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations.	FME	1997	DBLP DOI BibTeX RDF	keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA
23	Juan Bicarregui, Jeremy Dick, Eoin Woods	Quantitative Analysis of an Application of Formal Methods.	FME	1996	DBLP DOI BibTeX RDF
23	Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena	A Formal Approach to Architectural Design Patterns.	FME	1996	DBLP DOI BibTeX RDF
23	Roberto Souto Maior de Barros	Deriving Relational Database Programs from Formal Specifications.	FME	1994	DBLP DOI BibTeX RDF
23	John A. Keane, Jin Sa, Brian Warboys	Applying a Concurrent Formal Framework to Process Modelling.	FME	1994	DBLP DOI BibTeX RDF
23	Joshua D. Guttman, Dale M. Johnson	Three Applications of Formal Methods at MITRE.	FME	1994	DBLP DOI BibTeX RDF
23	Debora Weber-Wulff	Selling Formal Methods to Industry.	FME	1993	DBLP DOI BibTeX RDF
23	Dan Craigen, Susan L. Gerhart, Ted Ralston	Formal Methods Reality Check: Industrial Usage.	FME	1993	DBLP DOI BibTeX RDF
23	Sam Owre, John M. Rushby, Natarajan Shankar, Friedrich W. von Henke	Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned.	FME	1993	DBLP DOI BibTeX RDF
23	Jim Davies, Tomasz Janowski, Adegboyega K. Ojo, Aadya Shukla	Technological foundations of electronic governance.	ICEGOV	2007	DBLP DOI BibTeX RDF	electronic governance, formal techniques
23	Ariel Fuxman, Lin Liu 0001, John Mylopoulos, Marco Roveri, Paolo Traverso	Specifying and analyzing early requirements in Tropos.	Requir. Eng.	2004	DBLP DOI BibTeX RDF	Early requirements specifications, Model checking, Formal methods
23	Stefan Hallerstede, Michael Leuschel	How to Explain Mistakes.	TFM	2009	DBLP DOI BibTeX RDF
23	Dubravka Ilic	Deriving Formal Specifications from Informal Requirements.	COMPSAC (1)	2007	DBLP DOI BibTeX RDF
23	Martin Kardos, Franz J. Rammig	Model Based Formal Verification of Distributed Production Control Systems.	SoftSpez Final Report	2004	DBLP DOI BibTeX RDF
23	Freek Wiedijk	Formal Proof Sketches.	TYPES	2003	DBLP DOI BibTeX RDF
23	Kokichi Futatsugi	Formal Methods in CafeOBJ.	FLOPS	2002	DBLP DOI BibTeX RDF
23	Nancy G. Leveson	Experiences in Designing and Using Formal Specification Languages for Embedded Control Software.	HSCC	2000	DBLP DOI BibTeX RDF
23	Frank van Harmelen, Manfred Aben, Fidel Ruiz, Joke van de Plassche	Evaluating a Formal KBS Specification Language.	IEEE Expert	1996	DBLP DOI BibTeX RDF
22	Peter Csaba Ölveczky, José Meseguer 0001, Carolyn L. Talcott	Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	Real-time systems, Active networks, Formal analysis, Rewriting logic, Object-oriented specification, Multicast protocols
22	J. J. T. Kleijn, Michel A. Reniers, Jacobus E. Rooda	Analysis of an Industrial System.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	verification, formal methods, process algebra, industrial systems
22	Daniel Jackson 0001, Kevin J. Sullivan	COM revisited: tool-assisted modelling of an architectural framework.	SIGSOFT FSE	2000	DBLP DOI BibTeX RDF	Microsoft COM, formal specification, formal methods, architectural style, alloy, integration frameworks, constraint solver
22	Victor L. Winter	Software on the edge.	HASE	1996	DBLP DOI BibTeX RDF	formal specification, formal methods, software reliability, software reliability, software component, safety-critical applications, systems failure
22	Gruia-Catalin Roman, C. Donald Wilcox	Architecture-Directed Refinement.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	architectural constraints, program derivation process, architecture-directed refinement, software engineering, formal specification, parallel programming, formal methods, specification, parallel architectures, correctness, design process, concurrent systems, program refinements
22	Sandeep K. Shukla, Michael Theobald	Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF
22	Peter Becker 0002, Joachim Hereth Correia	The ToscanaJ Suite for Implementing Conceptual Information Systems.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
22	Bernhard Ganter	Contextual Attribute Logic of Many-Valued Attributes.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
22	Richard F. Paige	Heterogeneous Notations for Pure Formal Method Integration.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Refinement, Method integration, Heterogeneous specification
22	Bernhard Möller	Algebraic Calculation of Graph and Sorting Algorithms (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
22	Philippe A. Palanque, Marco Winckler, Jean-François Ladry, Maurice H. ter Beek, Giorgio P. Faconti, Mieke Massink	A formal approach supporting the comparative predictive assessment of the interruption-tolerance of interactive systems.	EICS	2009	DBLP DOI BibTeX RDF	performance evaluation, human computer interaction, interruptions, formal description techniques, model-based approaches
22	Nida Meddouri, Mondher Maddouri	Boosting Formal Concepts to Discover Classification Rules.	IEA/AIE	2009	DBLP DOI BibTeX RDF	Data mining, Machine Learning, Boosting, Classification rules, Formal Concept
22	Judy Bowen, Steve Reeves	Formal models for user interface design artefacts.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	User interfaces, Formal methods, Refinement, User-centred design
22	Antonio Maña, Gimena Pujol	Towards Formal Specification of Abstract Security Properties.	ARES	2008	DBLP DOI BibTeX RDF	Formal Models, Security Properties, Proof assistants
22	Achyanta Sarmah, Shyamanta M. Hazarika, Smriti Kumar Sinha	Security Pattern Lattice: A Formal Model to Organize Security Patterns.	DEXA Workshops	2008	DBLP DOI BibTeX RDF	trust, scaling, formal concept analysis, concept lattice, security pattern
22	Christopher J. Matheus, Mieczyslaw M. Kokar, Robert Dionne	A Demonstration of Formal Policy Reasoning Using an Extended Version of BaseVISor.	POLICY	2008	DBLP DOI BibTeX RDF	formal policy processing, ontologies, automated reasoning
22	Raj S. Mitra	Strategies for mainstream usage of formal verification.	DAC	2008	DBLP DOI BibTeX RDF	formal verification, emerging technologies
22	Alper Sen 0001, Vijay K. Garg	Formal Verification of Simulation Traces Using Computation Slicing.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
22	Judy Bowen, Steve Reeves	Using formal models to design user interfaces: a case study.	BCS HCI (1)	2007	DBLP DOI BibTeX RDF	formal methods, user-centred design, software design process
22	Christopher A. Rouff, Michael G. Hinchey, Walter Truszkowski, James L. Rash	Experiences applying formal approaches in the development of swarm-based space exploration systems.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Verification, Formal methods, Validation, Swarm
22	Hana Chockler, Orna Kupferman, Moshe Y. Vardi	Coverage metrics for formal verification.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Algorithms, Model checking, Formal verification, Coverage metrics
22	Chunyang Yuan, Yeping He, Jianbo He, Zhouyi Zhou	A Verifiable Formal Specification for RBAC Model with Constraints of Separation of Duty.	Inscrypt	2006	DBLP DOI BibTeX RDF	Verification, Formal Specification, RBAC, Separation of Duty
22	Liuying Tang, Sihan Qing	A Practical Alternative to Domain and Type Enforcement Integrity Formal Models.	Inscrypt	2006	DBLP DOI BibTeX RDF	security goal, integrity, information flow, formal model, Security label
22	Yuichi Komano, Kazuo Ohta, Atsushi Shimbo, Shin-ichi Kawamura	Formal Security Model of Multisignatures.	ISC	2006	DBLP DOI BibTeX RDF	multisignature scheme, claw-free permutation, random oracle model, formal security model
22	Ming-Wen Shao, Min Liu 0013, Wen-Xiu Zhang	Rough Fuzzy Set Approximations in Fuzzy Formal Contexts.	RSCTC	2006	DBLP DOI BibTeX RDF	rough sets, concept lattices, Approximation operators, formal concepts
22	Shmuel Katz	Rigorous Fault Tolerance Using Aspects and Formal Methods.	RODIN Book	2006	DBLP DOI BibTeX RDF	fault tolerance, formal methods, aspect orientation
22	Zarrin Langari, Anne Banks Pidduck	Quality, cleanroom and formal methods.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	cleanroom, formal methods, software quality
22	Nyeint Nyeint Myat, Khin Haymar Saw Hla	A Combined Approach of Formal Concept Analysis and Text Mining for Concept Based Document Clustering.	Web Intelligence	2005	DBLP DOI BibTeX RDF	conceptual document clustering, frequent termsets, correlation, formal concept analysis (FCA), association
22	Santiago Escobar 0001, Catherine Meadows 0001, José Meseguer 0001	A rewriting-based inference system for the NRL protocol analyzer: grammar generation.	FMSE	2005	DBLP DOI BibTeX RDF	formal methods, protocol verification, rewriting logic
22	Alberto Verdejo, Narciso Martí-Oliet, Tomás Robles 0001, 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
22	Rajeev Alur, David Arney, Elsa L. Gunter, Insup Lee 0001, Jaime Lee, Wonhong Nam, Frederick Pearce, Stephen Van Albert, Jiaxiang Zhou	Formal specifications and analysis of the computer-assisted resuscitation algorithm (CARA) Infusion Pump Control System.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	CARA system, Requirements formalization, Formal methods, Safety-critical systems, Software verification
22	Mohamed Shehata, Armin Eberlein, Abraham O. Fapojuwo	IRIS: A Semi-Formal Approach for Detecting Requirements Interactions.	ECBS	2004	DBLP DOI BibTeX RDF	Requirements interactions, Semi-formal approaches, Requirements engineering, IRIS
22	Tao Song, Calvin Ko, Jim Alves-Foss, Cui Zhang, Karl N. Levitt	Formal Reasoning About Intrusion Detection Systems.	RAID	2004	DBLP DOI BibTeX RDF	verification, formal method, Intrusion detection, security policy
22	Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Eric Torreborre	Mastering Test Generation from Smart Card Software Formal Models.	CASSIS	2004	DBLP DOI BibTeX RDF	boundary testing, smart card standard, formal specifications, functional testing, Automated test generation
22	Elena Troubitsyna	Integrating Safety Analysis into Formal Specification of Dependable Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	failure mode and effect analysis, formal specification, statecharts, actions systems
22	Omer Horvitz, Virgil D. Gligor	Weak Key Authenticity and the Computational Completeness of Formal Encryption.	CRYPTO	2003	DBLP DOI BibTeX RDF	Weak Key Authenticity, Authentication, Cryptography, Encryption, Completeness, Formal Reasoning
22	Euclid Keramopoulos, Philippos Pouyioutas, Tasos Ptohos	A Formal Definition of the Users View (UV) of the Graphical Object Query Language (GOQL).	IV	2002	DBLP DOI BibTeX RDF	Object-Oriented Databases, Formal Definition, Graphical Query Languages
22	Guy Tremblay	Formal Methods: Mathematics, Computer Science, or Software Engineering?	CSEE&T	2000	DBLP DOI BibTeX RDF	software engineering, Formal methods
22	Atsushi Togashi, Xiaosong Lu, Fumiaki Kanezashi	System Requirements and Formal Specifications of Hierarchical Reactive Systems.	ICPADS	2000	DBLP DOI BibTeX RDF	Formal Specification, Reactive System, System Requirement, State Transition System, Soundness and Completeness
22	Emanuele Ciapessoni, Piergiorgio Mirandola, Alberto Coen-Porisini, Dino Mandrioli, Angelo Morzenti	From Formal Models to Formally Based Methods: An Industrial Experience.	ACM Trans. Softw. Eng. Methodol.	1999	DBLP DOI BibTeX RDF	supervision and control, object orientation, specification, formal models, technology transfer, industrial applications
22	Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton	Experiences Using Lightweight Formal Methods for Requirements Modeling.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	fault protection software, formal methods, verification and validation, Software requirements, NASA
22	Steven Bradley, William Henderson, David Kendall, Adrian Robson, Stephen Hawkes	A Formal Design and Implementation Method for Real-Time Embedded Systems.	EUROMICRO	1996	DBLP DOI BibTeX RDF	real-time system development, AORTA, development life cycle, real-time systems, real-time systems, verification, real-time embedded systems, formal designs