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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 240-249, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | John M. Rushby |
Software Verification and System Assurance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 3-10, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 73-82, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider |
LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 33-37, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey |
A Computability Perspective on Self-Modifying Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 231-239, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Robert M. Hierons, Manuel Núñez 0001 |
Simulation Relations for Systems with Distributed Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 41-50, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 157-166, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 93-102, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Ezekiel, Alessio Lomuscio |
An Automated Approach to Verifying Diagnosability in Multi-agent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 51-60, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 13-22, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Bertrand Jeannet |
Relational Interprocedural Verification of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 83-92, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![IEEE Computer Society, 978-0-7695-3870-9 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
1 | Patrice Chalin |
Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 317-324, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Yojiro Kawamata, Christian Sommer 0001, Fuyuki Ishikawa, Shinichi Honiden |
Specifying and Checking Refinement Relationships in VDM++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 220-227, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elisabeth Lien, Peter Csaba Ölveczky |
Formal Modeling and Analysis of an IETF Multicast Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 273-282, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Goessler, Jean-Baptiste Raclet |
Modal Contracts for Component-Based Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 295-303, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Cristiano Bertolini, Alexandre Mota 0001 |
Using Probabilistic Model Checking to Evaluate GUI Testing Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 115-124, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen |
Completeness of Pointer Program Verification by Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 179-188, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 201-209, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Jewgenij Botaschanjan, Alexander Harhurin |
Property-Driven Scenario Integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 147-156, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thai Son Hoang, Andreas Fürst, Jean-Raymond Abrial |
Event-B Patterns and Their Tool Support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 210-219, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alcino Cunha, Hugo Pacheco 0001 |
Mapping between Alloy Specifications and Database Implementations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 285-294, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Hummel, Judith Thyssen |
Behavioral Specification of Reactive Systems Using Stream-Based I/O Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 137-146, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001 |
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 169-178, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Daum 0001, Norbert Schirmer, Mareike Schmidt |
Implementation Correctness of a Real-Time Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 23-32, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thang H. Bui, Albert Nymeyer |
Heuristic Sensitivity in Guided Random-Walk Based Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 125-134, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Dang Viet Dzung, Atsushi Ohnishi |
Ontology-Based Reasoning in Requirements Elicitation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 263-272, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Do Thi Bich Ngoc, Mizuhito Ogawa |
Overflow and Roundoff Error Analysis via Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 105-114, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Manuel A. Martins 0001, Alexandre Madeira, Luís Soares Barbosa |
Refinement via Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Seventh IEEE International Conference on Software Engineering and Formal Methods, SEFM 2009, Hanoi, Vietnam, 23-27 November 2009, pp. 250-259, 2009, IEEE Computer Society, 978-0-7695-3870-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi |
Hiding Information in Completeness Holes: New Perspectives in Code Obfuscation and Watermarking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 7-18, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro |
Bridging the Gap between Interaction- and Process-Oriented Choreographies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 323-332, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
Specification-Based Testing for Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 149-158, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Izadi, Marcello M. Bonsangue, Dave Clarke 0001 |
Modeling Component Connectors: Synchronisation and Context-Dependency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 303-312, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bo Guo, Mahadevan Subramaniam |
Formal Change Impact Analyses of Extended Finite State Machines Using a Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 335-344, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Ina Schaefer, Arnd Poetzsch-Heffter |
Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 95-104, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Agostino Cortesi |
Widening Operators for Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 31-40, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 281-290, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Leila Silva, Augusto Sampaio, Zhiming Liu 0001 |
Laws of Object-Orientation with Reference Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 217-226, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Henri Hansen, Jaco Geldenhuys |
Cheap and Small Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 53-62, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Carl Tschantz, Jeannette M. Wing |
Extracting Conditional Confidentiality Policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 107-116, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Simplice Djoko Djoko, Rémi Douence, Pascal Fradet |
Specialized Aspect Languages Preserving Classes of Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 227-236, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi |
Abstract Interpretation in Code Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 3, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fatemeh Ghassemi, Wan J. Fokkink, Ali Movaghar 0001 |
Restricted Broadcast Process Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 345-354, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Youcef Hammal |
Behavioral Compatibility of Active Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 372-376, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Gladisch |
Verification-Based Test Case Generation for Full Feasible Branch Coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 159-168, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![IEEE Computer Society, 978-0-7695-3437-4 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 259-267, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Peter Höfner, Ridha Khédri, Bernhard Möller |
Algebraic View Reconciliation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 85-94, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Rimvydas Ruksenas, Paul Curzon, Ann Blandford |
Modelling Rational User Behaviour as Games between an Angel and a Demon. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 355-364, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Martin Fränzle, Michael R. Hansen |
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 63-72, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 139-148, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Spoto |
Nullness Analysis in Boolean Form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 21-30, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexander K. Petrenko, Olga L. Petrenko |
Formal Methods and Innovation Economy: Facing New Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 367-371, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Sophie Quinton, Susanne Graf |
Contract-Based Verification of Hierarchical Systems of Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 377-381, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 201-210, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 237-246, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Percy Antonio Pari Salas, Padmanabhan Krishnan |
Testing Privacy Policies Using Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 117-126, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Markus Roggenbach |
Tools for CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 213-214, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 127-136, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gwen Salaün |
Generation of Service Wrapper Protocols from Choreography Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 313-322, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Edelkamp, Damian Sulewski |
Flash-Efficient LTL Model Checking with Minimal Counterexamples. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 73-82, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gogul Balakrishnan, Malay K. Ganai |
PED: Proof-Guided Error Diagnosis by Triangulation of Program Error Causes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 268-278, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Prahladavaradan Sampath, A. C. Rajeev, S. Ramesh 0002, K. C. Shashidhar |
Behaviour Directed Testing of Auto-code Generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 191-200, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 291-300, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001 |
Static Analysis of the Determinism of Multithreaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 41-50, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 181-190, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Kurt Geihs, Philipp A. Baer, Roland Reichle, Jens Wollenhaupt |
Ontology-Based Automatic Model Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 387-391, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 382-386, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Puneet Bhateja, Madhavan Mukund |
Tagging Make Local Testing of Message-Passing Systems Feasible. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 171-180, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
Object Models with Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Sixth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008, Cape Town, South Africa, 10-14 November 2008, pp. 249-258, 2008, IEEE Computer Society, 978-0-7695-3437-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 59-68, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 15-24, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 80-92, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Simon Fraser, Richard Banach |
Configurable Proof Obligations in the Frog Toolkit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 361-370, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Domagoj Babic, Alan J. Hu, Zvonimir Rakamaric, Byron Cook |
Proving Termination by Divergence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 93-102, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Steve Reeves, David Streader |
Feature Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 371-380, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 215-226, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David Crocker, Judith Carlton |
Verification of C Programs Using Automated Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 7-14, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 151-160, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Mehta |
Supporting Proof in a Reactive Development Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 103-112, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![IEEE Computer Society, 978-0-7695-2884-7 The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
1 | Neha Rungta, Eric G. Mercer |
Hardness for Explicit State Software Model Checking Benchmarks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 247-256, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Juan Ignacio Perna, Chris George |
Model Checking RAISE Applicative Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 257-268, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Beckert, Vladimir Klebanov |
A Dynamic Logic for Deductive Verification of Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 141-150, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Nabil Hameurlain |
Flexible Behavioural Compatibility and Substitutability for Component Protocols: A Formal Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 391-400, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Javier Cámara, Gwen Salaün, Carlos Canal |
Run-time Composition and Adaptation of Mismatching Behavioural Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 381-390, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Cansell, J. Paul Gibson, Dominique Méry |
Formal verification of tamper-evident storage for e-voting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 329-338, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Robert Colvin, Lindsay Groves |
A Scalable Lock-Free Stack Algorithm and its Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 339-348, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Krishna K. Mehra, Sriram K. Rajamani, A. Prasad Sistla, Sumit Kumar Jha 0001 |
Verification of Object Relational Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 283-292, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Michael Jackson 0001 |
Specialising in Software Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 3, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Byron Cook |
Automatically Proving Concurrent Programs Correct. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 269-272, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0002, Peter Müller 0001, Frank Piessens |
Sound reasoning about unchecked exceptions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 113-122, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara |
Disciplining Orchestration and Conversation in Service-Oriented Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 305-314, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Haitao Dan, Robert M. Hierons, Steve Counsell |
A Thread-tag Based Semantics for Sequence Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 173-182, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 205-214, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Peter H. Schmitt, Isabel Tonin |
Verifying the Mondex Case Study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 47-58, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 273-282, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ian Bayley |
Formalising Design Patterns in Predicate Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 25-36, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Lano |
Formal Specification using Interaction Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 293-304, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Temesghen Kahsai, Markus Roggenbach, Bernd-Holger Schlingloff |
Specification-based testing for refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEFM ![In: Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, England, UK, pp. 237-246, 2007, IEEE Computer Society, 978-0-7695-2884-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|