Browse by Type

Mohammad Reza, Sarshogh and Michael, Butler (2012) Extending Event-B with Discrete Timing Properties. Special Issue on Automated Verification of Critical Systems . (Submitted)

Hayes, Ian J. and Jones, Cliff B. and Colvin, Robert J. (2012) Refining rely-guarantee thinking. Formal Aspects of Computing, (submi . (Submitted)

Hayes, Ian J. and Burns, Alan and Dongol, Brijesh and Jones, Cliff B. (2012) Comparing Models of Nondeterministic Expression Evaluation. The Computer Journal, (submi . (Submitted)

Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander and Varpaaniemi, Kimmo and Ilic, Dubravka and Latvala, Timo (2012) Developing Mode-Rich Satellite Software by Refinement in Event-B. Science of Computer Programming. Accepted. In press . (In Press)

Hoang, Thai Son (2012) Security Invariants in Discrete Transition Systems. Formal Aspects of Computing . (In Press)

Hoang, Thai Son and McIver, Annabelle and Meinicke, Larrisa and Morgan, Carroll and Sloane, Anthony and Susatyo, Enrico (2012) Abstractions of Non-interference Security: Probabilistic versus Possibilistic. Formal Aspects of Computing . (In Press)

Butler, Michael (2012) External and internal choice with event groups in Event-B. FORMAL ASPECTS OF COMPUTING, 24 (4-6). pp. 555-567.

Alexander, Romanovsky (2012) Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project. ACM SIGSOFT Software Engineering Notes, 5 .

Hudon, Simon and Hoang, Thai Son (2011) Development of Control Systems Guided by Models of Their Environment. Electronic Notes in Theoretical Computer Science, 280 . pp. 57-68.

Bryans, Jeremy W. (2011) Developing a Consensus Algorithm Using Stepwise Refinement. Proceedings of the 13th international conference on Formal methods and software engineering, LNCS (6991). pp. 553-568.

Silva, Renato and Pascal, Carine and Hoang, Thai Son and Butler, Michael (2011) Decomposition Tool for Event-B. Software: Practice and Experience, 41 (2). pp. 199-208.

Schmalz, Matthias (2011) Term Rewriting in Logics of Partial Functions. Proceedings of ICFEM 2011 . (In Press)

Jastram, Michael (2011) ProR - Eine Softwareplattform f"\ur Requirements Engineering. Softwaretechnik-Trends, 31 (1).

Jastram, Michael and Graf, Andreas (2011) Requirements Modeling Framework. Eclipse Magazin, 6.11 .

Jones, Cliff B. and Pierce, Ken G. (2011) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, 23 (3). pp. 289-306.

Mohammad Reza, Sarshogh and Michael, Butler (2011) Specification and refinement of discrete timing properties in Event-B. Automated Verification of Critical Systems 2011, 46 . ISSN 1863-2122

Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2011) Event-B Patterns and Their Tool Support. Software and Systems Modelling .

Hoang, Thai Son and Iliasov, Alexei and Silva, Renato and Wei , Wei (2011) A Survey on Event-B Decomposition. ECEASST, 46 .

Yeganefard, Sanaz and Butler, Michael and Rezazadeh, Abdolbaghi (2010) Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B. NASA Formal Methods Symposium 2010 . (In Press)

Abrial, Jean-Raymond and Butler, Michael and Hallerstede, Stefan and Hoang, Thai Son and Mehta, Farhad and Voisin, Laurent (2010) Rodin: An Open Toolset for Modelling and Reasoning in Event-B. International Journal on Software Tools for Technology Transfer (STTT) .

Bryans, Jeremy W. and Wei , Wei (2010) Formal Analysis of BPMN Models Using Event-B. Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems . pp. 33-49.

Jones, Cliff B. and Pierce, Ken G. (2010) Elucidating concurrent algorithms via layers of abstraction and reification. Formal Aspects of Computing, online .

Yilmaz, Emre and Hoang, Thai Son (2010) Development of Rabin's Choice Coordination algorithm in Event-B. ECEASST, 35 .

Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing topology discovery in Event-B. Science of Computer Programming, 74 (11-12). pp. 879-899.

Hoang, Thai Son and Fürst, Andreas and Abrial, Jean-Raymond (2009) Event-B Patterns and Their Tool Support. 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods . pp. 210-219.

Bicarregui, J. C. and Fitzgerald, J. S. and Larsen, P. G. and Woodcock, J. C. P. (2009) Industrial Practice in Formal Methods: a Review. FM 2009: Formal Methods, LNCS 5 . (In Press)

Hoang, Thai Son and Kuruma, Hironobu and Basin, David and Abrial, Jean-Raymond (2009) Developing Topology Discovery in Event-B. Integrated Formal Methods . pp. 1-19.

Capozucca, Alfredo and Guelfi, Nicolas and Pelliccione, Patrizio and Romanovsky, Alexander and Zorzo, Avelino (2009) Frameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study. Journal of Systems and Software, 82 . pp. 207-228.

Castor Filho, Fernando and Romanovsky, Alexander and Rubira, Cecilia (2009) Improving reliability of cooperative concurrent systems with exception flow analysis. The Journal of Systems and Software, 82 . pp. 874-890.

Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, Andreas (2009) Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware. Proceedings 14th IEEE International Conference on Engineering of Complex Computer Systems ICECCS 2009. . pp. 68-77.

Wieczorek, S. and Roth, A. and Stefanescu, A. and Kozyura, V. and Charfi, A. and Kraft, F. M. and Schieferdecker, I. (2009) Viewpoints for Modeling Choreographies in Service-Oriented Architectures. Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture 2009 . (In Press)

Wieczorek, S. and Kozyura, V. and Roth, A. and Leuschel, Michael and Bendisposto, Jens and Plagge, Daniel and Schieferdecker, I. (2009) Applying Model Checking to Generate Model-based Integration Tests from Choreography Models. 21st IFIP Int. Conference on Testing of Communicating Systems and the 9th Int. Workshop on Formal Approaches to Testing of Software TESTCOM/FATES 2009 . (In Press)

Woodcock, Jim and Larsen, Peter Gorm and Bicarregui, Juan and Fitzgerald, John S. (2009) Formal Methods: Practice and Experience. ACM Computing Surveys, 41 (4). pp. 1-36.

Ponsard, Christophe and Dallons, Gautier and Philippe, Massonet (2008) From Rigorous Requirements Engineering to Formal System Design of Safety-Critical Systems. ERCIM News (75). pp. 22-23. ISSN ISSN 0926-4981

Guelfi, Nicolas and Muccini, Henry and Pelliccione, Patrizio and Romanovsky, Alexander (2008) Engineering Fault Tolerant Systems (Special issue). Computer Systems Science and Engineering, 23 (5). pp. 1-3.

Romanovsky, Alexander (2008) DEPLOY: Industrial Deployment of Advanced System Engineering Methods for High Productivity and Dependability. ERCIM News (74). pp. 54-55.

Fitzgerald, John S and Jones, Cliff B (2008) The connection between two ways of reasoning about partial functions. Information Processing Letters, 107 (3-4). pp. 128-132.

Butler, Michael and Yadav, Divakar (2008) An Incremental Development of the Mondex System in Event-B. Formal Aspects of Computing, 20 (1). pp. 61-77.

Snook, Colin and Poppleton, Michael and Johnson, Ian (2008) Rigorous engineering of product-line requirements: a case study in failure management. Information and Software Technology, 50 (1-2). pp. 112-129.

Leuschel, Michael and Butler, Michael (2008) ProB: An Automated Analysis Toolset for the B Method. International Journal on Software Tools for Technology Transfer, 10 (2). pp. 185-203.

Fitzgerald, John S and Bryans, Jeremy W and Greathead, David and Jones, Clifff B and Payne, Richard (2008) Animation-based Validation of a Formal Model of Dynamic Virtual Organisations. Electronic Workshops in Computing, http:/ .

Bendisposto, Jens and Leuschel, Michael and Ligot, Olivier and Samia, Mireille (2008) La validation de modèles Event-B avec le plug-in ProB pour RODIN. TSI . pp. 1065-1084.

Romanovsky, Alexander (2008) DEPLOY: industrial deployment of advanced system engineering methods for high productivity and dependability. SIGSOFT Software Engineering Notes, 33 (6).

Razali, Rozilawati and Snook, Colin and Poppleton, Michael and Garratt, Paul (2008) Usability Assessment of a UML-based Formal Modelling Method Using Cognitive Dimensions Framework. Human Technology: An Interdisciplinary Journal on Humans in ICT Environments .

Mazzara, Manuel Deriving Specifications of Dependable Systems: toward a Method. EWDC 2009 .

Mazzara, Manuel and Dragoni, Nicola A Formal Semantics for the WS-BPEL Recovery Framework: The pi-Calculus Way. WSFM 2009 .

Mazzara, Manuel and Bhattacharyya, Anirban On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. Proceedings of DEPEND 2010 .

MAMMAR, AMEL and Laleau, Régine Modeling a Landing Gear System in Event-B.