Search results for "iFM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Gwen Salaün, Tevfik Bultan	Realizability of Choreographies Using Process Algebra Encodings.	IFM	2009	DBLP DOI BibTeX RDF
1	Nikola Benes, Lubos Brim, Ivana Cerná, Jiri Sochor, Pavlína Vareková, Barbora Zimmerová	Partial Order Reduction for State/Event LTL.	IFM	2009	DBLP DOI BibTeX RDF
1	Jordi Cabot, Robert Clarisó, Daniel Riera	Verifying UML/OCL Operation Contracts.	IFM	2009	DBLP DOI BibTeX RDF
1	Michael J. Butler	Decomposition Structures for Event-B.	IFM	2009	DBLP DOI BibTeX RDF
1	Gordon J. Pace, Gerardo Schneider	Challenges in the Specification of Full Contracts.	IFM	2009	DBLP DOI BibTeX RDF
1	Steve A. Schneider, Helen Treharne	Changing System Interfaces Consistently: A New Refinement Strategy for CSP\|\|B.	IFM	2009	DBLP DOI BibTeX RDF
1	Ralf Lämmel, Vadim Zaytsev	An Introduction to Grammar Convergence.	IFM	2009	DBLP DOI BibTeX RDF
1	Johan Dovland, Einar Broch Johnsen, Olaf Owe, Martin Steffen	Incremental Reasoning for Multiple Inheritance.	IFM	2009	DBLP DOI BibTeX RDF
1	Jérémy Milhau, Benoît Fraikin, Marc Frappier	Automatic Generation of Error Messages for the Symbolic Execution of EB3 Process Expressions.	IFM	2009	DBLP DOI BibTeX RDF
1	Michael Leuschel, Heike Wehrheim (eds.)	Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings	IFM	2009	DBLP DOI BibTeX RDF
1	Robert Colvin, Ian J. Hayes	CSP with Hierarchical State.	IFM	2009	DBLP DOI BibTeX RDF
1	Sebastian Voss, Maria Sorea, Klaus Echtle	SAL-Based Symbolic Scheduling in Time-Triggered Networks.	IFM	2009	DBLP DOI BibTeX RDF
1	Osman Hasan, Naeem Abbasi, Sofiène Tahar	Formal Probabilistic Analysis of Stuck-at Faults in Reconfigurable Memory Arrays.	IFM	2009	DBLP DOI BibTeX RDF
1	Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George	Model Checking LTL Formulae in RAISE with FDR.	IFM	2009	DBLP DOI BibTeX RDF	model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL
1	Astrid Rakow	Decompositional Petri Net Reductions.	IFM	2009	DBLP DOI BibTeX RDF
1	Thai Son Hoang, Hironobu Kuruma, David A. Basin, Jean-Raymond Abrial	Developing Topology Discovery in Event-B.	IFM	2009	DBLP DOI BibTeX RDF
1	Zarrin Langari, Richard J. Trefler	Application of Graph Transformation in Verification of Dynamic Systems.	IFM	2009	DBLP DOI BibTeX RDF
1	Benjamin Weiß 0001	Predicate Abstraction in a Program Logic Calculus.	IFM	2009	DBLP DOI BibTeX RDF
1	Eerke A. Boiten, John Derrick	Modelling Divergence in Relational Concurrent Refinement.	IFM	2009	DBLP DOI BibTeX RDF	internal operations, process algebraic refinement preorders, simulations, divergence, Data refinement
1	Peter Y. H. Wong, Jeremy Gibbons	Property Specifications for Workflow Modelling.	IFM	2009	DBLP DOI BibTeX RDF
1	Frank Zeyda, Ana Cavalcanti 0001	Mechanised Translation of Control Law Diagrams into Circus.	IFM	2009	DBLP DOI BibTeX RDF	ClawZ, verification, CSP, Z, Simulink
1	Byron Cook	Taming the Unbounded for Hardware Synthesis.	IFM	2009	DBLP DOI BibTeX RDF
1	Thang H. Bui, Albert Nymeyer	Formal Verification Based on Guided Random Walks.	IFM	2009	DBLP DOI BibTeX RDF
1	Zijiang Yang 0006, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu	Dynamic Path Reduction for Software Model Checking.	IFM	2009	DBLP DOI BibTeX RDF
1	Jan Stöcker, Frédéric Lang, Hubert Garavel	Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format.	IFM	2009	DBLP DOI BibTeX RDF
1	Nazareno Aguirre, Germán Regis, T. S. E. Maibaum	Verifying Temporal Properties of CommUnity Designs.	IFM	2007	DBLP DOI BibTeX RDF
1	Alessandra Cavarra, James Welch	Behavioural Specifications from Class Models.	IFM	2007	DBLP DOI BibTeX RDF
1	Robert Colvin, Lars Grunske, Kirsten Winter	Probabilistic Timed Behavior Trees.	IFM	2007	DBLP DOI BibTeX RDF	model checking, probabilities, timed automata, Behavior Trees
1	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn	Verifying Smart Card Applications: An ASM Approach.	IFM	2007	DBLP DOI BibTeX RDF
1	Stefan Hallerstede, Thai Son Hoang	Qualitative Probabilistic Modelling in Event-B.	IFM	2007	DBLP DOI BibTeX RDF
1	Björn Metzler 0001	Decomposing Integrated Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF	Integrated Formal Specifications, Model Checking, Decomposition, Program Slicing, Compositional Verification
1	Michael Anthony Smith, Jeremy Gibbons	Unifying Theories of Objects.	IFM	2007	DBLP DOI BibTeX RDF
1	Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader	Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks.	IFM	2007	DBLP DOI BibTeX RDF
1	Osman Hasan, Sofiène Tahar	Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function.	IFM	2007	DBLP DOI BibTeX RDF	Higher-Order-Logic, Interactive Theorem Proving, HOL, Probabilistic Systems, Cumulative Distribution Function
1	Weiqiang Kong, Kazuhiro Ogata 0001, Kokichi Futatsugi	Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System.	IFM	2007	DBLP DOI BibTeX RDF
1	Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee	Translating FSP into LOTOS and Networks of Automata.	IFM	2007	DBLP DOI BibTeX RDF
1	Jim Davies, Jeremy Gibbons (eds.)	Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings	IFM	2007	DBLP DOI BibTeX RDF
1	Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse	Integrating Verification, Testing, and Learning for Cryptographic Protocols.	IFM	2007	DBLP DOI BibTeX RDF
1	Jean-François Couchot, Frédéric Dadeau	Guiding the Correction of Parameterized Specifications.	IFM	2007	DBLP DOI BibTeX RDF
1	John Derrick, Gerhard Schellhorn, Heike Wehrheim	Proving Linearizability Via Non-atomic Refinement.	IFM	2007	DBLP DOI BibTeX RDF	refinement, CSP, Object-Z, linearizability, concurrent access
1	Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans	Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.	IFM	2007	DBLP DOI BibTeX RDF
1	Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink	Co-simulation of Distributed Embedded Real-Time Control Systems.	IFM	2007	DBLP DOI BibTeX RDF	VDM++, simulation, continuous time, bond graphs, discrete event
1	Steve Dunne, Andy Galloway	Lifting General Correctness into Partial Correctness is ok.	IFM	2007	DBLP DOI BibTeX RDF
1	Christie Marr	Capturing Conflict and Confusion in CSP.	IFM	2007	DBLP DOI BibTeX RDF	Interleaving Concurrency, Petri Nets, CSP, Conflict, Automatic Verification, True Concurrency, Confusion
1	Andrew Butterfield, Adnan Sherif, Jim Woodcock 0001	Slotted-Circus.	IFM	2007	DBLP DOI BibTeX RDF
1	Daniel Plagge, Michael Leuschel	Validating Z Specifications Using the ProBAnimator and Model Checker.	IFM	2007	DBLP DOI BibTeX RDF
1	Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik	Finding State Solutions to Temporal Logic Queries.	IFM	2007	DBLP DOI BibTeX RDF
1	Yifeng Chen	Inheriting Laws for Processes with States.	IFM	2007	DBLP DOI BibTeX RDF
1	Damien Karkinsky, Steve A. Schneider, Helen Treharne	Combining Mobility with State.	IFM	2007	DBLP DOI BibTeX RDF
1	Tobe Toben	Non-interference Properties for Data-Type Reduction of Communicating Systems.	IFM	2007	DBLP DOI BibTeX RDF
1	Daniel Sinnig, Patrice Chalin, Ferhat Khendek	Common Semantics for Use Cases and Task Models.	IFM	2007	DBLP DOI BibTeX RDF	requirements, Use cases, task models, formal semantics, labeled transition systems, partial order sets
1	Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi	Automated Verification of Security Policies in Mobile Code.	IFM	2007	DBLP DOI BibTeX RDF
1	Jens R. Calamé, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova	Bug Hunting with False Negatives.	IFM	2007	DBLP DOI BibTeX RDF
1	Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang 0001	Verification of Multi-agent Negotiations Using the Alloy Analyzer.	IFM	2007	DBLP DOI BibTeX RDF
1	Jifeng He 0001	UTP Semantics for Web Services.	IFM	2007	DBLP DOI BibTeX RDF
1	Hendrik Post, Wolfgang Küchlin	Integrated Static Analysis for Linux Device Driver Verification.	IFM	2007	DBLP DOI BibTeX RDF
1	Ingo Brückner	Slicing Concurrent Real-Time System Specifications for Verification.	IFM	2007	DBLP DOI BibTeX RDF
1	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
1	Larissa Meinicke, Graeme Smith 0001	A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems.	IFM	2007	DBLP DOI BibTeX RDF	reliability, real-time, probability, refinement, action systems
1	Lars Michael Kristensen, Michael Westergaard, Peder Christian Nørgaard	Model-Based Prototyping of an Interoperability Protocol for Mobile Ad-Hoc Networks.	IFM	2005	DBLP DOI BibTeX RDF	Model-driven prototyping, mobile ad-hoc network, animation, Coloured Petri Nets
1	Judi Romijn, Graeme Smith 0001, Jaco van de Pol (eds.)	Integrated Formal Methods, 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005, Proceedings	IFM	2005	DBLP DOI BibTeX RDF
1	Saddek Bensalem, Doron A. Peled, Hongyang Qu 0001, Stavros Tripakis	Generating Path Conditions for Timed Systems.	IFM	2005	DBLP DOI BibTeX RDF
1	Lars Grunske, Peter A. Lindsay, Nisansala Yatapanage, Kirsten Winter	An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.	IFM	2005	DBLP DOI BibTeX RDF	Automated Hazard Analysis, High-Level Design Specification, Model Checking, FMEA, SAL, Behavior Trees
1	Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller	Formal Methods Meet Domain Specific Languages.	IFM	2005	DBLP DOI BibTeX RDF	scheduling, formal methods, refinements, decision procedure, DSL
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Synthesizing B Specifications from EB3 Attribute Definitions.	IFM	2005	DBLP DOI BibTeX RDF	data integrity constraints, Information systems, pattern matching, attributes, B, recursive functions
1	Héctor Ruíz Barradas, Didier Bert	A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions.	IFM	2005	DBLP DOI BibTeX RDF	unity logic, weak fairness, minimal progress, set transformer, fairness, action systems, Liveness properties, fixpoints, event systems
1	Dieu Donné Okalas Ossami, Jean-Pierre Jacquot, Jeanine Souquières	Consistency in UML and B Multi-view Specifications.	IFM	2005	DBLP DOI BibTeX RDF	UML, verification, consistency, operator, B, multi-view
1	Vitus S. W. Lam, Julian A. Padget	Consistency Checking of Sequence Diagrams and Statechart Diagrams Using the pi-Calculus.	IFM	2005	DBLP DOI BibTeX RDF
1	Tim Miller 0001, Leo Freitas, Petra Malik, Mark Utting	CZT Support for Z Extensions.	IFM	2005	DBLP DOI BibTeX RDF	Standard Z, typechecking, animation, framework, design patterns, parsing, Object-Z, AST, TCOZ
1	Richard F. Paige, Phillip J. Brooke	Agile Formal Method Engineering.	IFM	2005	DBLP DOI BibTeX RDF
1	Kenneth J. Turner	Formalising Interactive Voice Services with SDL.	IFM	2005	DBLP DOI BibTeX RDF	IVR (Interactive Voice Response), SDL (Specification and Description Language), VoiceXML (Voice eXtensible Markup Language), Service, Feature
1	Kun Wei, James Heather	Embedding the Stable Failures Model of CSP in PVS.	IFM	2005	DBLP DOI BibTeX RDF	CSP, deadlock, determinism, liveness, theorem prover
1	Patrice Godefroid, Nils Klarlund	Software Model Checking: Searching for Computations in the Abstract or the Concrete.	IFM	2005	DBLP DOI BibTeX RDF
1	Robi Malik, Partha S. Roop	Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study.	IFM	2005	DBLP DOI BibTeX RDF	embedded systems, Formal verification, finite-state machines, bisimulation, supervisory control, specification matching
1	Shane Bracher, Padmanabhan Krishnan	Enabling Security Testing from Specification to Code.	IFM	2005	DBLP DOI BibTeX RDF	protocol descriptions, concrete test sequences, model-based testing, security modelling
1	David Lorge Parnas	A Family of Mathematical Methods for Professional Software Documentation.	IFM	2005	DBLP DOI BibTeX RDF
1	Bikram Sengupta, Rance Cleaveland	An Integrated Framework for Scenarios and State Machines.	IFM	2005	DBLP DOI BibTeX RDF	refinement orderings, scenarios, state-machines, heterogeneous specifications
1	Gwen Salaün, Wendelin Serwe	Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS.	IFM	2005	DBLP DOI BibTeX RDF
1	Steve A. Schneider, Helen Treharne, Neil Evans	Chunks: Component Verification in CSP\|\|B.	IFM	2005	DBLP DOI BibTeX RDF	Component based verification, decomposition, CSP, B-Method
1	Frédéric Lang	Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods.	IFM	2005	DBLP DOI BibTeX RDF
1	Pontus Boström, Marina Waldén	Development of Fault Tolerant Grid Applications Using Distributed B.	IFM	2005	DBLP DOI BibTeX RDF	Fault tolerance, Grid computing, Domain specific languages, Language extensions, Event B, Stepwise development
1	Sagar Chaki, Edmund M. Clarke, Orna Grumberg, Joël Ouaknine, Natasha Sharygina, Tayssir Touili, Helmut Veith	State/Event Software Verification for Branching-Time Specifications.	IFM	2005	DBLP DOI BibTeX RDF	Concurrent Software Model Checking, State/Event-based Verification, Branching-time Temporal Logic, Automated Abstraction Refinement
1	Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom Kelsey, Ursula Martin	Design Verification for Control Engineering.	IFM	2004	DBLP DOI BibTeX RDF
1	Bernhard Beckert, Steffen Schlager	Software Verification with Integrated Data Type Refinement for Integer Arithmetic.	IFM	2004	DBLP DOI BibTeX RDF	UML/OCL, Java, specification, Software verification, data refinement, integer arithmetic
1	Eerke A. Boiten, John Derrick, Graeme Smith 0001 (eds.)	Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings	IFM	2004	DBLP DOI BibTeX RDF
1	Paul Curzon, Ann Blandford	Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors.	IFM	2004	DBLP DOI BibTeX RDF	user error, formal verification, Cognitive architecture, design rules
1	Tiberiu Seceleanu, Juha Plosila	Constituent Elements of a Correctness-Preserving UML Design Approach.	IFM	2004	DBLP DOI BibTeX RDF	UML, refinement, Action Systems
1	Francisco José Galán Morillo, José Miguel Cañete Valdeón	A Method for Compiling and Executing Expressive Assertions.	IFM	2004	DBLP DOI BibTeX RDF	programming with assertions, meaning-preservingtransformation, formal specification, testing, logic program, correctness, Assertion, program synthesis
1	Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani	SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft.	IFM	2004	DBLP DOI BibTeX RDF
1	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	State/Event-Based Software Model Checking.	IFM	2004	DBLP DOI BibTeX RDF
1	Jin Song Dong, Shengchao Qin, Jun Sun 0001	Generating MSCs from an Integrated Formal Specification Language.	IFM	2004	DBLP DOI BibTeX RDF	Requirement Engineering, MSC, TCOZ
1	Xu Wang 0001, A. W. Roscoe 0001, Ranko Lazic 0001	Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.	IFM	2004	DBLP DOI BibTeX RDF	Trace refinement, Model checking, CSP, Array, Reachability, Data independence
1	Kevin Lano, David Clark 0001, Kelly Androutsopoulos	UML to B: Formal Verification of Object-Oriented Models.	IFM	2004	DBLP DOI BibTeX RDF	UML-RSDS, Graphical Specifications, UML, B
1	Kirsten Winter	Formalising Behaviour Trees with CSP.	IFM	2004	DBLP DOI BibTeX RDF	Behaviour Trees, model checking, Requirements engineering, CSP
1	Gabriel Ciobanu, Dorel Lucanu	Specification and Verification of Synchronizing Concurrent Objects.	IFM	2004	DBLP DOI BibTeX RDF	hidden algebra, model checking, integration, temporal logics, Algebraic specification, concurrent systems, CCS, object-oriented specification
1	Luke Wildman, Roger Duke, Paul A. Strooper	Viewpoint-Based Testing of Concurrent Components.	IFM	2004	DBLP DOI BibTeX RDF	Test Template Framework, Java, Concurrency, Viewpoints, Object-Z
1	Cécile Bui Thanh, Hanna Klaudel	Object-Oriented Modelling with High-Level Modular Petri Nets.	IFM	2004	DBLP DOI BibTeX RDF
1	Steve A. Schneider, Helen Treharne	Verifying Controlled Components.	IFM	2004	DBLP DOI BibTeX RDF
1	Adalberto Farias, Alexandre Mota 0001, Augusto Sampaio	Efficient CSPZ Data Abstraction.	IFM	2004	DBLP DOI BibTeX RDF	Integrated formalism, CSPZ, Java, model checking, verification, specification, tool support, data abstraction
1	Bill J. Ellis, Andrew Ireland	An Integration of Program Analysis and Automated Theorem Proving.	IFM	2004	DBLP DOI BibTeX RDF

Publications at "iFM"( http://dblp.L3S.de/Venues/iFM )