Conferences in DBLP

Conference on Software Engineering and Formal Methods (SEFM) (sefm)
2006 (conf/sefm/2006)

1. Ananda Basu, Marius Bozga, Joseph Sifakis
   Modeling Heterogeneous Real-time Components in BIP. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:3-12 [Conf]
   
2. Bertrand Meyer
   The Context of Object Computation (extended abstract). [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:13-17 [Conf]
   
3. Sriram K. Rajamani
   Automatic Property Checking for Software: Past, Present and Future. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:18-20 [Conf]
   
4. John M. Rushby
   Harnessing Disruptive Innovation in Formal Verification. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:21-30 [Conf]
   
5. María Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero
   A Semi-Automatic Methodology for Repairing FaultyWeb Sites. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:31-40 [Conf]
   
6. S. Arun-Kumar
   On Bisimilarities Induced by Relations on Actions. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:41-49 [Conf]
   
7. Nadia Belblidia, Mourad Debbabi
   Formalizing AspectJ Weaving for Static Pointcuts. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:50-59 [Conf]
   
8. Richard Banach, John Derrick
   Filtering Retrenchments into Refinements. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:60-69 [Conf]
   
9. Deepak D'Souza, Madhu Gopinathan
   Computing Complete Test Graphs for Hierarchical Systems. [Citation Graph (0, 0)][DBLP]
   SEFM, 2006, pp:70-79 [Conf]
   
10. Yishai A. Feldman, Ohad Barzilay, Shmuel Tyszberowicz
    Jose: Aspects for Design by Contract80-89. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:80-89 [Conf]
    
11. Yishai A. Feldman, Leon Gendler
    Discern: Towards the Automatic Discovery of Software Contracts. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:90-99 [Conf]
    
12. G. Naresh, B. D. Chaudhary
    A Model for Temporal relations between Object Roles. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:100-107 [Conf]
    
13. Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
    A PVS Based Framework for Validating Compiler Optimizations. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:108-117 [Conf]
    
14. Hemangee K. Kapoor
    Formal Modelling and Verification of an Asynchronous DLX Pipeline. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:118-127 [Conf]
    
15. Kamal Lodaya
    Product Automata and Process Algebra. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:128-136 [Conf]
    
16. Claude Marché, Nicolas Rousset
    Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:137-146 [Conf]
    
17. Annapaola Marconi, Marco Pistore, Paolo Traverso
    Specifying Data-Flow Requirements for the Automated Composition of Web Services. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:147-156 [Conf]
    
18. G. Murali Krishna
    Requirements Modeling -- Experience from an Insurance Project. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:157-166 [Conf]
    
19. Dong Ha Nguyen, Mario Südholt
    VPA-Based Aspects: Better Support for AOP over Protocols. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:167-176 [Conf]
    
20. Mats Neovius, Kaisa Sere, Lu Yan, M. Satpathy
    A Formal Model of Context-Awareness and Context-Dependency. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:177-185 [Conf]
    
21. Prahladavaradan Sampath, Shrawan Kumar
    Composing Context Sensitive Analysis. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:186-195 [Conf]
    
22. Pemadeep Ramsokul, Arcot Sowmya
    ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:196-205 [Conf]
    
23. Silvio Ranise, Calogero G. Zarba
    A Theory of Singly-Linked Lists and its Extensible Decision Procedure. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:206-215 [Conf]
    
24. Pascal Raymond, Erwan Jahier, Yvan Roux
    Describing and Executing Random Reactive Systems. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:216-225 [Conf]
    
25. Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton D. S. Guerrero
    A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:226-235 [Conf]
    
26. Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh
    A Rigorous Approach to Requirements Validation. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:236-245 [Conf]
    
27. Yong Zhang, Tao Huang, Jun Wei
    Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:246-258 [Conf]
    
28. Richard Banach
    Retrenchment Tutorial. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:259- [Conf]
    
29. Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt
    Integrating Object-Oriented Design and Deductive Verification of Software. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:260- [Conf]
    
30. Uday P. Khedker
    Static Analysis of Programs: A Heap Centric View. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:261- [Conf]
    
31. John M. Rushby
    Tutorial: Automated Formal Methods with PVS, SAL, and Yices. [Citation Graph (0, 0)][DBLP]
    SEFM, 2006, pp:262- [Conf]