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 |
|