Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
28	Isabelle Attali, Denis Caromel, Andrew L. Wendelborn	From a formal dynamic semantics of Sisal to a Sisal environment.	HICSS (2)	1995	DBLP DOI BibTeX RDF	formal dynamic semantics, Sisal environment, Sisal 2.0, structural operational style, Typoi inference rules, Centaur system, generic specification environment, strongly typed language, single assignment language, vector machines, formal specification, parallel programming, software tools, multiprocessors, programming environments, parallel languages, parallel processors, Sisal, Natural Semantics, formal definition, dataflow machines
28	Laurent Mazaré	Decidability of Opacity with Non-Atomic Keys.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
28	Hanan Lutfiyya, Bruce M. McMillin, Alan Su	Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Concurrent Program Verification, Changeling, Fault Tolerance, Formal Methods, Distributed Databases, Transformation, Executable Assertions
28	Andreas Bollin	Slice-based Formal Specification Measures - Mapping Coupling and Cohesion Measures to Formal Z.	NASA Formal Methods	2010	DBLP BibTeX RDF
28	Matthew L. Bolton, Ellen J. Bass	Building a Formal Model of a Human-interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering.	NASA Formal Methods	2009	DBLP BibTeX RDF
28	Frédéric Cuppens, Nora Cuppens-Boulahia, Thierry Sans, Alexandre Miège	A Formal Approach to Specify and Deploy a Network Security Policy.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
28	Jan Cederquist, Muhammad Torabi Dashti	Formal Analysis of a Fair Payment Protocol.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
28	Andre Wong, Marsha Chechik	Formal Modeling in a Commercial Setting: A Case Study.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever	Formal Justification of the Rely-Guarantee Paradigm for Shared-Variable Concurrency: A Semantic Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Anne E. Haxthausen, Jan Peleska 0001	Formal Development and Verification of a Distributed Railway Control System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Shaoying Liu	Verifying Consistency and Validity of Formal Specifications by Testing.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Henri Habrias, Pascal Poizat, Jean-Yves Lafaye	A Study of Collaborative Work: Answers to a Test on Formal Specification in B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Dan Zhou, Shiu-Kai Chin	Formal Analysis of a Secure Communication Channel: Secure Core-Email Protocol.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	John M. Rushby	Mechanized Formal Methods: Where Next?	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	João Pedro Sousa, David Garlan	Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Johann Hörl, Bernhard K. Aichernig	Formal Specification of a Voice Communication System Used in Air Traffic Control.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
28	Werner Kuich	Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata.	Handbook of Formal Languages (1)	1997	DBLP DOI BibTeX RDF
28	Mihaly Lenart, Peter Padawitz, Ana Pasztor	Formal specification for design automation.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
28	Kenneth N. Brown, Chris A. McMahon, J. H. Sims Williams	A formal language for the design of manufacturable objects.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
28	L. K. Alberts	A sharable ontology for the formal representation of engineering-design knowledge.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
28	Ömer Akin	Formal representation of meaning in architecture.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
28	John S. Gero	Formal design methods for computer-aided design.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
28	L. K. Alberts	Discussion: What is a formal representation and what is it good for?.	Formal Design Methods for CAD	1994	DBLP BibTeX RDF
28	Norman E. Fenton	Software Measurement: Why a Formal Approach?	Formal Aspects of Measurement	1991	DBLP BibTeX RDF
28	Hans Toetenel, Jan van Katwijk, Nico Plat	Structured analysis - formal design, using stream and object oriented formal specifications.	Formal Methods in Software Development	1990	DBLP DOI BibTeX RDF
28	Eike Best, Raymond R. Devillers	Interleaving and partial orders in concurrency: a formal comparison.	Formal Description of Programming Concepts	1987	DBLP BibTeX RDF
28	Jan A. Bergstra, Jan Willem Klop	Formal Proof Systems for Program Equivalence.	Formal Description of Programming Concepts	1982	DBLP BibTeX RDF
28	Maarten M. Fokkinga	Axiomatization of Declarations and the Formal Treatment of an Escape Construct.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
28	Eric R. Anderson 0001, Frank C. Belz, Edward K. Blum	Issues in the Formal Specifications of Programming Languages.	Formal Description of Programming Concepts	1977	DBLP BibTeX RDF
27	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
27	Maria-Cristina V. Marinescu, Martin C. Rinard	A Formal Framework for Modular Synchronous System Design.	FME	2003	DBLP DOI BibTeX RDF	modular, system design, asynchronous, formal
27	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
27	Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß	Formal Verification of Transformations for Peephole Optimization.	FME	1997	DBLP DOI BibTeX RDF	reusability of specifications, formal verification, transformations, higher-order logic
27	Radim Belohlávek, Vladimir Sklenar, Jiri Zacpal	Crisply Generated Fuzzy Concepts.	ICFCA	2005	DBLP DOI BibTeX RDF
27	Michael Jackson 0001	The Name and Nature of Software Engineering.	Lipari Summer School	2007	DBLP DOI BibTeX RDF	Component structure, non-formal, normal design, problem world, radical design, formal, software-intensive systems, specialisation
27	Changlong Zhu, Rasha Morsi	Formal specification of FFHMIPv6 using PVS.	SpringSim	2009	DBLP BibTeX RDF	FFHMIPv6 packets, formal methods, handover, PVS
27	Ling Wei, Jian-Jun Qi, Wen-Xiu Zhang	Attribute reduction theory of concept lattice based on decision formal contexts.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	decision formal context, implication mapping, concept lattice, attribute reduction, discernibility matrix
27	Nurlida Basir, Ewen Denney, Bernd Fischer 0002	Constructing a Safety Case for Automatically Generated Code from Formal Program Verification Information.	SAFECOMP	2008	DBLP DOI BibTeX RDF	Goal Structuring Notation, Hoare logic, fault tree analysis, Automated code generation, safety case, formal program verification
27	Smriti Kumar Sinha, Azzedine Benameur	A formal solution to rewriting attacks on SOAP messages.	SWS	2008	DBLP DOI BibTeX RDF	context-free signature, context-sensitive signature, regular tree grammar, xml rewriting attacks, security, formal methods, soap
27	Tian Zhang 0001, Frédéric Jouault, Jean Bézivin, Jianhua Zhao	A MDE Based Approach for Bridging Formal Models.	TASE	2008	DBLP DOI BibTeX RDF	formal methods, MDE
27	Andrew U. Frank	Towards a Mathematical Theory for Snapshot and Temporal Formal Ontologies.	AGILE Conf.	2007	DBLP DOI BibTeX RDF	temporal ontology, functional representation of ontological committment, ontology, Interoperability, logic, temporal, formal ontology
27	James F. Davis	The affordable application of formal methods to software engineering.	SIGAda	2005	DBLP DOI BibTeX RDF	trust, correctness, proven, engineering, formal
27	Wing Lok Yeung, Karl R. P. H. Leung	A Synergistic Interweaving of Formal and Informal Methods.	COMPSAC	2003	DBLP DOI BibTeX RDF	Informal Methods, JSD, Formal Methods, CSP, Structured Methods, Method Integration
27	Michael Backes 0001, Matthias Schunter	From absence of certain vulnerabilities towards security proofs: pushing the limits of formal verification.	NSPW	2003	DBLP DOI BibTeX RDF	formal methods, cryptography
27	Robert Darimont, Axel van Lamsweerde	Formal Refinement Patterns for Goal-Driven Requirements Elaboration.	SIGSOFT FSE	1996	DBLP DOI BibTeX RDF	goal-drive requirements engineering, reuse of specifications and proof, formal methods, design patterns, refinement
26	Shoham Ben-David, Cindy Eisner, Daniel Geist, Yaron Wolfsthal	Model Checking at IBM.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	model checking, formal methods, formal verification
26	Peter Csaba Ölveczky, Stian Thorvaldsen	Formal Modeling and Analysis of the OGDC Wireless Sensor Network Algorithm in Real-Time Maude.	FMOODS	2007	DBLP DOI BibTeX RDF
26	Baowen Xu, Yingzhou Zhang, Yanhui Li	Retrospect and Prospect of Formal Methods Education in China.	TFM	2004	DBLP DOI BibTeX RDF
26	Silvio Valentini	On the formal points of the formal topology of the binary tree.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
26	Mark R. Blackburn, Robert Busser	Requirements for Industrial-Strength Formal Method Tools.	WIFT	1998	DBLP DOI BibTeX RDF
26	Phillip Baraona, Perry Alexander	Representing abstract architectures with axiomatic specifications and activation conditions.	ECBS	1997	DBLP DOI BibTeX RDF	abstract architectures representation, activation conditions, VSPEC, Larch interface language, axiomatic style, formal specification, VHDL, formal semantics, formal analysis, axiomatic specifications
26	Ramesh Achuthan, Vangalur S. Alagar, Thiruvengadam Radhakrishnan	An object-oriented modeling of real-time robotic assembly system.	ICECCS	1995	DBLP DOI BibTeX RDF	maintenance engineering, industrial manipulators, real-time robotic assembly system, object-oriented-formal modeling, independent components, modular components, real-time systems, formal verification, formal verification, validation, system design, object-oriented methods, system model, manipulators, assembling, reusable components, system requirements, system maintenance, control system CAD, control engineering
26	François Lustman	Specifying Transaction-Based Information Systems with Regular Expressions.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	transaction-based information systems, interactive information systems, transformational paradigm, classical Waterfall development model, transaction-oriented method, concurrent regular expressions, operational requirements, connect/disconnect transactions, all-or-nothing principle, serial product automaton, concurrent expression, formal specification, formal specification, information systems, systems analysis, systems analysis, transaction processing, formal language, regular expressions, software specification, SPA, high-level specification
26	Susan L. Gerhart, Dan Craigen, Ted Ralston	Case Study: Darlington Nuclear Generating Station.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	fission reactor core control and monitoring, fission reactor safety, nuclear engineering computing, Darlington nuclear generating station, nuclear plant, Ontario Hydro, software driven shutdown systems, neutron-absorbing rods, liquid poison injection, Atomic Energy Control Board of Canada, decision-making logic, formal model-based inspection, formal specification, formal methods, specifications, case study, software reliability, documentation, safety, certification, safety-critical systems, licensing, Canada, code quality
26	Zhenbang Chen, Xiaoshan Li, Zhiming Liu 0001, 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
26	John Harrison 0001	Formal Verification of Square Root Algorithms.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	formal verification, floating-point arithmetic, automated theorem proving
26	Hong-Zhi Yang, Ming-Wen Shao	Two Types of Generalized Variable Precision Formal Concepts.	RSEISP	2007	DBLP DOI BibTeX RDF	fuzzy formal context, Formal concept analysis, concept lattice, variable precision
26	Xiang Yin 0001	The echo approach to formal verification.	ICSE	2006	DBLP DOI BibTeX RDF	formal specification, formal verification
26	John C. Martin	Formal methods software engineering for the CARA system.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Formal methods software engineering, Sequence enumeration, Cleanroom, Formal specification
26	Miguel Felder, Mauro Pezzè	A formal design notation for real-time systems.	ACM Trans. Softw. Eng. Methodol.	2002	DBLP DOI BibTeX RDF	Formal design specification, design of real time systems, formal analysis of design specification, structured design
26	José M. Mendías, Román Hermida	Correct High-Level Synthesis: a Formal Perspective.	DATE	1998	DBLP DOI BibTeX RDF	automatic formal synthesis, formal verification, high-level synthesis, streams
26	Jean-Yves Lucas, Jean-Luc Dormoy, Bruno Ginoux, Claudia Jimenez-Dominguez, Laurent Pierre	How to Reconcile Formal Specifications and Automatic Programming: The Descartes System.	APSEC	1998	DBLP DOI BibTeX RDF	Mathematical-type language, Automated Software Design, Formal Specifications, Formal Methods, Automatic Programming
26	Reinhard Gotzhein, Martin Kronenburg, Christian Peper	Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern.	FTRTFT	1998	DBLP DOI BibTeX RDF	real-time, formal specification, formal methods, temporal logic, case study, reuse, requirements analysis, pattern discovery
26	Panos A. Patsouris	A formal versioning approach for distributed objectbase.	ICPADS	1997	DBLP DOI BibTeX RDF	formal versioning approach, distributed objectbases, formal object-oriented model, core data, core behaviour, inheritance, composition operation, distribution strategy
26	Shaoying Liu	A user-friendly formal requirements specification method.	ACM Southeast Regional Conference	1992	DBLP DOI BibTeX RDF	Formal requirements specification, Formal methods, Requirements analysis, Consistency analysis
26	Ron Artstein, Sudeep Gandhe, Jillian Gerten, Anton Leuski, David R. Traum	Semi-formal Evaluation of Conversational Characters.	Languages: From Formal to Natural	2009	DBLP DOI BibTeX RDF
26	Thomas Tilley, Richard Cole 0002, Peter Becker 0002, Peter W. Eklund	A Survey of Formal Concept Analysis Support for Software Engineering Activities.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
26	Robert Godin, Petko Valtchev	Formal Concept Analysis-Based Class Hierarchy Design in Object-Oriented Software Development.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
26	Peter Burmeister, Richard Holzer	Treating Incomplete Knowledge in Formal Concept Analysis.	Formal Concept Analysis	2005	DBLP DOI BibTeX RDF
26	Eckehard Schnieder, Jörg R. Müller	A Formal Description of the Basic Concepts of System Theory for Transportation.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
26	Ulrich Herzog	Formal Methods for Performance Evaluation.	European Educational Forum: School on Formal Methods and Performance Analysis	2000	DBLP DOI BibTeX RDF
26	Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier	Météor: A Successful Application of B in a Large Project.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Yonit Kesten, Amit Klein 0001, Amir Pnueli, Gil Raanan	A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Cliff B. Jones	Scientific Decisions which Characterize VDM.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida	Component-Based Algebraic Specification and Verification in CafeOBJ.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor	The Value of Verification: Positive Experience of Industrial Proof.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Simin Nadjm-Tehrani, Ove Åkerlund	Combining Theorem Proving and Continuous Models in Synchronous Design.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Friederike Nickl, Martin Wirsing	A Formal Approach to Requirements Engineering (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
26	Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny	Formal Verification of Avionics Software Products.	FM	2009	DBLP DOI BibTeX RDF	avionics software, verification, formal verification, static analysis, Abstract Interpretation, safety, development process
26	Artur Oliveira Gomes, Marcel Vinícius Medeiros Oliveira	Formal Specification of a Cardiac Pacing System.	FM	2009	DBLP DOI BibTeX RDF	formal modelling, Z, industrial applications, pacemaker
26	Jens Kötters, Heinz Schmidt, David McG. Squire	Context Graphs - Representing Formal Concepts by Connected Subgraphs.	ICFCA	2009	DBLP DOI BibTeX RDF	Context Graphs, Information Retrieval, Navigation, Graph Theory, Formal Concept Analysis
26	Bo Meng	A Formal Analysis of Coercion-Resistance of the Internet Voting Protocol Based on DKR Formal Model.	ISIP	2008	DBLP DOI BibTeX RDF	internet voting protocol, formal analysis, coercion-resistance
26	J. Christian Attiogbé, Pascal Poizat, Gwen Salaün	A Formal and Tool-Equipped Approach for the Integration of State Diagrams and Formal Datatypes.	IEEE Trans. Software Eng.	2007	DBLP DOI BibTeX RDF	Formal methods, tools, languages, operational semantics, state diagrams, integrated environments, specification techniques
26	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
26	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
26	Hind Fadil, Jean-Luc Koning	A Formal Approach to Model Multiagent Interactions Using the B Formal Method.	ISSADS	2005	DBLP DOI BibTeX RDF	formal specification, multiagent system, B method, interaction protocols
26	Ricardo Corin, Gaetano Di Caprio, Sandro Etalle, Stefania Gnesi, Gabriele Lenzini, Corrado Moiso	A Formal Security Analysis of an OSA/Parlay Authentication Interface.	FMOODS	2005	DBLP DOI BibTeX RDF	Formal Verification of Security, OSA/Parlay API, Industrial Test Case
26	Jing Sun 0002, Hai H. Wang, Sasanka Athauda, Tazkiya Sheik	SVG Web Environment for Z Specification Language.	ICFEM	2005	DBLP DOI BibTeX RDF	Z formal specification language, Web based tool support, Scalable Vector Graphics
26	Vlad Rusu	Verification Using Test Generation Techniques.	FME	2002	DBLP DOI BibTeX RDF	electronic purse, Formal verification, conformance testing
26	Michael Backes 0001, Christian Jacobi 0002, Birgit Pfitzmann	Deriving Cryptographically Sound Implementations Using Composition and Formally Verified Bisimulation.	FME	2002	DBLP DOI BibTeX RDF	security, cryptography, formal verification, PVS, simulatability
26	Chris Matthews, Paul A. Swatman	Fuzzy Concepts and Formal Methods: A Fuzzy Logic Toolkit for Z.	ZB	2000	DBLP DOI BibTeX RDF	requirements determination, formal specification, Z, fuzzy set theory
26	Yamine Aït Ameur	Cooperation of Formal Methods in an Engineering Based Software Development Process.	IFM	2000	DBLP DOI BibTeX RDF	cooperation of techniques, human-computer interaction, formal techniques, development methodology
26	Stephan Kleuker, Hermann Tjabben	The Incremental Development of Correct Specifications for Distributed Systems.	FME	1996	DBLP DOI BibTeX RDF	extension of existing formal methods, combination of methods, incremental development
26	Samuel C. Chamberlain, Paul D. Amer	Broadcast Channels in Estelle.	IEEE Trans. Computers	1991	DBLP DOI BibTeX RDF	ISO 9074 International Standard, specification capabilities, formal specifications, formal specification, protocols, standards, synchronisation, formal semantics, syntax, formal description technique, notation, Estelle, broadcast channels, synchronization mechanism
26	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	Formal Methods and Cryptography.	FM	2006	DBLP DOI BibTeX RDF
26	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
26	Mathai Joseph	Formal Aids for the Growth of Software Systems.	FM	2005	DBLP DOI BibTeX RDF
26	Soon-Kyeong Kim, Damian Burger, David A. Carrington	An MDA Approach Towards Integrating Formal and Informal Modeling Languages.	FM	2005	DBLP DOI BibTeX RDF
26	Jessica Chen, Xiaoshan Zhao	Formal Models for Web Navigations with Session Control and Browser Cache.	ICFEM	2004	DBLP DOI BibTeX RDF	Model Checking, Operational Semantics, Web Caching, Specification-based Testing, Labelling Transition Systems, Web Navigation
26	Feng Chen 0006, Marcelo d'Amorim, Grigore Rosu	A Formal Monitoring-Based Framework for Software Development and Analysis.	ICFEM	2004	DBLP DOI BibTeX RDF