![](https://dblp.uni-trier.de./img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de./img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de./img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de./img/search.dark.16x16.png)
default search action
4th 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
![](https://dblp.uni-trier.de./img/cog.dark.24x24.png)
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.