Search results for "formal"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
21	Johannes Pfeffer, Leon Urbas	Formal Modelling of App-Ensembles.	Handbook of Formal Methods in Human-Computer Interaction	2017	DBLP DOI BibTeX RDF
21	Guillaume Brat, Sébastien Combéfis, Dimitra Giannakopoulou, Charles Pecheur, Franco Raimondi, Neha Rungta	Formal Analysis of Multiple Coordinated HMI Systems.	Handbook of Formal Methods in Human-Computer Interaction	2017	DBLP DOI BibTeX RDF
21	Raquel Oliveira Prates, Philippe A. Palanque, Benjamin Weyers, Judy Bowen, Alan J. Dix	State of the Art on Formal Methods for Interactive Systems.	Handbook of Formal Methods in Human-Computer Interaction	2017	DBLP DOI BibTeX RDF
21	Judy Bowen, Alan J. Dix, Philippe A. Palanque, Benjamin Weyers	Topics of Formal Methods in HCI.	Handbook of Formal Methods in Human-Computer Interaction	2017	DBLP DOI BibTeX RDF
21	Jozef Hooman	Industrial Application of Formal Models Generated from Domain Specific Languages.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
21	Michiel Helvensteijn, Farhad Arbab	Toward a Formal Foundation for Time Travel in Stories and Games.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
21	Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer	Formal Frameworks for Verifying Normative Multi-agent Systems.	Theory and Practice of Formal Methods	2016	DBLP DOI BibTeX RDF
21	Nicolas Wu, Andrew C. Simpson	Formal relational database design: an exercise in extending the formal template language.	Formal Aspects Comput.	2014	DBLP DOI BibTeX RDF
21	Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, Aaron Tomb	Formal Verification of kLIBC with the WP Frama-C Plug-in.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
21	Anton Wijs, Luc Engelen	REFINER: Towards Formal Verification of Model Transformations.	NASA Formal Methods	2014	DBLP DOI BibTeX RDF
21	Alexey Solovyev, Thomas C. Hales	Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
21	Brian R. Larson, Patrice Chalin, John Hatcliff	BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
21	Sergio Feo-Arenis, Bernd Westphal	Formal Verification of a Parameterized Data Aggregation Protocol.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
21	Umair Siddique, Vincent Aravantinos, Sofiène Tahar	Formal Stability Analysis of Optical Resonators.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
21	Wei-Fan Chiang, Ganesh Gopalakrishnan, Guodong Li, Zvonimir Rakamaric	Formal Analysis of GPU Programs with Atomics via Conflict-Directed Delay-Bounding.	NASA Formal Methods	2013	DBLP DOI BibTeX RDF
21	Alessio Ferrari 0001, Alessandro Fantechi, Stefania Gnesi	Lessons Learnt from the Adoption of Formal Model-Based Development.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
21	Willem Penninckx, Jan Tobias Mühlberg, Jan Smans, Bart Jacobs 0002, Frank Piessens	Sound Formal Verification of Linux's USB BP Keyboard Driver.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
21	Patrick Cousot	Formal Verification by Abstract Interpretation.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
21	Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002	Towards a Maude Formal Environment.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
21	Peter Csaba Ölveczky	Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
21	Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcott, Nikil D. Dutt, Nalini Venkatasubramanian	A Formal Methodology for Compositional Cross-Layer Optimization.	Formal Modeling: Actors, Open Systems, Biological Systems	2011	DBLP DOI BibTeX RDF
21	Wilfried Steiner, Bruno Dutertre	Automated Formal Verification of the TTEthernet Synchronization Quality.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
21	Ben Smyth, Mark Ryan 0001, Liqun Chen 0002	Formal Analysis of Anonymity in ECC-Based Direct Anonymous Attestation Schemes.	Formal Aspects in Security and Trust	2011	DBLP DOI BibTeX RDF
21	Eduardo Rafael López Ruiz, Michel Lemoine	Can Regulatory Bodies Expect Efficient Help from Formal Methods?.	NASA Formal Methods	2010	DBLP BibTeX RDF
21	Xiang Yin 0001, John C. Knight	Formal Verification of Large Software Systems.	NASA Formal Methods	2010	DBLP BibTeX RDF
21	Erik Endres, Christian Müller 0009, Andrey Shadrin, Sergey Tverdyshev	Towards the Formal Verification of a Distributed Real-Time Automotive System.	NASA Formal Methods	2010	DBLP BibTeX RDF
21	Sanaz Yeganefard, Michael J. Butler, Abdolbaghi Rezazadeh	Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B.	NASA Formal Methods	2010	DBLP BibTeX RDF
21	Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek	How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project.	NASA Formal Methods	2010	DBLP BibTeX RDF
21	Stéphanie Delaune, Steve Kremer, Mark Dermot Ryan, Graham Steel	A Formal Analysis of Authentication in the TPM.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
21	Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami	09091 Executive Summary - Formal Methods in Molecular Biology.	Formal Methods in Molecular Biology	2009	DBLP BibTeX RDF
21	Rainer Breitling, David Roger Gilbert, Monika Heiner, Corrado Priami	09091 Abstracts Collection - Formal Methods in Molecular Biology.	Formal Methods in Molecular Biology	2009	DBLP BibTeX RDF
21	Zoltán Fülöp 0001, Magnus Steinby	Formal Series of General Algebras over a Field and Their Syntactic Algebras.	Automata, Formal Languages, and Related Topics	2009	DBLP BibTeX RDF
21	Todd Farley	Formal Methods Applications in Air Transportation.	NASA Formal Methods	2009	DBLP BibTeX RDF
21	Bill Othon	Applying Formal Methods to NASA Projects: Transition from Research to Practice.	NASA Formal Methods	2009	DBLP BibTeX RDF
21	Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert	Stochastic Formal Methods for Hybrid Systems.	NASA Formal Methods	2009	DBLP BibTeX RDF
21	Juhan P. Ernits, Richard Dearden, Miles Pebody	Formal Methods for Automated Diagnosis of Autosub 6000.	NASA Formal Methods	2009	DBLP BibTeX RDF
21	Jetty Kleijn, Maciej Koutny	Formal Languages and Concurrent Behaviours.	New Developments in Formal Languages and Applications	2008	DBLP DOI BibTeX RDF
21	Emiliano Lorini, Rino Falcone, Cristiano Castelfranchi	Trust within the Context of Organizations: A Formal Approach.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Santiago Zanella Béguelin	Formal Certification of ElGamal Encryption.	Formal Aspects in Security and Trust	2008	DBLP DOI BibTeX RDF
21	Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott	07351 Executive Summary - Formal Models of Belief Change in Rational Agents.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
21	Giacomo Bonanno, James P. Delgrande, Jérôme Lang, Hans Rott	07351 Abstracts Collection - Formal Models of Belief Change in Rational Agents.	Formal Models of Belief Change in Rational Agents	2007	DBLP BibTeX RDF
21	Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan	07421 Abstracts Collection -- Formal Protocol Verification Applied.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
21	Liqun Chen 0002, Steve Kremer, Mark Dermot Ryan	07421 Executive Summary -- Formal Protocol Verification Applied.	Formal Protocol Verification Applied	2007	DBLP BibTeX RDF
21	Manfred Broy	From "Formal Methods" to System Modeling.	Formal Methods and Hybrid Real-Time Systems	2007	DBLP DOI BibTeX RDF
21	Theodosis Dimitrakos, Fabio Martinelli (eds.)	Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France	Formal Aspects in Security and Trust	2005	DBLP BibTeX RDF
21	Leila Ribeiro 0001, Fernando Luís Dotti, Roswitha Bardohl	A Formal Framework for the Development of Concurrent Object-Based Systems.	Formal Methods in Software and Systems Modeling	2005	DBLP DOI BibTeX RDF
21	Victor L. Winter, Deepak Kapur, G. Fuehrer	Formal Specifcation and Refinement of a Safe Train Control Function.	Formal Methods for Embedded Distributed Systems	2004	DBLP DOI BibTeX RDF
21	Hristo Koshutanski, Fabio Massacci	An Interactive Trust Management and Negotiation Scheme.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Interactive Trust Management, Interactive Access Control, Credential-Based Systems, Logics for Access Control, Trust Management, Internet Computing, Trust Negotiation
21	Erik Rissanen, Babak Sadighi Firozabadi, Marek J. Sergot	Discretionary Overriding of Access Control in the Privilege Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan	Modelling Dynamic Opacity Using Petri Nets with Silent Actions.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	non-deducibility, observable behaviour, silent actions, Petri nets, anonymity, opacity
21	Christian Haack, Alan Jeffrey	Pattern-Matching Spi-Calculus.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Jerry den Hartog, Erik P. de Vink	Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	systematic hardening, simulation, side-channel attack, DPA, power analysis, smartcard, countermeasures, fault analysis
21	Jianqiang Shi, Gregor von Bochmann, Carlisle M. Adams	A Trust Model with Statistical Foundation.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	trust, decision making, utility
21	James Heather, Jonathan Y. Clark	Family Secrets.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Stefano Bistarelli, Simon N. Foley, Barry O'Sullivan	Reasoning about Secure Interoperation Using Soft Constraints.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	constraint satisfaction, Secure interoperation
21	Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro	Security Issues in the Tuple-Space Coordination Model.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Lantian Zheng, Andrew C. Myers	Dynamic Security Labels and Noninterference (Extended Abstract).	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Ricardo Corin, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini, I. Staicu	A Logic for Auditing Accountability in Decentralized Systems.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Information Flow Analysis for Probabilistic Timed Automata.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
21	Claus Pahl	A Formal Composition and Interaction Model for a Web Component Platform.	Formal Methods and Component Interaction @ ICALP	2002	DBLP DOI BibTeX RDF
21	Rebeca P. Díaz Redondo, José Juan Pazos-Arias, Ana Fernández Vilas, Ana Belén Barragáns-Martínez	ARIFS: an Environment for Incomplete and Formal Specifications.	Formal Methods and Component Interaction @ ICALP	2002	DBLP DOI BibTeX RDF
21	Jan Tretmans, Klaas Wijbrans, Michel R. V. Chaudron	Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods.	Formal Methods Syst. Des.	2001	DBLP DOI BibTeX RDF
21	Jeannette M. Wing, Jim Woodcock 0001, Jim Davies (eds.)	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Jeannette M. Wing, Jim Woodcock 0001, Jim Davies (eds.)	FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Jim Alves-Foss, Deborah A. Frincke	Formal Grammar for Java.	Formal Syntax and Semantics of Java	1999	DBLP DOI BibTeX RDF
21	Steve A. Schneider	Abstraction and Testing.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Richard F. Paige, Eric C. R. Hehner	Bunches for Object-Oriented, Concurrent, and Real-Time Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Marine Tabourier, Ana R. Cavalli, Melania Ionescu	A GSM-MAP Protocol Experiment Using Passive Testing.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Michael Jackson 0001	The Role of Formalism in Method.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov	Probabilistic Polynomial-Time Equivalence and Security Analysis.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Jean-François Monin, Francis Klay	Correctness Proof of the Standardized Algorithm for ABR Conformance.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Salimeh Behnia, Hélène Waeselynck	Test Criteria Definition for B Models.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Eric Meyer, Jeanine Souquières	A Systematic Approach to Transform OMT Diagrams to a B Specification.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Stavros Tripakis, Karine Altisen	On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Jean-Michel Couvreur	On-the-Fly Verification of Linear Temporal Logic.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Farn Wang	Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Dusko Pavlovic	Semantics of First Order Parametric Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Riccardo Focardi, Fabio Martinelli	A Uniform Approach for the Definition of Security Properties.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	David Déharbe, Anamaria Martins Moreira	Symbolic Model Checking with Fewer Fixpoint Computations.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Joseph Sifakis	Integration, the Price of Success.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Paul F. Syverson, Stuart G. Stubblebine	Group Principals and the Formalization of Anonymity.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Luis Mandel, María Victoria Cengarle	On the Expressive Power of OCL.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Jan Philipps, Bernhard Rumpe	Refinement of Pipe-and-Filter Architectures.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Steve Dunne	The Safe Machine: A New Specification Construct for B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Martin Büchi, Ralph-Johan Back	Compositional Symmetric Sharing in B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Yann Rouzaud	Interpreting the B-Method in the Refinement Calculus.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Thomas Arts, Mads Dam	Verifying a Distributed Database Lookup Manager Written in Erlang.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Michael J. Butler	csp2B: A Practical Approach to Combining CSP and B.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Enn Tyugu, Mihhail Matskin, Jaan Penjam	Applications of Structural Synthesis of Programs.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	C. A. R. Hoare	Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Reino Kurki-Suonio	Component and Interface Refinement in Closed-System Specifications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini	Formula Based Abstractions of Transition Systems for Real-Time Model Checking.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Frank Reffel, Stefan Edelkamp	Error Detection with Directed Symbolic Model Checking.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Lydie du Bousquet	Feature Interaction Detection Using Testing and Model-Checking Experience Report.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Jin Song Dong, Brendan P. Mahony, Neale Fulton	Modeling Aircraft Mission Computer Task Rates.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Anamaria Martins Moreira	Proof Preservation in Component Generalization.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Eric C. R. Hehner, Andrew M. Gravell	Refinement Semantics and Loop Rules.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Ian MacColl, David A. Carrington	A Model of Specification-Based Testing of Interactive Systems.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Rosa M. Jiménez, Fernando Orejas	An Algebraic Framework for Higher-Order Modules.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
21	Erich Grädel, Marc Spielmann	Logspace Reducibility via Abstract State Machines.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF