| 2004 | Modelling Coordination in Biological Systems. | Dave Clarke, David Costa, Farhad Arbab |
| 2004 | Modelling Coordination in Biological Systems. | Dave Clarke, David Costa, Farhad Arbab |
| 2004 | Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. | Sren Christensen, Jens Bk Jrgensen, Antti-Pekka Tuovinen, Jianli Xu |
| 2004 | Verification of an avionic system using timed model checking. | Francois Carcenac, Frdric Boniol |
| 2004 | Verifying parametrized, featured networks by abstraction. | Muffy Calder, Alice Miller |
| 2004 | The ProC/B-Approach from informal descriptions to formal models. | Peter Buchholz, Falko Bause, Carsten Tepper |
| 2004 | An industrial-strength formal method -- A Modest survey. | Henrik C. Bohnenkamp, Holger Hermanns, David N. Jansen, Joost-Pieter Katoen, Yaroslav S. Usenko |
| 2004 | A class Diagram framework for collecting dependability requirements in automation systems. | Simona Bernardi, Susanna Donatelli, Giovanna Dondossola |
| 2004 | Automatic Generation of Path Conditions for Timed Systems. | Saddek Bensalem, Doron A. Peled, Hongyang Qu, Stavros Tripakis |
| 2004 | Embedding Finite Automata within regular Expressions. | Shoham Ben-David, Dana Fisman, Sitvanit Ruah |
| 2004 | Project Management for Process Management - a Procedural Model for Process-Oriented Reorganisation Projects. | Jrg Becker |
| 2004 | Efficient SAT-based Bounded Model Checking for Software Verification. | Pranav Ashar, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Zijiang Yang |
| 2004 | Interaction and Coordination of Tools for Structured Data. | Farhad Arbab, Joost N. Kok |
| 2004 | Decreasing Maintenance Costs by Introducing Formal Models and Analysis of Real-Time Systems in Industrial Settings. | Johan Andersson, Christer Norstrm, Anders Wall |
| 2004 | Compositional Specification of Commercial Contracts. | Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen |
| 2004 | Bridging the gap between formal and experimental validation approaches in HCI systems design: use of the event B proof based technique. | Yamine At Ameur, Mickal Baron |
| 2004 | EZPetri: A Petri net interchange framework for Eclipse based on PNML. | Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel |
| 2004 | Automated Verification of Web Sites Using Partial Rewriting. | Mara Alpuente, Demis Ballis, Moreno Falaschi |
| 2004 | Need for Rigorous Methods and Tools in Collaborative Mobile Software Solutions - a Use Case Study on a "Travel Service Application". | Rey Abe, Martin Beinhart, Stefan Biffl, Eva Khn, Markus Ly, Bettina Thurnher |
| 2004 | Designing Safe, Reliable Systems using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |
| 2004 | Designing Safe, Reliable Systems Using Scade. | Parosh Aziz Abdulla, Johann Deneux, Gunnar Stlmarck, Herman gren, Ove kerlund |