Search results for "SEFM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Davide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco	Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths.	SEFM	2009	DBLP DOI BibTeX RDF
1	John M. Rushby	Software Verification and System Assurance.	SEFM	2009	DBLP DOI BibTeX RDF
1	César Andrés, Mercedes G. Merayo, Manuel Núñez 0001	Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission Protocol.	SEFM	2009	DBLP DOI BibTeX RDF
1	Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider	LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper).	SEFM	2009	DBLP DOI BibTeX RDF
1	Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey	A Computability Perspective on Self-Modifying Programs.	SEFM	2009	DBLP DOI BibTeX RDF
1	Robert M. Hierons, Manuel Núñez 0001	Simulation Relations for Systems with Distributed Interfaces.	SEFM	2009	DBLP DOI BibTeX RDF
1	Robert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün	Checking Sequence Construction Using Adaptive and Preset Distinguishing Sequences.	SEFM	2009	DBLP DOI BibTeX RDF
1	Mahadevan Subramaniam, Bo Guo, Zoltán Pap	Using Change Impact Analysis to Select Tests for Extended Finite State Machines.	SEFM	2009	DBLP DOI BibTeX RDF
1	Jonathan Ezekiel, Alessio Lomuscio	An Automated Approach to Verifying Diagnosability in Multi-agent Systems.	SEFM	2009	DBLP DOI BibTeX RDF
1	Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi 0001	Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.	SEFM	2009	DBLP DOI BibTeX RDF
1	Bertrand Jeannet	Relational Interprocedural Verification of Concurrent Programs.	SEFM	2009	DBLP DOI BibTeX RDF
1	Dang Van Hung, Padmanabhan Krishnan (eds.)	Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009	SEFM	2009	DBLP BibTeX RDF
1	Patrice Chalin	Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less.	SEFM	2009	DBLP DOI BibTeX RDF
1	Yojiro Kawamata, Christian Sommer 0001, Fuyuki Ishikawa, Shinichi Honiden	Specifying and Checking Refinement Relationships in VDM++.	SEFM	2009	DBLP DOI BibTeX RDF
1	Elisabeth Lien, Peter Csaba Ölveczky	Formal Modeling and Analysis of an IETF Multicast Protocol.	SEFM	2009	DBLP DOI BibTeX RDF
1	Gregor Goessler, Jean-Baptiste Raclet	Modal Contracts for Component-Based Design.	SEFM	2009	DBLP DOI BibTeX RDF
1	Cristiano Bertolini, Alexandre Mota 0001	Using Probabilistic Model Checking to Evaluate GUI Testing Techniques.	SEFM	2009	DBLP DOI BibTeX RDF
1	Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen	Completeness of Pointer Program Verification by Separation Logic.	SEFM	2009	DBLP DOI BibTeX RDF
1	Ninh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen 0001	Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.	SEFM	2009	DBLP DOI BibTeX RDF
1	Jewgenij Botaschanjan, Alexander Harhurin	Property-Driven Scenario Integration.	SEFM	2009	DBLP DOI BibTeX RDF
1	Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial	Event-B Patterns and Their Tool Support.	SEFM	2009	DBLP DOI BibTeX RDF
1	Alcino Cunha, Hugo Pacheco 0001	Mapping between Alloy Specifications and Database Implementations.	SEFM	2009	DBLP DOI BibTeX RDF
1	Benjamin Hummel, Judith Thyssen	Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables.	SEFM	2009	DBLP DOI BibTeX RDF
1	Pietro Ferrara 0001	Checkmate: A Generic Static Analyzer of Java Multithreaded Programs.	SEFM	2009	DBLP DOI BibTeX RDF
1	Matthias Daum 0001, Norbert Schirmer, Mareike Schmidt	Implementation Correctness of a Real-Time Operating System.	SEFM	2009	DBLP DOI BibTeX RDF
1	Thang H. Bui, Albert Nymeyer	Heuristic Sensitivity in Guided Random-Walk Based Model Checking.	SEFM	2009	DBLP DOI BibTeX RDF
1	Dang Viet Dzung, Atsushi Ohnishi	Ontology-Based Reasoning in Requirements Elicitation.	SEFM	2009	DBLP DOI BibTeX RDF
1	Do Thi Bich Ngoc, Mizuhito Ogawa	Overflow and Roundoff Error Analysis via Model Checking.	SEFM	2009	DBLP DOI BibTeX RDF
1	Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa	Refinement via Interpretation.	SEFM	2009	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi	Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking.	SEFM	2008	DBLP DOI BibTeX RDF
1	Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro	Bridging the Gap between Interaction- and Process-Oriented Choreographies.	SEFM	2008	DBLP DOI BibTeX RDF
1	Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff	Specification-Based Testing for Software Product Lines.	SEFM	2008	DBLP DOI BibTeX RDF
1	Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke 0001	Modeling Component Connectors: Synchronisation and Context-Dependency.	SEFM	2008	DBLP DOI BibTeX RDF
1	Bo Guo, Mahadevan Subramaniam	Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover.	SEFM	2008	DBLP DOI BibTeX RDF
1	Ina Schaefer, Arnd Poetzsch-Heffter	Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems.	SEFM	2008	DBLP DOI BibTeX RDF
1	Agostino Cortesi	Widening Operators for Abstract Interpretation.	SEFM	2008	DBLP DOI BibTeX RDF
1	Marcel Vinícius Medeiros Oliveira, Alessandro Cavalcante Gurgel, Cristiano Gurgel de Castro	CRefine: Support for the Circus Refinement Calculus.	SEFM	2008	DBLP DOI BibTeX RDF
1	Leila Silva, Augusto Sampaio, Zhiming Liu 0001	Laws of Object-Orientation with Reference Semantics.	SEFM	2008	DBLP DOI BibTeX RDF
1	Henri Hansen, Jaco Geldenhuys	Cheap and Small Counterexamples.	SEFM	2008	DBLP DOI BibTeX RDF
1	Michael Carl Tschantz, Jeannette M. Wing	Extracting Conditional Confidentiality Policies.	SEFM	2008	DBLP DOI BibTeX RDF
1	Simplice Djoko Djoko, Rémi Douence, Pascal Fradet	Specialized Aspect Languages Preserving Classes of Properties.	SEFM	2008	DBLP DOI BibTeX RDF
1	Roberto Giacobazzi	Abstract Interpretation in Code Security.	SEFM	2008	DBLP DOI BibTeX RDF
1	Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar 0001	Restricted Broadcast Process Theory.	SEFM	2008	DBLP DOI BibTeX RDF
1	Youcef Hammal	Behavioral Compatibility of Active Components.	SEFM	2008	DBLP DOI BibTeX RDF
1	Christoph Gladisch	Verification-Based Test Case Generation for Full Feasible Branch Coverage.	SEFM	2008	DBLP DOI BibTeX RDF
1	Antonio Cerone, Stefan Gruner (eds.)	Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008	SEFM	2008	DBLP BibTeX RDF
1	Tuan-Hung Pham, Anh-Hoang Truong, Ninh-Thuan Truong, Wei-Ngan Chin	A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets.	SEFM	2008	DBLP DOI BibTeX RDF
1	Peter Höfner, Ridha Khédri, Bernhard Möller	Algebraic View Reconciliation.	SEFM	2008	DBLP DOI BibTeX RDF
1	Rimvydas Ruksenas, Paul Curzon, Ann Blandford	Modelling Rational User Behaviour as Games between an Angel and a Demon.	SEFM	2008	DBLP DOI BibTeX RDF
1	Martin Fränzle, Michael R. Hansen	Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations.	SEFM	2008	DBLP DOI BibTeX RDF
1	Adilson Luiz Bonifácio, Arnaldo Vieira Moura, Adenilso da Silva Simão	A Generalized Model-Based Test Generation Method.	SEFM	2008	DBLP DOI BibTeX RDF
1	Fausto Spoto	Nullness Analysis in Boolean Form.	SEFM	2008	DBLP DOI BibTeX RDF
1	Alexander K. Petrenko, Olga L. Petrenko	Formal Methods and Innovation Economy: Facing New Challenges.	SEFM	2008	DBLP DOI BibTeX RDF
1	Sophie Quinton, Susanne Graf	Contract-Based Verification of Hierarchical Systems of Components.	SEFM	2008	DBLP DOI BibTeX RDF
1	Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez 0001	Extending Stream X-Machines to Specify and Test Systems with Timeouts.	SEFM	2008	DBLP DOI BibTeX RDF
1	Valentin Goranko, Dmitry Shkatov	Tableau-Based Decision Procedure for the Multi-agent Epistemic Logic with Operators of Common and Distributed Knowledge.	SEFM	2008	DBLP DOI BibTeX RDF
1	Percy Antonio Pari Salas, Padmanabhan Krishnan	Testing Privacy Policies Using Models.	SEFM	2008	DBLP DOI BibTeX RDF
1	Markus Roggenbach	Tools for CSP.	SEFM	2008	DBLP DOI BibTeX RDF
1	Gilles Barthe, César Kunz, David Pichardie, Julián Samborski-Forlese	Preservation of Proof Pbligations for Hybrid Verification Methods.	SEFM	2008	DBLP DOI BibTeX RDF
1	Gwen Salaün	Generation of Service Wrapper Protocols from Choreography Specifications.	SEFM	2008	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Damian Sulewski	Flash-Efficient LTL Model Checking with Minimal Counterexamples.	SEFM	2008	DBLP DOI BibTeX RDF
1	Gogul Balakrishnan, Malay K. Ganai	PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes.	SEFM	2008	DBLP DOI BibTeX RDF
1	Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh 0002, K. C. Shashidhar	Behaviour Directed Testing of Auto-code Generators.	SEFM	2008	DBLP DOI BibTeX RDF
1	Eduardo Tavares, Bruno Silva 0001, Paulo Romero Martins Maciel	An Environment for Measuring and Scheduling Time-Critical Embedded Systems with Energy Constraints.	SEFM	2008	DBLP DOI BibTeX RDF
1	Pietro Ferrara 0001	Static Analysis of the Determinism of Multithreaded Programs.	SEFM	2008	DBLP DOI BibTeX RDF
1	Kleber S. Xavier, Simone Hanazumi, Ana Cristina Vieira de Melo	Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs.	SEFM	2008	DBLP DOI BibTeX RDF
1	Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens Wollenhaupt	Ontology-Based Automatic Model Transformations.	SEFM	2008	DBLP DOI BibTeX RDF
1	Anh-Hoang Truong, Thanh-Binh Trinh, Dang Van Hung, Viet Ha Nguyen 0001, Nguyen Thi Thu Trang, Pham Dinh Hung	Checking Interface Interaction Protocols Using Aspect-Oriented Programming.	SEFM	2008	DBLP DOI BibTeX RDF
1	Puneet Bhateja, Madhavan Mukund	Tagging Make Local Testing of Message-Passing Systems Feasible.	SEFM	2008	DBLP DOI BibTeX RDF
1	Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta	Object Models with Temporal Constraints.	SEFM	2008	DBLP DOI BibTeX RDF
1	Radu Calinescu, Steve Harris, Jeremy Gibbons, Jim Davies, Igor Toujilov, Sylvia B. Nagl	Model-driven architecture for cancer research.	SEFM	2007	DBLP DOI BibTeX RDF
1	Jon G. Hall, Lucia Rapanotti, Michael Jackson 0001	Problem Oriented Software Engineering: A design-theoretic framework for software engineering.	SEFM	2007	DBLP DOI BibTeX RDF
1	Prahladavaradan Sampath, A. C. Rajeev, K. C. Shashidhar, S. Ramesh 0002	How to Test Program Generators? A Case Study using flex.	SEFM	2007	DBLP DOI BibTeX RDF
1	Simon Fraser, Richard Banach	Configurable Proof Obligations in the Frog Toolkit.	SEFM	2007	DBLP DOI BibTeX RDF
1	Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook	Proving Termination by Divergence.	SEFM	2007	DBLP DOI BibTeX RDF
1	Steve Reeves, David Streader	Feature Refinement.	SEFM	2007	DBLP DOI BibTeX RDF
1	Bernhard K. Aichernig, Bernhard Peischl, Martin Weiglhofer, Franz Wotawa	Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.	SEFM	2007	DBLP DOI BibTeX RDF
1	David Crocker, Judith Carlton	Verification of C Programs Using Automated Reasoning.	SEFM	2007	DBLP DOI BibTeX RDF
1	Pablo F. Castro, T. S. E. Maibaum	An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.	SEFM	2007	DBLP DOI BibTeX RDF
1	Farhad Mehta	Supporting Proof in a Reactive Development Environment.	SEFM	2007	DBLP DOI BibTeX RDF
1		Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK	SEFM	2007	DBLP BibTeX RDF
1	Neha Rungta, Eric G. Mercer	Hardness for Explicit State Software Model Checking Benchmarks.	SEFM	2007	DBLP DOI BibTeX RDF
1	Juan Ignacio Perna, Chris George	Model Checking RAISE Applicative Specifications.	SEFM	2007	DBLP DOI BibTeX RDF
1	Bernhard Beckert, Vladimir Klebanov	A Dynamic Logic for Deductive Verification of Concurrent Programs.	SEFM	2007	DBLP DOI BibTeX RDF
1	Nabil Hameurlain	Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification.	SEFM	2007	DBLP DOI BibTeX RDF
1	Javier Cámara, Gwen Salaün, Carlos Canal	Run-time Composition and Adaptation of Mismatching Behavioural Transactions.	SEFM	2007	DBLP DOI BibTeX RDF
1	Dominique Cansell, J. Paul Gibson, Dominique Méry	Formal verification of tamper-evident storage for e-voting.	SEFM	2007	DBLP DOI BibTeX RDF
1	Robert Colvin, Lindsay Groves	A Scalable Lock-Free Stack Algorithm and its Verification.	SEFM	2007	DBLP DOI BibTeX RDF
1	Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha 0001	Verification of Object Relational Maps.	SEFM	2007	DBLP DOI BibTeX RDF
1	Michael Jackson 0001	Specialising in Software Engineering.	SEFM	2007	DBLP DOI BibTeX RDF
1	Byron Cook	Automatically Proving Concurrent Programs Correct.	SEFM	2007	DBLP DOI BibTeX RDF
1	Bart Jacobs 0002, Peter Müller 0001, Frank Piessens	Sound reasoning about unchecked exceptions.	SEFM	2007	DBLP DOI BibTeX RDF
1	Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara	Disciplining Orchestration and Conversation in Service-Oriented Computing.	SEFM	2007	DBLP DOI BibTeX RDF
1	Haitao Dan, Robert M. Hierons, Steve Counsell	A Thread-tag Based Semantics for Sequence Diagrams.	SEFM	2007	DBLP DOI BibTeX RDF	Partially ordered multiset, Thread tag, Semantics, Concurrency, Object-Oriented, Sequence Diagram
1	Manish C. Kumar, K. Gopinath	Recovery from DoS Attacks in MIPv6: Modeling and Validation.	SEFM	2007	DBLP DOI BibTeX RDF
1	Peter H. Schmitt, Isabel Tonin	Verifying the Mondex Case Study.	SEFM	2007	DBLP DOI BibTeX RDF
1	Xianghua Deng, Robby, John Hatcliff	Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs.	SEFM	2007	DBLP DOI BibTeX RDF
1	Ian Bayley	Formalising Design Patterns in Predicate Logic.	SEFM	2007	DBLP DOI BibTeX RDF
1	Kevin Lano	Formal Specification using Interaction Diagrams.	SEFM	2007	DBLP DOI BibTeX RDF
1	Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff	Specification-based testing for refinement.	SEFM	2007	DBLP DOI BibTeX RDF

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