default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th SEFM 2006: Pune, India
- Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 11-15 September 2006, Pune, India. IEEE Computer Society 2006, ISBN 0-7695-2678-0
Invited Papers
- Ananda Basu, Marius Bozga, Joseph Sifakis:
Modeling Heterogeneous Real-time Components in BIP. 3-12 - Bertrand Meyer:
The Context of Object Computation (extended abstract). 13-17 - Sriram K. Rajamani:
Automatic Property Checking for Software: Past, Present and Future. 18-20 - John M. Rushby:
Harnessing Disruptive Innovation in Formal Verification. 21-30
Contributed Papers
- María Alpuente
, Demis Ballis, Moreno Falaschi, Daniel Romero:
A Semi-Automatic Methodology for Repairing FaultyWeb Sites. 31-40 - S. Arun-Kumar:
On Bisimilarities Induced by Relations on Actions. 41-49 - Nadia Belblidia, Mourad Debbabi:
Formalizing AspectJ Weaving for Static Pointcuts. 50-59 - Richard Banach, John Derrick:
Filtering Retrenchments into Refinements. 60-69 - Deepak D'Souza, Madhu Gopinathan:
Computing Complete Test Graphs for Hierarchical Systems. 70-79 - Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz:
Jose: Aspects for Design by Contract80-89. 80-89 - Yishai A. Feldman, Leon Gendler:
Discern: Towards the Automatic Discovery of Software Contracts. 90-99 - G. Naresh, B. D. Chaudhary:
A Model for Temporal relations between Object Roles. 100-107 - Aditya Kanade, Amitabha Sanyal, Uday P. Khedker:
A PVS Based Framework for Validating Compiler Optimizations. 108-117 - Hemangee K. Kapoor:
Formal Modelling and Verification of an Asynchronous DLX Pipeline. 118-127 - Kamal Lodaya:
Product Automata and Process Algebra. 128-136 - Claude Marché, Nicolas Rousset:
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears. 137-146 - Annapaola Marconi, Marco Pistore, Paolo Traverso:
Specifying Data-Flow Requirements for the Automated Composition of Web Services. 147-156 - G. Murali Krishna:
Requirements Modeling -- Experience from an Insurance Project. 157-166 - Dong Ha Nguyen, Mario Südholt:
VPA-Based Aspects: Better Support for AOP over Protocols. 167-176 - Mats Neovius, Kaisa Sere, Lu Yan, Manoranjan Satpathy:
A Formal Model of Context-Awareness and Context-Dependency. 177-185 - Prahladavaradan Sampath, Shrawan Kumar:
Composing Context Sensitive Analysis. 186-195 - Pemadeep Ramsokul, Arcot Sowmya:
ASEHA: A Framework for Modelling and Verification ofWeb Services Protocols. 196-205 - Silvio Ranise, Calogero G. Zarba:
A Theory of Singly-Linked Lists and its Extensible Decision Procedure. 206-215 - Pascal Raymond, Erwan Jahier, Yvan Roux:
Describing and Executing Random Reactive Systems. 216-225 - Cássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero:
A Bag-of-Tasks Approach for State Space Exploration Using Computational Grids. 226-235 - Srihari Sukumaran, Ashok Sreenivas, R. Venkatesh:
A Rigorous Approach to Requirements Validation. 236-245 - Yong Zhang, Tao Huang, Jun Wei:
Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and Time. 246-258
Tutorials
- Richard Banach:
Retrenchment Tutorial. 259 - Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt:
Integrating Object-Oriented Design and Deductive Verification of Software. 260 - Uday P. Khedker:
Static Analysis of Programs: A Heap Centric View. 261 - John M. Rushby:
Tutorial: Automated Formal Methods with PVS, SAL, and Yices. 262
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-02 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
