Search results for "SEFM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Holger Grandy, Robert Bertossi, Kurt Stenzel, Wolfgang Reif	ASN1-light: A Verified Message Encoding for Security Protocols.	SEFM	2007	DBLP DOI BibTeX RDF
1	Marius C. Bujorianu, Manuela-Luminita Bujorianu	An Integrated Specification Framework for Embedded Systems.	SEFM	2007	DBLP DOI BibTeX RDF
1	Mercedes G. Merayo, Manuel Núñez 0001	Testing conformance on Stochastic Stream X-Machines.	SEFM	2007	DBLP DOI BibTeX RDF
1	Richard Banach, Czeslaw Jeske, Anthony Hall, Susan Stepney	Retrenchment and the Atomicity Pattern.	SEFM	2007	DBLP DOI BibTeX RDF
1	Mohamed Mostafa Saleh, Mourad Debbabi	Verifying Security Properties of Cryptoprotocols: A Novel Approach.	SEFM	2007	DBLP DOI BibTeX RDF
1	Indranil Saha, Suman Roy 0001, Kuntal Chakraborty	Modeling and Verification of TTCAN Startup Protocol Using Synchronous Calendar.	SEFM	2007	DBLP DOI BibTeX RDF
1	Patrick Cousot	The Rôle of Abstract Interpretation in Formal Methods.	SEFM	2007	DBLP DOI BibTeX RDF
1	Dima Alhadidi, Nadia Belblidia, Mourad Debbabi, Prabir Bhattacharya	An AOP Extended Lambda-Calculus.	SEFM	2007	DBLP DOI BibTeX RDF
1	Huibiao Zhu, Jifeng He 0001, Jing Li 0062, Jonathan P. Bowen	Algebraic Approach to Linking the Semantics of Web Services.	SEFM	2007	DBLP DOI BibTeX RDF
1	G. Naresh, B. D. Chaudhary	A Model for Temporal relations between Object Roles.	SEFM	2006	DBLP DOI BibTeX RDF	role-oriented modelling, temporal role relation graph, framework, role
1	Dong Ha Nguyen, Mario Südholt	VPA-Based Aspects: Better Support for AOP over Protocols.	SEFM	2006	DBLP DOI BibTeX RDF
1	Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero	A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids.	SEFM	2006	DBLP DOI BibTeX RDF
1	Claude Marché, Nicolas Rousset	Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.	SEFM	2006	DBLP DOI BibTeX RDF	JAVA CARD applets, Card Tears, non-atomic methods, Formal verification, Transactions, JML
1	Ananda Basu, Marius Bozga, Joseph Sifakis	Modeling Heterogeneous Real-time Components in BIP.	SEFM	2006	DBLP DOI BibTeX RDF
1	Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt	Integrating Object-Oriented Design and Deductive Verification of Software.	SEFM	2006	DBLP DOI BibTeX RDF
1	Uday P. Khedker	Static Analysis of Programs: A Heap Centric View.	SEFM	2006	DBLP DOI BibTeX RDF
1	Annapaola Marconi, Marco Pistore, Paolo Traverso	Specifying Data-Flow Requirements for the Automated Composition of Web Services.	SEFM	2006	DBLP DOI BibTeX RDF
1	Aditya Kanade, Amitabha Sanyal, Uday P. Khedker	A PVS Based Framework for Validating Compiler Optimizations.	SEFM	2006	DBLP DOI BibTeX RDF
1	Pemadeep Ramsokul, Arcot Sowmya	ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols.	SEFM	2006	DBLP DOI BibTeX RDF
1	Sriram K. Rajamani	Automatic Property Checking for Software: Past, Present and Future.	SEFM	2006	DBLP DOI BibTeX RDF
1	Nadia Belblidia, Mourad Debbabi	Formalizing AspectJ Weaving for Static Pointcuts.	SEFM	2006	DBLP DOI BibTeX RDF
1	Richard Banach	Retrenchment Tutorial.	SEFM	2006	DBLP DOI BibTeX RDF
1	Silvio Ranise, Calogero G. Zarba	A Theory of Singly-Linked Lists and its Extensible Decision Procedure.	SEFM	2006	DBLP DOI BibTeX RDF
1	María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero 0001	A Semi-Automatic Methodology for Repairing FaultyWeb Sites.	SEFM	2006	DBLP DOI BibTeX RDF
1	Richard Banach, John Derrick	Filtering Retrenchments into Refinements.	SEFM	2006	DBLP DOI BibTeX RDF
1	Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy	A Formal Model of Context-Awareness and Context-Dependency.	SEFM	2006	DBLP DOI BibTeX RDF
1	John M. Rushby	Harnessing Disruptive Innovation in Formal Verification.	SEFM	2006	DBLP DOI BibTeX RDF
1	S. Arun-Kumar	On Bisimilarities Induced by Relations on Actions.	SEFM	2006	DBLP DOI BibTeX RDF
1	Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz	Jose: Aspects for Design by Contract80-89.	SEFM	2006	DBLP DOI BibTeX RDF
1	Bertrand Meyer 0001	The Context of Object Computation (extended abstract).	SEFM	2006	DBLP DOI BibTeX RDF
1	Hemangee K. Kapoor	Formal Modelling and Verification of an Asynchronous DLX Pipeline.	SEFM	2006	DBLP DOI BibTeX RDF
1	Kamal Lodaya	Product Automata and Process Algebra.	SEFM	2006	DBLP DOI BibTeX RDF
1	Yong Zhang, Tao Huang 0001, Jun Wei 0001	Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time.	SEFM	2006	DBLP DOI BibTeX RDF
1	Deepak D'Souza, Madhu Gopinathan	Computing Complete Test Graphs for Hierarchical Systems.	SEFM	2006	DBLP DOI BibTeX RDF
1	John M. Rushby	Tutorial: Automated Formal Methods with PVS, SAL, and Yices.	SEFM	2006	DBLP DOI BibTeX RDF
1	Prahladavaradan Sampath, Shrawan Kumar	Composing Context Sensitive Analysis.	SEFM	2006	DBLP DOI BibTeX RDF
1	Yishai A. Feldman, Leon Gendler	Discern: Towards the Automatic Discovery of Software Contracts.	SEFM	2006	DBLP DOI BibTeX RDF
1	Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh	A Rigorous Approach to Requirements Validation.	SEFM	2006	DBLP DOI BibTeX RDF
1		Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India	SEFM	2006	DBLP BibTeX RDF
1	Pascal Raymond, Erwan Jahier, Yvan Roux	Describing and Executing Random Reactive Systems.	SEFM	2006	DBLP DOI BibTeX RDF
1	G. Murali Krishna	Requirements Modeling -- Experience from an Insurance Project.	SEFM	2006	DBLP DOI BibTeX RDF
1	Shiva Nejati, Arie Gurfinkel, Marsha Chechik	Stuttering Abstraction for Model Checkin.	SEFM	2005	DBLP DOI BibTeX RDF
1	Naiyong Jin, Jifeng He 0001	Towards A Truly Concurrent Model for Processes Sharing Resources.	SEFM	2005	DBLP DOI BibTeX RDF	Trace Model, Resource Sharing, Semantic Model
1	Ernesto Wandeler, Jörn W. Janneck, Edward A. Lee, Lothar Thiele	Counting Interface Automata and their Application in Static Analysis of Actor Models.	SEFM	2005	DBLP DOI BibTeX RDF
1	Bernhard K. Aichernig, Bernhard Beckert (eds.)	Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany	SEFM	2005	DBLP BibTeX RDF
1	Dilian Gurov, Marieke Huisman	Interface Abstraction for Compositional Verificatio.	SEFM	2005	DBLP DOI BibTeX RDF
1	Zsolt Németh, Christian Pérez, Thierry Priol	Workflow Enactment Based on a Chemical Metaphor.	SEFM	2005	DBLP DOI BibTeX RDF
1		External Referees.	SEFM	2005	DBLP DOI BibTeX RDF
1	Lilia Georgieva, Patrick Maier 0001	Description Logics for Shape Analysis.	SEFM	2005	DBLP DOI BibTeX RDF
1		Copyright.	SEFM	2005	DBLP DOI BibTeX RDF
1	Bart Jacobs 0002, Frank Piessens, K. Rustan M. Leino, Wolfram Schulte	Safe Concurrency for Aggregate Objects with Invariants.	SEFM	2005	DBLP DOI BibTeX RDF
1	Frédéric Gervais, Marc Frappier, Régine Laleau	Generating Relational Database Transactions From Recursive Functions Defined on EB3 Traces.	SEFM	2005	DBLP DOI BibTeX RDF
1	Anke Dittmar, Peter Forbrig	A unified description formalism for complex HCI-systems.	SEFM	2005	DBLP DOI BibTeX RDF	Formal models of interactive systems, Integration of HCI theories, Human- Computer Interaction (HCI)
1	Nabil Hameurlain	On Compatibility and Behavioural Substitutability of Component Protocols.	SEFM	2005	DBLP DOI BibTeX RDF
1	Biniam Gebremichael, Frits W. Vaandrager	Specifying Urgency in Timed I/O Automata.	SEFM	2005	DBLP DOI BibTeX RDF
1	Rita Dorofeeva, Nina Yevtushenko 0001, Khaled El-Fakih, Ana R. Cavalli	Experimental Evaluation of FSM-Based Testing Methods.	SEFM	2005	DBLP DOI BibTeX RDF
1	Samuel Colin, Dorian Petit, Vincent Poirriez, Jérôme Rocheteau, Rafael Marcano, Georges Mariano	BRILLANT : An Open Source and XML-based platform for Rigourous Software Development.	SEFM	2005	DBLP DOI BibTeX RDF	proof tools, XML, code generation, tool support, B method, UML modelling
1	Walter Mesquita, Augusto Sampaio, Ana Cristina Vieira de Melo	A Strategy for the Formal Composition of Frameworks.	SEFM	2005	DBLP DOI BibTeX RDF
1	Anthony Hall	Making Formal Methods Work.	SEFM	2005	DBLP DOI BibTeX RDF
1	James Welch, David Faitelson, Jim Davies	Automatic Maintenance of Association Invariants.	SEFM	2005	DBLP DOI BibTeX RDF
1	Ola Olsson, Angela Wallenburg	Customised Induction Rules for Proving Correctness of Imperative Programs.	SEFM	2005	DBLP DOI BibTeX RDF
1	Joseph Kuehn, Charles Lakos, Robert Esser	A Proposal For Relative Time Petri Nets.	SEFM	2005	DBLP DOI BibTeX RDF
1	Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre Courtiat	From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform.	SEFM	2005	DBLP DOI BibTeX RDF
1	Dan Hirsch, Emilio Tuosto	SHReQ: Coordinating Application Level QoS.	SEFM	2005	DBLP DOI BibTeX RDF
1	Dirk Leinenbach, Wolfgang J. Paul, Elena Petrova	Towards the Formal Verification of a C0 Compiler: Code Generation and Implementation Correctnes.	SEFM	2005	DBLP DOI BibTeX RDF
1	Mila Dalla Preda, Roberto Giacobazzi	Control Code Obfuscation by Abstract Interpretation.	SEFM	2005	DBLP DOI BibTeX RDF	Semantics, Program Transformation, Program analysis, Abstract Interpretation, Code Obfuscation
1		Steering Committee.	SEFM	2005	DBLP DOI BibTeX RDF
1	I. S. W. B. Prasetya, A. Azurat, Tanja E. J. Vos, Arthur van Leeuwen	Building Verification Condition Generators by Compositional Extensions.	SEFM	2005	DBLP DOI BibTeX RDF	modular verification, verification tool, verification technique
1	Thomas Wilson, Savi Maharaj, Robert G. Clark	Omnibus Verification Policies: A flexible, configurable approach to assertion-based software verification.	SEFM	2005	DBLP DOI BibTeX RDF
1	Antonio Cerone, Peter A. Lindsay, Simon Connelly	Formal Analysis of Human-computer Interaction using Model-checking.	SEFM	2005	DBLP DOI BibTeX RDF
1	Mark B. Trakhtenbrot	Use of Verification for Testing and Debugging of Complex Reactive Systems.	SEFM	2005	DBLP DOI BibTeX RDF
1	Zoltán Pap, Gyula Csopaki, Sarolta Dibuz	On the Theory of Patching.	SEFM	2005	DBLP DOI BibTeX RDF	optimal patch, edit operations, finite state machine, update, edit distance, patching
1		Preface.	SEFM	2005	DBLP DOI BibTeX RDF
1	Holger Grandy, Kurt Stenzel, Wolfgang Reif	Object Oriented Verification Kernels for Secure Java Applications.	SEFM	2005	DBLP DOI BibTeX RDF
1		Title Page.	SEFM	2005	DBLP DOI BibTeX RDF
1	Siva Anantharaman, Jing Chen, Gaétan Hains	A Synchronous Process Calculus for Service Costs.	SEFM	2005	DBLP DOI BibTeX RDF
1	Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk 0001, Johannes Siedersleben	Pragmatic Consistency Management in Industrial Requirements Specifications.	SEFM	2005	DBLP DOI BibTeX RDF
1		Program Committee.	SEFM	2005	DBLP DOI BibTeX RDF
1	Mahadevan Subramaniam, Jiangfan Shi	Using Dominators to Extract Observable Protocol Contexts.	SEFM	2005	DBLP DOI BibTeX RDF
1	Thierry Hubert, Claude Marché	A case study of C source code verification: the Schorr-Waite algorithm.	SEFM	2005	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino	Invariants on Demand.	SEFM	2005	DBLP DOI BibTeX RDF
1	Gareth Carter, Rosemary Monahan, Joseph M. Morris	Software Refinement with Perfect Developer.	SEFM	2005	DBLP DOI BibTeX RDF
1	Jan Olaf Blech, Lars Gesellensetter, Sabine Glesner	Formal Verification of Dead Code Elimination in Isabelle/HOL.	SEFM	2005	DBLP DOI BibTeX RDF
1	Hui Shi 0001, Robert J. Ross, John A. Bateman	Formalising Control in Robust Spoken Dialogue Systems.	SEFM	2005	DBLP DOI BibTeX RDF
1	Patrice Chalin	Logical Foundations of Program Assertions: What do Practitioners Want?.	SEFM	2005	DBLP DOI BibTeX RDF
1	Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina	Timed Automata with Data Structures for Distributed Systems Design and Analysis.	SEFM	2005	DBLP DOI BibTeX RDF
1	Dines Bjørner	A Cloverleaf of Software Engineering.	SEFM	2005	DBLP DOI BibTeX RDF
1	Hans de Nivelle, Ruzica Piskac	Verification of an Off-Line Checker for Priority Queues.	SEFM	2005	DBLP DOI BibTeX RDF
1	Xiuli Sun, Jinzhao Wu	Operational Semantics for Real-Time Processes with Action Refinement.	SEFM	2005	DBLP DOI BibTeX RDF
1		Conference Chairs.	SEFM	2005	DBLP DOI BibTeX RDF
1	Joseph Sifakis	A Framework for Component-based Construction Extended Abstract.	SEFM	2005	DBLP DOI BibTeX RDF
1	Arshad Jhumka, Martin Hiller	Putting Detectors in Their Place.	SEFM	2005	DBLP DOI BibTeX RDF	design, embedded systems, formal methods, location, resource constraints, Detectors
1	Kerry Trentelman	Proving Correctness of JavaCard DL Taclets using Bali.	SEFM	2005	DBLP DOI BibTeX RDF
1	Gilles Barthe, Mariela Pavlova, Gerardo Schneider	Precise Analysis of Memory Consumption using Program Logics.	SEFM	2005	DBLP DOI BibTeX RDF
1	Stephan Flake, Wolfgang Müller 0003	Past- and Future-Oriented Time-Bounded Temporal Properties with OCL.	SEFM	2004	DBLP DOI BibTeX RDF
1	Zhongjie Li, Xia Yin, Jianping Wu	Distributed Testing of Multi Input/Output Transition System.	SEFM	2004	DBLP DOI BibTeX RDF
1	Linas Laibinis, Elena Troubitsyna	Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.	SEFM	2004	DBLP DOI BibTeX RDF
1		2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 28-30 September 2004, Beijing, China	SEFM	2004	DBLP BibTeX RDF
1	Sabine Moisan, Annie Ressouche, Jean-Paul Rigault	Towards Formalizing Behavioral Substitutability in Component Frameworks.	SEFM	2004	DBLP DOI BibTeX RDF
1	Jayadev Misra	A Programming Model for the Orchestration of Web Services.	SEFM	2004	DBLP DOI BibTeX RDF

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