2007 share record
persistent URL:
Bernhard K. Aichernig , Bernhard Peischl , Martin Weiglhofer , Franz Wotawa : Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods. SEFM 2007 : 215-226 share record
persistent URL:
Dima Alhadidi , Nadia Belblidia , Mourad Debbabi , Prabir Bhattacharya : An AOP Extended Lambda-Calculus. SEFM 2007 : 183-194 share record
persistent URL:
Domagoj Babic , Alan J. Hu , Zvonimir Rakamaric , Byron Cook : Proving Termination by Divergence. SEFM 2007 : 93-102 share record
persistent URL:
Richard Banach , Czeslaw Jeske , Anthony Hall , Susan Stepney : Retrenchment and the Atomicity Pattern. SEFM 2007 : 37-46 share record
persistent URL:
Ian Bayley : Formalising Design Patterns in Predicate Logic. SEFM 2007 : 25-36 share record
persistent URL:
Bernhard Beckert , Vladimir Klebanov : A Dynamic Logic for Deductive Verification of Concurrent Programs. SEFM 2007 : 141-150 share record
persistent URL:
Marius C. Bujorianu , Manuela-Luminita Bujorianu : An Integrated Specification Framework for Embedded Systems. SEFM 2007 : 161-172 export record
dblp key:
conf/sefm/CalinescuHGDTN07 share record
persistent URL:
Radu Calinescu , Steve Harris , Jeremy Gibbons , Jim Davies , Igor Toujilov , Sylvia B. Nagl : Model-driven architecture for cancer research. SEFM 2007 : 59-68 share record
persistent URL:
Javier Cámara , Gwen Salaün , Carlos Canal : Run-time Composition and Adaptation of Mismatching Behavioural Transactions. SEFM 2007 : 381-390 share record
persistent URL:
Dominique Cansell , J. Paul Gibson , Dominique Méry : Formal verification of tamper-evident storage for e-voting. SEFM 2007 : 329-338 share record
persistent URL:
Pablo F. Castro , T. S. E. Maibaum : An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM 2007 : 151-160 share record
persistent URL:
Robert Colvin , Lindsay Groves : A Scalable Lock-Free Stack Algorithm and its Verification. SEFM 2007 : 339-348 share record
persistent URL:
Byron Cook : Automatically Proving Concurrent Programs Correct. SEFM 2007 : 269-272 share record
persistent URL:
Patrick Cousot : The Rôle of Abstract Interpretation in Formal Methods. SEFM 2007 : 135-140 share record
persistent URL:
David Crocker , Judith Carlton : Verification of C Programs Using Automated Reasoning. SEFM 2007 : 7-14 share record
persistent URL:
Haitao Dan , Robert M. Hierons , Steve Counsell : A Thread-tag Based Semantics for Sequence Diagrams. SEFM 2007 : 173-182 share record
persistent URL:
Xianghua Deng , Robby , John Hatcliff : Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs. SEFM 2007 : 273-282 share record
persistent URL:
Simon Fraser , Richard Banach : Configurable Proof Obligations in the Frog Toolkit. SEFM 2007 : 361-370 share record
persistent URL:
Holger Grandy , Robert Bertossi , Kurt Stenzel , Wolfgang Reif : ASN1-light: A Verified Message Encoding for Security Protocols. SEFM 2007 : 195-204 share record
persistent URL:
Jon G. Hall , Lucia Rapanotti , Michael Jackson : Problem Oriented Software Engineering: A design-theoretic framework for software engineering. SEFM 2007 : 15-24 share record
persistent URL:
Nabil Hameurlain : Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. SEFM 2007 : 391-400 share record
persistent URL:
Michael Jackson : Specialising in Software Engineering. SEFM 2007 : 3 share record
persistent URL:
Bart Jacobs , Peter Müller , Frank Piessens : Sound reasoning about unchecked exceptions. SEFM 2007 : 113-122 share record
persistent URL:
Temesghen Kahsai , Markus Roggenbach , Bernd-Holger Schlingloff : Specification-based testing for refinement. SEFM 2007 : 237-246 share record
persistent URL:
Manish C. Kumar , K. Gopinath : Recovery from DoS Attacks in MIPv6: Modeling and Validation. SEFM 2007 : 205-214 share record
persistent URL:
Ivan Lanese , Francisco Martins , Vasco Thudichum Vasconcelos , António Ravara : Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007 : 305-314 share record
persistent URL:
Kevin Lano : Formal Specification using Interaction Diagrams. SEFM 2007 : 293-304 share record
persistent URL:
Krishna K. Mehra , Sriram K. Rajamani , A. Prasad Sistla , Sumit Kumar Jha : Verification of Object Relational Maps. SEFM 2007 : 283-292 share record
persistent URL:
Farhad Mehta : Supporting Proof in a Reactive Development Environment. SEFM 2007 : 103-112 share record
persistent URL:
Mercedes G. Merayo , Manuel Núñez : Testing conformance on Stochastic Stream X-Machines. SEFM 2007 : 227-236