Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Ricky W. Butler	Formal Methods at NASA Langley.	TPHOLs	2002	DBLP DOI BibTeX RDF
52	Alberto Coen-Porisini, Richard A. Kemmerer, Dino Mandrioli	A Formal Framework for ASTRAL Intralevel Proof Obligations.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	intralevel proof obligations, formal software development, mathematical correctness, ASLAN, TRIO, real-time systems, real-time systems, verification, formal specification, formal specification, formal methods, finite state machines, program verification, specification languages, state machines, formal specification language, formal proof, timing requirements, ASTRAL
52	Jens Knoop	Formal Callability and Its Relevance and Application to Interprocedural Data-Flow Analysis.	ICCL	1998	DBLP DOI BibTeX RDF	Formal callability, formal reachability, call graph analysis, program optimization, interprocedural data-flow analysis
49	Olfa Mosbahi, Leila Jemni Ben Ayed, Samir Ben Ahmed, Jacques Jaray	A Specification and Validation Technique Based on STATEMATE and FNLOG.	ICFEM	2002	DBLP DOI BibTeX RDF	Semi-formal methods, Real-time Systems, Verification, Formal methods, Integration, Specification, Temporal logic, Validation
48	Andrei Rimsa, Luis E. Zárate, Mark A. J. Song	Handling Large Formal Context Using BDD - Perspectives and Limitations.	ICFCA	2009	DBLP DOI BibTeX RDF	Formal Concept Analysis, Binary Decision Diagrams, Formal Context, Formal Concept
46	John C. Knight, P. Thomas Fletcher, Brian R. Hicks	Tool Support for Production Use of Formal Techniques.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
46	David W. Bustard, P. J. Lundy	Enhancing soft systems analysis with formal modelling.	RE	1995	DBLP DOI BibTeX RDF	soft systems analysis, initial requirements definition, informal SSM models, computing oriented analysis techniques, book ordering data processing, software requirements engineering method, formal specification, formal specification, software tools, software tools, specification languages, systems analysis, formal modelling, LOTOS, formal techniques, formal descriptions, Soft Systems Methodology, RACE
43	M. M. Adams, Philip B. Clayton	ClawZ: Cost-Effective Formal Verification for Control Systems.	ICFEM	2005	DBLP DOI BibTeX RDF	industrial formal verification, ProofPower, Eurofighter Typhoon, Ada, refinement, Z, control systems, safety-critical software, Simulink, real-time software, formal proof
42	Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita	Formal Specification and Validation of a Vital Communication Protocol.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
41	Syed Suhaib, Deepak Mathaikutty, Sandeep K. Shukla, David Berner	XFM: An incremental methodology for developing formal models.	ACM Trans. Design Autom. Electr. Syst.	2005	DBLP DOI BibTeX RDF	Extreme formal modeling, prescriptive formal models, property ordering, property refactoring, formal specification, formal verification, extreme programming, SPIN, SMV
41	Gerald C. Gannod, Betty H. C. Cheng	A Formal Automated Approach for Reverse Engineering Programs with Pointers.	ASE	1997	DBLP DOI BibTeX RDF	reverse engineering programs, formal automated approach, formal specification, formal specifications, reverse engineering, programming language, formal semantics, pointers
41	David W. Bustard, Adam C. Winstanley	Making Changes to Formal Specifications: Requirements and an Example.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	change technique, formal notation LOTOS, SCAFFOLD project, process-oriented notations, software engineering, formal specification, formal specifications, formal specification, software maintenance, tool, specification languages, process algebra, configuration management, concurrent systems, LOTOS, change control
41	Jonathan P. Bowen, Michael G. Hinchey	Seven More Myths of Formal Methods.	IEEE Softw.	1995	DBLP DOI BibTeX RDF
40	John McLean	Formal methods in security engineering: where we've been, where we are, where we need to go.	FMSE	2007	DBLP DOI BibTeX RDF	formal methods, computer security
40	Shaoying Liu, Yong Sun	Structured methodology+object-oriented methodology+formal methods: methodology of SOFL.	ICECCS	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
39	Richard F. Paige, Jonathan S. Ostroff	Developing BON as an Industrial-Strength Formal Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
39	Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev	An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.	FM	2008	DBLP DOI BibTeX RDF	Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
39	Michael Johnson, Robert D. Rosebrugh	View Updatability Based on the Models of a Formal Specification.	FME	2001	DBLP DOI BibTeX RDF	formal specification, database, information system, conceptual modelling, data model, category theory, View update
39	William C. Chu, Hongji Yang	A Formal Method to Software Integration in Reuse.	COMPSAC	1996	DBLP DOI BibTeX RDF	library techniques, semantic interface, adaptation problems, MIATAC-MA Reuse Formal Method, formal semantic interface analysis, MIATAC-MA Specification Language, MIATAC-MA Prototype Tool, formal specification, formal method, reverse engineering, reverse engineering, software reuse, software components, software reusability, software libraries, software integration, Predicate/Transition nets, reusable software components, integrated software, reuse library
39	Michel Diaz, Guy Juanole, Jean-Pierre Courtiat	Observer-A Concept for Formal On-Line Validation of Distributed Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	observer concept, formal online validation, self-checking distributed systems design, erroneous behavior detection, observable output level, continuous checking, formal verified model, quasi-self-checking observers, industrial LAN, broadcast service, virtual ring MAC protocol testing, OSI layering management, open system architecture, run-time validation, Petri net based models, layered distributed architectures, formal verification, distributed processing, local area networks, transport protocols, performance measurements, open systems, access protocols, formal description techniques, transport layer, reference, link layer, online operation
39	Volkmar Lotz, Volker Kessler, Georg Walter	A Formal Security Model for Microprocessor Hardware.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF	security, hardware, formal security models
37	Arvind, Nirav Dave, Michael Katelman	Getting Formal Verification into Design Flow.	FM	2008	DBLP DOI BibTeX RDF
37	Ángel Herranz-Nieva, Juan José Moreno-Navarro	Formal Extreme (and Extremely Formal) Programming.	XP	2003	DBLP DOI BibTeX RDF	Formal Methods, Refactoring, Extreme Programming, Incremental Development, Formal Testing
37	Manuel Clavel, Francisco Durán 0001, Steven Eker, José Meseguer 0001, Mark-Oliver Stehr	Maude as a Formal Meta-tool.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
37	Michael Meyer zu Hörste, Eckehard Schnieder	Formal Modelling and Simulation of Train Control Systems Using Petri Nets.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
37	Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans	Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
37	Ludovic Casset	Development of an Embedded Verifier for Java Card Byte Code Using Formal Methods.	FME	2002	DBLP DOI BibTeX RDF	Byte Code Verification, Formal Methods, B Method
37	Juan-José Martins, Jean-Pierre Hubaux	A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation.	FME	1996	DBLP DOI BibTeX RDF	Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering
37	Milica Barjaktarovic, Shiu-Kai Chin, Kamal Jabbour	Formal specification and verification of communication protocols using automated tools .	ICECCS	1995	DBLP DOI BibTeX RDF	OSI protocol, large models, simulation, modelling, formal specification, formal specification, testing, protocols, formal verification, software tools, validation, theorem proving, process algebra, communication protocols, open systems, algebra, formal logic, automated tools, model checker, model testing, complex models, automated theorem prover
37	Peter Gorm Larsen, John S. Fitzgerald, T. M. Brookes	Applying Formal Specification in Industry.	IEEE Softw.	1996	DBLP DOI BibTeX RDF
36	Jeff Offutt	Programmers Ain't Mathematicians, and Neither Are Testers.	ICFEM	2008	DBLP DOI BibTeX RDF
35	Pao-Ann Hsiung, Shang-Wei Lin 0001	Formal Design and Verification of Real-Time Embedded Software.	APLAS	2004	DBLP DOI BibTeX RDF	scheduling, formal verification, code generation, software components, application framework, UML modeling, real-time embedded software, formal synthesis
35	Kanth Miriyala, Mehdi T. Harandi	Automatic Derivation of Formal Software Specifications From Informal Descriptions.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	formal software specifications, common problem-solving techniques, difference-based reasoning, informal description, SPECIFIER, previously solved problem, analogy mapping, formal specification, data structures, software tools, interactive system, analogy, automatic programming, schemas, data types, problem-solving process
35	J. Paul Gibson	Weaving a Formal Methods Education with Problem-Based Learning.	ISoLA	2008	DBLP DOI BibTeX RDF	Teaching Formal Methods, Mathematics of Computer Science, Science of Software Engineering, Computing Curriculum
35	Kong Woei Susanto, Thomas F. Melham	An AMBA-ARM7 Formal Verification Platform.	ICFEM	2003	DBLP DOI BibTeX RDF
35	Danny B. Lange	A Formal Approach to Hypertext using Post-Prototype Formal Specification.	VDM Europe	1990	DBLP DOI BibTeX RDF
35	Chie Dou	Formal Specification of Communication Protocols Based on a Timed-SDL: Validation and Performance Prospects.	EUROMICRO	1996	DBLP DOI BibTeX RDF	Timed-SDL, performance prospects, CCITT Z.100, probabilistic specifications, performance evaluations, real time systems, formal specification, formal specification, validation, communication protocols, SDL, temporal properties, telecommunication systems, formal notation
35	John M. Rushby, Friedrich W. von Henke	Formal Verification of Algorithms for Critical Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	machine-checked verification, Byzantine fault-tolerant algorithm, digital flight control system, fault-tolerant synchronization, EHDM system, formal specification, formal specification, formal verification, fault tolerant computing, software reliability, safety, synchronisation, critical systems
35	K. T. Narayana, Sanjeev Dharap	Formal Specification of a Look Manager.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	look manager, graphical interface software, user interfaces, formal specification, formal specification, computer graphics, modularity, interactive systems, formal model, Z notation, texturing model, dialog system
35	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian	Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters.	FORMATS	2007	DBLP DOI BibTeX RDF	Iterative System Tuning, Statistical Formal Methods, System Realization, Cross-layer Timing/QoS/resource Provisioning for Distributed Systems, Formal Modeling
35	Brian Matthews, Elvira Locuratolo	Formal Development of Databases in ASSO and B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
35	Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter	KVEST: Automated Generation of Test Suites from Formal Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
35	Kaisa Sere, Elena Troubitsyna	Safety Analysis in Formal Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
34	Manfred Broy	Seamless Model Driven Systems Engineering Based on Formal Models.	ICFEM	2009	DBLP DOI BibTeX RDF	Formal methods, models based development
34	Jin Song Dong, Gordon A. Rose, Roger Duke	The role of secondary attributes in formal object modelling.	ICECCS	1995	DBLP DOI BibTeX RDF	secondary attributes role, formal object modelling, secondary attributes, formal object-oriented specification, formal specification, formal specification, object-oriented programming, attribute grammars
34	Pei Hsia, Jayarajan Samuel, Jerry Gao 0002, David Chenho Kung, Yasufumi Toyoshima, Cris Chen	Formal Approach to Scenario Analysis.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	private telephone exchanges, telephone systems, simple PBX system, formal mathematical base, precise scenarios, formal specification, formal verification, systems analysis, requirements analysis, telecommunications computing, scenario analysis, formal approach
34	Ichiro Suzuki	Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	temporal Petri nets, omega -regular expressions, Buchi-automata, formal specification, formal specification, Petri nets, formal verification, program verification, programming theory, transitions, formal analysis, automata theory, firings, formulas, alternating bit protocol, temporal operators
34	Manfred Droste, Guo-Qiang Zhang 0001	Rational Transformations of Formal Power Series.	ICALP	2001	DBLP DOI BibTeX RDF	rational languages, recognizable languages, weighted finite automata, Formal power series
34	Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell	Technology Transfer Issues for Formal Methods of Software Specification.	CSEE&T	2000	DBLP DOI BibTeX RDF	SE education, SE pedagogy, SE Curriculum, Formal methods, specification
33	Souâd Taouil-Traverson, Sylvie Vignes	Preliminary Analysis Cycle for B-Method Software Development.	EUROMICRO	1996	DBLP DOI BibTeX RDF	preliminary analysis cycle, B-method software development, a priori errors detection, inconsistency deficiencies, formal specification, formal specifications, formal methods, correctness proofs, incompleteness, testing process, software life-cycle
33	Carlos Lassance, Hervé Déjean, Thibault Formal, Stéphane Clinchant	SPLADE-v3: New baselines for SPLADE.	CoRR	2024	DBLP DOI BibTeX RDF
33	Hervé Déjean, Stéphane Clinchant, Thibault Formal	A Thorough Comparison of Cross-Encoders and LLMs for Reranking SPLADE.	CoRR	2024	DBLP DOI BibTeX RDF
33	Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier	CoSPLADE: Contextualizing SPLADE for Conversational Information Retrieval.	CoRR	2023	DBLP DOI BibTeX RDF
33	Hervé Déjean, Stéphane Clinchant, Carlos Lassance, Simon Lupart, Thibault Formal	Benchmarking Middle-Trained Language Models for Neural Search.	CoRR	2023	DBLP DOI BibTeX RDF
33	Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski	Query Performance Prediction for Neural IR: Are We There Yet?	CoRR	2023	DBLP DOI BibTeX RDF
33	Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski	On the Limitations of Query Performance Prediction for Neural IR.	SEBD	2023	DBLP BibTeX RDF
33	Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarksi, Laure Soulier	CoSPLADE : Adaptation d'un Modèle Neuronal Basé sur des Représentations Parcimonieuses pour la Recherche d'Information Conversationnelle.	CORIA-TALN	2023	DBLP BibTeX RDF
33	Simon Lupart, Thibault Formal, Stéphane Clinchant	MS-Shift: An Analysis of MS MARCO Distribution Shifts on Neural Retrieval.	ECIR (1)	2023	DBLP DOI BibTeX RDF
33	Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier	CoSPLADE: Contextualizing SPLADE for Conversational Information Retrieval.	ECIR (1)	2023	DBLP DOI BibTeX RDF
33	Guglielmo Faggioli, Thibault Formal, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski	Query Performance Prediction for Neural IR: Are We There Yet?	ECIR (1)	2023	DBLP DOI BibTeX RDF
33	Hervé Déjean, Stéphane Clinchant, Carlos Lassance, Simon Lupart, Thibault Formal	Benchmarking Middle-Trained Language Models for Neural Search.	SIGIR	2023	DBLP DOI BibTeX RDF
33	Guglielmo Faggioli, Thibault Formal, Simon Lupart, Stefano Marchesin 0001, Stéphane Clinchant, Nicola Ferro 0001, Benjamin Piwowarski	Towards Query Performance Prediction for Neural Information Retrieval: Challenges and Opportunities.	ICTIR	2023	DBLP DOI BibTeX RDF
33	Thibault Formal	Towards Effective, Efficient and Explainable Neural Information Retrieval. (Vers une recherche d'information neuronale efficace, efficiente et interprétable).		2023	RDF
33	Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant	From Distillation to Hard Negative Sampling: Making Sparse Neural IR Models More Effective.	CoRR	2022	DBLP DOI BibTeX RDF
33	Carlos Lassance, Thibault Formal, Stéphane Clinchant	Composite Code Sparse Autoencoders for first stage retrieval.	CoRR	2022	DBLP DOI BibTeX RDF
33	Nam Le Hai, Thomas Gerald, Thibault Formal, Jian-Yun Nie, Benjamin Piwowarski, Laure Soulier	MLIA-DAC@TREC CAsT 2022: Sparse Contextualized Query Embedding.	TREC	2022	DBLP BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	A Study of Lexical Matching in Neural Information Retrieval - Abstract⋆.	CIRCLE	2022	DBLP BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	Match Your Words! A Study of Lexical Matching in Neural Information Retrieval.	ECIR (2)	2022	DBLP DOI BibTeX RDF
33	Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant	From Distillation to Hard Negative Sampling: Making Sparse Neural IR Models More Effective.	SIGIR	2022	DBLP DOI BibTeX RDF
33	Thibault Formal, Carlos Lassance, Benjamin Piwowarski, Stéphane Clinchant	SPLADE v2: Sparse Lexical and Expansion Model for Information Retrieval.	CoRR	2021	DBLP BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	Match Your Words! A Study of Lexical Matching in Neural Information Retrieval.	CoRR	2021	DBLP BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	SPLADE: Sparse Lexical and Expansion Model for First Stage Ranking.	CoRR	2021	DBLP BibTeX RDF
33	Carlos Lassance, Arnaud Sors, Stéphane Clinchant, Thibault Formal, Benjamin Piwowarski	Naver Labs Europe (SPLADE) @ TREC Deep Learning 2021.	TREC	2021	DBLP BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	Une Analyse du Modèle ColBERT.	CORIA	2021	DBLP DOI BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	A White Box Analysis of ColBERT.	ECIR (2)	2021	DBLP DOI BibTeX RDF
33	Carlos Lassance, Thibault Formal, Stéphane Clinchant	Composite Code Sparse Autoencoders for First Stage Retrieval.	SIGIR	2021	DBLP DOI BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	SPLADE: Sparse Lexical and Expansion Model for First Stage Ranking.	SIGIR	2021	DBLP DOI BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	A White Box Analysis of ColBERT.	CoRR	2020	DBLP BibTeX RDF
33	Thibault Formal, Benjamin Piwowarski, Stéphane Clinchant	Naver Labs Europe @ TREC Deep Learning 2020.	TREC	2020	DBLP BibTeX RDF
33	Thibault Formal, Stéphane Clinchant, Jean-Michel Renders, Sooyeol Lee, Geun-Hee Cho	Learning to Rank Images with Cross-Modal Graph Convolutions.	ECIR (1)	2020	DBLP DOI BibTeX RDF
33	Yannick Aoustin, Alexander M. Formal'sky	Ball on a beam: stabilization under saturated input control with large basin of attraction	CoRR	2010	DBLP BibTeX RDF
33	Yannick Aoustin, Alexander M. Formal'sky	On optimal swinging of the biped arms.	IROS	2008	DBLP DOI BibTeX RDF
33	Yannick Aoustin, Alexander M. Formal'sky	On the stabilization of a biped vertical posture in single support using internal torques.	Robotica	2005	DBLP DOI BibTeX RDF
33	Christine Chevallereau, Alexander M. Formal'sky, Dalila Djoudi	Tracking a joint path for the walk of an underactuated biped.	Robotica	2004	DBLP DOI BibTeX RDF
33	Yannick Aoustin, Alexander M. Formal'sky	Simple anti-swing feedback control for a gantry crane.	Robotica	2003	DBLP DOI BibTeX RDF
33	Alexander M. Formal'sky, Christine Chevallereau, B. Perrin	On Ballistic Walking Locomotion of a Quadruped.	Int. J. Robotics Res.	2000	DBLP DOI BibTeX RDF
33	A. V. Beznos, Alexander M. Formal'sky, E. V. Gurfinkel, D. N. Jicharev, A. V. Lensky, K. V. Savitsky, L. S. Tchesalin	Control of Autonomous Motion of Two-wheel Bycycle with Gyroscopic Stabilization.	ICRA	1998	DBLP DOI BibTeX RDF
33	Christine Chevallereau, Alexander M. Formal'sky, B. Perrin	Low Energy Cost Reference Trajectories for a Biped Robot.	ICRA	1998	DBLP DOI BibTeX RDF
33	Yannick Aoustin, Alexander M. Formal'sky	On the Synthesis of a Norminal Trajectory for Control Law of a One-Link Flexible Arm.	Int. J. Robotics Res.	1997	DBLP DOI BibTeX RDF
33	Christine Chevallereau, Alexander M. Formal'sky, B. Perrin	Control of a walking robot with feet following a reference trajectory derived from ballistic motion.	ICRA	1997	DBLP DOI BibTeX RDF
33	Alexander M. Formal'sky, E. K. Lavrovsky	Stabilization of Flexible One-Link Arm Position: Stability Domains in the Space of Feedback Gains.	Int. J. Robotics Res.	1996	DBLP DOI BibTeX RDF
33	A. A. Grishin, Alexander M. Formal'sky, A. V. Lensky, S. V. Zhitomirsky	Dynamic Walking of a Vehicle With Two Telescopic Legs Controlled by Two Drives.	Int. J. Robotics Res.	1994	DBLP DOI BibTeX RDF
33	A. V. Lensky, A. B. Lizunov, Alexander M. Formal'sky, A. Yu. Shneider	Manipulator motion along a constraint.	Robotica	1986	DBLP DOI BibTeX RDF
33	V. S. Gurfinkel, E. A. Devjanin, A. V. Lensky, S. B. Mozhzhevelov, Alexander M. Formal'sky, A. Yu. Shneider	Controlling a manipulator using sensory motor interaction.	Robotica	1984	DBLP DOI BibTeX RDF
33	Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart, Yong Sun, Mitsuru Ohba	SOFL: A Formal Engineering Methodology for Industrial Applications.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	formal methods, formal languages, data flow diagrams, object-oriented methodology, Structured methods
33	John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou	A Formalization of Software Architecture.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
33	Constance L. Heitmeyer, Bruce G. Labaw, Daniel L. Kiskis	Consistency checking of SCR-style requirements specifications.	RE	1995	DBLP DOI BibTeX RDF	SCR-style requirements specifications, SCR tabular notation, application independent properties, domain coverage, formal requirements model, automated consistency checking, formal specification, data integrity, program verification, formal model, determinism, software development process, consistency checks, formal analysis, type correctness
33	Boutheina Chetali, Quang Huy Nguyen 0002	Industrial Use of Formal Methods for a High-Level Security Evaluation.	FM	2008	DBLP DOI BibTeX RDF
33	Sten Agerholm, Peter Gorm Larsen	A Lightweight Approach to Formal Methods.	FM-Trends	1998	DBLP DOI BibTeX RDF
33	Kevin Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment