The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase formal methods (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1971-1987 (24) 1988-1989 (19) 1990 (57) 1991 (31) 1992 (69) 1993 (152) 1994 (131) 1995 (126) 1996 (179) 1997 (155) 1998 (206) 1999 (366) 2000 (287) 2001 (161) 2002 (343) 2003 (341) 2004 (496) 2005 (470) 2006 (519) 2007 (491) 2008 (481) 2009 (487) 2010 (481) 2011 (391) 2012 (452) 2013 (408) 2014 (496) 2015 (359) 2016 (529) 2017 (377) 2018 (474) 2019 (10)
Publication types (Num. hits)
article(1298) book(16) incollection(70) inproceedings(7873) phdthesis(47) proceedings(264)
Venues (Conferences, Journals, ...)
Formal Methods in System Desig...(623) ICFEM(623) FMCAD(588) SEFM(517) FM(438) MEMOCODE(428) IFM(373) FME(279) ISoLA (1)(239) ISoLA (2)(228) NASA Formal Methods(205) FMCO(182) FMOODS(171) FMICS(169) ISoLA(167) SBMF(166) More (+10 of total 901)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 5616 occurrences of 1843 keywords

Results
Found 9568 publication records. Showing 9568 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
86Ricky W. Butler Formal Methods at NASA Langley. Search on Bibsonomy TPHOLs The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
81Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray A Specification and Validation Technique Based on STATEMATE and FNLOG. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
69Jonathan P. Bowen, Michael G. Hinchey Seven More Myths of Formal Methods. Search on Bibsonomy IEEE Software The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
66John McLean Formal methods in security engineering: where we've been, where we are, where we need to go. Search on Bibsonomy FMSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF formal methods, computer security
64Eric 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. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
60J. Paul Gibson Weaving a Formal Methods Education with Problem-Based Learning. Search on Bibsonomy ISoLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum
60Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
59Ludovic Casset Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Byte Code Verification, Formal Methods, B Method
58Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita Formal Specification and Validation of a Vital Communication Protocol. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
57Jeff Offutt Programmers Ain't Mathematicians, and Neither Are Testers. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
57Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell Technology Transfer Issues for Formal Methods of Software Specification. Search on Bibsonomy CSEE&T The full citation details ... 2000 DBLP  DOI  BibTeX  RDF SE education, SE pedagogy, SE Curriculum, Formal methods, specification
53Donna C. Stidolph, E. James Whitehead Jr. Managerial Issues for the Consideration and Use of Formal Methods. Search on Bibsonomy FME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF schedule, formal methods, specification, requirements, cost, Program management
52Richard F. Paige, Jonathan S. Ostroff Developing BON as an Industrial-Strength Formal Method. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
50Boutheina Chetali, Quang Huy Nguyen 0002 Industrial Use of Formal Methods for a High-Level Security Evaluation. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
49Bernd Krieg-Brückner, Jan Peleska 0001, Ernst-Rüdiger Olderog, Alexander Baer The UniForM Workbench, a Universal Development Environment for Formal Methods. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
49David von Oheimb Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF security, models, evaluation, software engineering, Formal methods
49Sten Agerholm, Peter Gorm Larsen A Lightweight Approach to Formal Methods. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
48Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton Formal Methods for Extensions to CAS. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
48Marc Mehdi Ayadi, Dominique Bolignano Verification of Cryptographic Protocols: An Experiment. Search on Bibsonomy FME The full citation details ... 1997 DBLP  DOI  BibTeX  RDF security, formal methods, cryptographic protocols, Coq
47Arvind, Nirav Dave, Michael Katelman Getting Formal Verification into Design Flow. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
46P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson Secure Synthesis of Code: A Process Improvement Experiment. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
46Albrecht Schmidt 0001 Engineering interactive ubiquitous computing systems. Search on Bibsonomy EICS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
45Scott Lintelman, Richard Robinson, Mingyan Li, Krishna Sampigethaya Formal Methods for Trustworthy Skies: Building Confidence in the Security of Aircraft Assets Distribution. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Loadable Software Parts, Security, Formal Methods, Safety
45Kaisa Sere, Elena Troubitsyna Safety Analysis in Formal Specification. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
45Gerald C. Gannod, Betty H. C. Cheng A Two-Phase Approach to Reverse Engineering Using Formal Methods. Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
45Jin Song Dong, Jing Sun 0002, Jun Sun 0001, Kenji Taguchi 0001, Xian Zhang Specifying and Verifying Sensor Networks: An Experiment of Formal Methods. Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Manfred Broy Seamless Model Driven Systems Engineering Based on Formal Models. Search on Bibsonomy ICFEM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Formal methods, models based development
45Jean-Paul Bodeveix, Mamoun Filali, Julia L. Lawall, Gilles Muller Formal Methods Meet Domain Specific Languages. Search on Bibsonomy IFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF scheduling, formal methods, refinements, decision procedure, DSL
45Takuya Katayama How Can We Make Industry Adopt Formal Methods? Search on Bibsonomy ICFEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Joseph R. Kiniry, Daniel M. Zimmerman Secret Ninja Formal Methods. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
45Jonathan P. Bowen, Michael G. Hinchey Seven More Myths of Formal Methods. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
45Jonathan P. Bowen, Victoria Stavridou The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
44Anthony Hall Correctness by Construction: Integrating Formality into a Commercial Development Process. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
44Shaoying Liu, Yong Sun Structured methodology+object-oriented methodology+formal methods: methodology of SOFL. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF structured methodolog, SOFL language, structured-object-oriented-formal language, informal semantics, training centre system, formal methods, formal languages, object-oriented languages, object-oriented methods, computational linguistics, system development, industry, data flow graphs, structured programming, abstract syntax, object-oriented methodology
44John M. Rushby Mechanized Formal Methods: Where Next? Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Igor B. Burdonov, Alexander S. Kossatchev, Alexandre Petrenko, Dmitri Galter KVEST: Automated Generation of Test Suites from Formal Specifications. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
44Yujun Zheng 0001, Jinquan Wang, Kan Wang, Jinyun Xue Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Werner Stephan 0001 Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
44Richard Jüllig Formal Methods in Enterprise Computing. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
42Ulrich Herzog Formal Methods for Performance Evaluation. Search on Bibsonomy European Educational Forum: School on Formal Methods and Performance Analysis The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
42Simin Nadjm-Tehrani, Ove Åkerlund Combining Theorem Proving and Continuous Models in Synchronous Design. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Steve King 0001, Jonathan Hammond, Roderick Chapman, Andy Pryor The Value of Verification: Positive Experience of Industrial Proof. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
42Raymond T. Boute Using Domain-Independent Problems for Introducing Formal Methods. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
42Stephan Kleuker, Hermann Tjabben The Incremental Development of Correct Specifications for Distributed Systems. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF extension of existing formal methods, combination of methods, incremental development
42Baowen Xu, Yingzhou Zhang, Yanhui Li Retrospect and Prospect of Formal Methods Education in China. Search on Bibsonomy TFM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
42Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. Search on Bibsonomy STTT The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Novice users of formal-methods-based tools, Software requirements analysis, Software for medical devices, Model checking, Safety-critical systems
41Neff Walker, John B. Smelcer A comparison of selection time from walking and pull-down menus. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
41Jakob Nielsen Designing for international use (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
41Cliff B. Jones Scientific Decisions which Characterize VDM. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
41Tomi Westerlund, Juha Plosila Time Aware Modelling and Analysis of Multiclocked VLSI Systems. Search on Bibsonomy ICFEM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Timed Action Systems, formal methods, time, GALS
41June Andronick, Boutheina Chetali, Christine Paulin-Mohring Formal Verification of Security Properties of Smart Card Embedded Source Code. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
41J Strother Moore On the Adoption of Formal Methods by Industry: The ACL2 Experience. Search on Bibsonomy ICFEM The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
40Matthew 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. Search on Bibsonomy NASA Formal Methods The full citation details ... 2009 DBLP  BibTeX  RDF
40Michael Johnson, Robert D. Rosebrugh View Updatability Based on the Models of a Formal Specification. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF formal specification, database, information system, conceptual modelling, data model, category theory, View update
40S. Joy Mountford Designers: meet your users (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF Apple Computer, HyperCard, Inc
40Marcy Telles Updating an older interface. Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF WordStar
40Hans Brunner A snapshot of natural language interfaces (panel). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Terry Winograd What can we teach about human-computer interaction? (plenary address). Search on Bibsonomy CHI The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
40Zarrin Langari, Anne Banks Pidduck Quality, cleanroom and formal methods. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF cleanroom, formal methods, software quality
40Michael Backes 0001, Birgit Pfitzmann, Michael Waidner Formal Methods and Cryptography. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
40Daniel Jackson 0001 Lightweight Formal Methods. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
39Joshua D. Guttman, Dale M. Johnson Three Applications of Formal Methods at MITRE. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
39Steve M. Easterbrook, Robyn R. Lutz, Richard Covington, John Kelly, Yoko Ampo, David Hamilton Experiences Using Lightweight Formal Methods for Requirements Modeling. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF fault protection software, formal methods, verification and validation, Software requirements, NASA
39Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson Teaching Formal Methods Early in the Software Engineering Curriculum (panel). Search on Bibsonomy CSEE&T The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
39Constance L. Heitmeyer On the Need for Practical Formal Methods. Search on Bibsonomy FTRTFT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
39Shin Nakajima 0001 Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Richard Verhoeven, Roland Carl Backhouse Interfacing Program Construction and Verification. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
39Nisse Husberg, Tapio Manner Emma: Developing an Industrial Reachability Analyser for SDL. Search on Bibsonomy World Congress on Formal Methods The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
38Babak Dehbonei, Fernando Mejia Formal Methods in the Railways Signalling Industry. Search on Bibsonomy FME The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
38Yuechen Qian Formal Development of a Distributed Logging Mechanism Supporting Disconnected Updates. Search on Bibsonomy ICFEM The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Disconnected Updates, Formal Methods, Consistency, Z, Logs, Data Synchronization
38Guido Wimmel, Jan Jürjens Specification-Based Test Generation for Security-Critical Systems Using Mutations. Search on Bibsonomy ICFEM The full citation details ... 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
38Zarina Shukur, Abdullah Mohd Zin, Ainita Ban M2Z: A Tool for Translating a Natural Language Software Specification into Z. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Formal methods, machine translation, Z, linguistic
38J. J. T. Kleijn, Michel A. Reniers, J. E. Rooda Analysis of an Industrial System. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2003 DBLP  DOI  BibTeX  RDF verification, formal methods, process algebra, industrial systems
38Meine van der Meulen, Tim Clement Formal Methods in the Specification of the Emergency Closing System of the Eastern Scheldt Storm Surge Barrier. Search on Bibsonomy FM-Trends The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
38Ann E. Kelley Sobel, Michael R. Clarkson Formal Methods Application: An Empirical Tale of Software Development. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF formal methods, software specifications, software engineering curriculum
38Dan Craigen, Susan L. Gerhart, Ted Ralston Formal Methods Reality Check: Industrial Usage. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
38Shaoying Liu Developing Quality Software Systems Using the SOFL Formal Engineering Method. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
38Shmuel Katz Rigorous Fault Tolerance Using Aspects and Formal Methods. Search on Bibsonomy RODIN Book The full citation details ... 2006 DBLP  DOI  BibTeX  RDF fault tolerance, formal methods, aspect orientation
38Guy Tremblay Formal Methods: Mathematics, Computer Science, or Software Engineering? Search on Bibsonomy CSEE&T The full citation details ... 2000 DBLP  DOI  BibTeX  RDF software engineering, Formal methods
37Anne Elisabeth Haxthausen, Jan Peleska 0001 A Domain-Oriented, Model-Based Approach for Construction and Verification of Railway Control Systems. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF railway control systems, verification, formal methods, code generation, domain-specific languages, domain engineering
37Zhenbang Chen, Xiaoshan Li, Zhiming Liu 0001, Volker Stolz, Lu Yang Harnessing rCOS for Tool Support - The CoCoME Experience. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF tool design, formal methods, software process, Software development tool
37Asger Eir Relating Domain Concepts Intensionally by Ordering Connections. Search on Bibsonomy Formal Methods and Hybrid Real-Time Systems The full citation details ... 2007 DBLP  DOI  BibTeX  RDF The RAISE Specification Language (RSL), Classification, Formal Methods, Conceptual modelling, Abstract Interpretation, Domain Engineering, Galois Connection, Intension
37Hanan Lutfiyya, Bruce M. McMillin, Alan Su Formal Derivation of an Error-Detecting Distributed Data Scheduler Using Changeling. Search on Bibsonomy Formal Methods in Programming and Their Applications The full citation details ... 1993 DBLP  DOI  BibTeX  RDF Concurrent Program Verification, Changeling, Fault Tolerance, Formal Methods, Distributed Databases, Transformation, Executable Assertions
37Klaas Wijbrans, Franc Buve, Robin Rijkers, Wouter Geurts Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
37Anthony Hall Realising the Benefits of Formal Methods. Search on Bibsonomy ICFEM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
37Debora Weber-Wulff Selling Formal Methods to Industry. Search on Bibsonomy FME The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
37Vangalur S. Alagar, Ralf Lämmel Three-Tiered Specification of Micro-architectures. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF UML, interaction, formal methods, frameworks, design patterns, reuse, evolution, object-oriented design, micro-architectures
37Sandeep K. Shukla, Michael Theobald Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
37Flávio Oquendo pi-Method: a model-driven formal method for architecture-centric software engineering. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering
37Mícheál Mac an Airchinnigh Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics. Search on Bibsonomy FME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
36Peter Csaba Ölveczky Teaching Formal Methods Based on Rewriting Logic and Maude. Search on Bibsonomy TFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
36Anna Slobodová Challenges for Formal Verification in Industrial Setting. Search on Bibsonomy FMICS/PDMC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
36Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba SOFL: A Formal Engineering Methodology for Industrial Applications. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods
36Shmuel Katz Aspects and Formal Methods. Search on Bibsonomy FM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model-checking, specification, interference, detection, Aspects
36Martin de Groot Integrating Formal Methods with System Management. Search on Bibsonomy ICFEM The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
36Juan Bicarregui, Jeremy Dick, Eoin Woods Quantitative Analysis of an Application of Formal Methods. Search on Bibsonomy FME The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
36Michael Backes 0001, Catherine A. Meadows, John C. Mitchell Relating cryptography and formal methods: a panel. Search on Bibsonomy FMSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF formal methods, cryptography, security protocols
36Michael Huber, Steve King 0001 Towards an Integrated Model Checker for Railway Signalling Data. Search on Bibsonomy FME The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Data verification, hidden formal methods, model checking
35Thierry Scheurer Formal Methods: The Problem Is Education. Search on Bibsonomy SAFECOMP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 9568 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license