Conferences in DBLP

Integrated Formal Methods (IFM) (ifm)
2007 (conf/ifm/2007)

1. Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
   Verifying Temporal Properties of CommUnity Designs. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:1-20 [Conf]
   
2. Oliver Au, Roger Stone, John Cooke
   Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:21-36 [Conf]
   
3. Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
   Automated Verification of Security Policies in Mobile Code. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:37-53 [Conf]
   
4. Ingo Brückner
   Slicing Concurrent Real-Time System Specifications for Verification. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:54-74 [Conf]
   
5. Andrew Butterfield, Adnan Sherif, Jim Woodcock
   Slotted-Circus. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:75-97 [Conf]
   
6. Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova
   Bug Hunting with False Negatives. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:98-117 [Conf]
   
7. Alessandra Cavarra, James Welch
   Behavioural Specifications from Class Models. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:118-137 [Conf]
   
8. Yifeng Chen
   Inheriting Laws for Processes with States. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:138-155 [Conf]
   
9. Robert Colvin, Lars Grunske, Kirsten Winter
   Probabilistic Timed Behavior Trees. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:156-175 [Conf]
   
10. Jean-Francois Couchot, Frédéric Dadeau
    Guiding the Correction of Parameterized Specifications. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:176-194 [Conf]
    
11. John Derrick, Gerhard Schellhorn, Heike Wehrheim
    Proving Linearizability Via Non-atomic Refinement. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:195-214 [Conf]
    
12. Steve Dunne, Andy Galloway
    Lifting General Correctness into Partial Correctness is ok. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:215-232 [Conf]
    
13. Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
    Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:233-252 [Conf]
    
14. Ansgar Fehnker, Lodewijk van Hoesel, Angelika Mader
    Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:253-272 [Conf]
    
15. Mihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik
    Finding State Solutions to Temporal Logic Queries. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:273-292 [Conf]
    
16. Stefan Hallerstede, Thai Son Hoang
    Qualitative Probabilistic Modelling in Event-B. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:293-312 [Conf]
    
17. Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
    Verifying Smart Card Applications: An ASM Approach. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:313-332 [Conf]
    
18. Osman Hasan, Sofiène Tahar
    Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:333-352 [Conf]
    
19. He Jifeng
    UTP Semantics for Web Services. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:353-372 [Conf]
    
20. Damien Karkinsky, Steve A. Schneider, Helen Treharne
    Combining Mobility with State. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:373-392 [Conf]
    
21. Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi
    Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:393-412 [Conf]
    
22. Christie Marr
    Capturing Conflict and Confusion in CSP. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:413-438 [Conf]
    
23. Larissa Meinicke, Graeme Smith
    A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:439-458 [Conf]
    
24. Björn Metzler
    Decomposing Integrated Specifications for Verification. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:459-479 [Conf]
    
25. Daniel Plagge, Michael Leuschel
    Validating Z Specifications Using the ProBAnimator and Model Checker. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:480-500 [Conf]
    
26. Rodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang
    Verification of Multi-agent Negotiations Using the Alloy Analyzer. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:501-517 [Conf]
    
27. Hendrik Post, Wolfgang Küchlin
    Integrated Static Analysis for Linux Device Driver Verification. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:518-537 [Conf]
    
28. Martijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse
    Integrating Verification, Testing, and Learning for Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:538-557 [Conf]
    
29. Gwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee
    Translating FSP into LOTOS and Networks of Automata. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:558-578 [Conf]
    
30. Daniel Sinnig, Patrice Chalin, Ferhat Khendek
    Common Semantics for Use Cases and Task Models. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:579-598 [Conf]
    
31. Michael Anthony Smith, Jeremy Gibbons
    Unifying Theories of Objects. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:599-618 [Conf]
    
32. Tobe Toben
    Non-interference Properties for Data-Type Reduction of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:619-638 [Conf]
    
33. Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink
    Co-simulation of Distributed Embedded Real-Time Control Systems. [Citation Graph (0, 0)][DBLP]
    IFM, 2007, pp:639-658 [Conf]