Items where Subject is "Methodology > Proof and model checking"

Voisin, Laurent (2012) More Abstraction. In: AI meets Formal Software Development, 01-06.07.2012, Schloss Dagstuhl, Germany.

Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura (2012) Formal development and assessment of a reconfigurable on-board satellite system. In: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany. (In Press)

Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Development of Critical Multi-Agent Systems: A Refinement Approach. In: 9th European Dependable Computing Conference – EDCC 2012, Sibiu, Romania.

Pereverzeva, Inna and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Goal-Oriented Development of Resilient Multi-Agent Systems in Event-B. In: 17th International Conference on Reliable Soft- ware Technologies (Ada-Europe 2012), Stokholm, Sweden.

Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas (2012) Formal Modelling and Verification of Service-Oriented Systems in Probabilistic Event-B. In: 9th International Conference on Integrated Formal Methods – IFM 2012, Pisa, Italy. (In Press)

Prokhorova, Yuliya and Laibinis, Linas and Troubitsyna, Elena and Varpaaniemi, Kimmo and Latvala, Timo (2011) Derivation and Formal Verification of a Mode Logic for Layered Control Systems. In: The 18th Asia-Pacific Software Engineering Conference (APSEC 2011), Ho Chi Minh, Vietnam.

Grotsev, Denis and Iliasov, Alexei and Romanovsky, Alexander (2011) Formal Stepwise Development of Scalable and Reliable Multiagent Systems. In: Dependability and Computer Engineering: Concepts for Software-Intensive Systems. IGI Global. ISBN ISBN13: 9781609607470

Iliasov, Alexei and Romanovsky, Alexander (2011) Scaling Event-B to industrial applications: the role of formal design decomposition (Industry Paper). In: 22nd IEEE International Symposium on Software Reliability Engineering, Nov 29 - Dec 2, 2011, Hiroshima, Japan.

Snook, Colin and Savicks, Vitaly and Butler, Michael (2011) Verification of UML models by translation to UML-B. In: Formal Methods for Components and Objects, 29 Nov 2010, Graz.

Jones, C. B. and Lovert, M. J. (2010) Semantic Models for a Logic of Partial Functions. Technical Report. Newcastle University .

Ponsard, Christophe and De Landtsheer, Renaud (2010) Comparison of the AADL and Event-B Model-Based Tool Chains for Designing Embedded Systems. In: First Workshop on Hands-on Platforms and tools for model-based engineering of Embedded Systems, 15 June 2010, Paris, Université Pierre et Marie Curie. (In Press)

Grov, Gudmund and Jones, Cliff B. (2010) AI4FM: A New Project Seeking Challenges! Technical Report. Newcastle University .

Jones, Cliff B. and Grov, Gudmund and Bundy, Alan (2010) Ideas for a high-level proof strategy language. Technical Report. School of Computing Science, Newcastle University.

Ireland, Andrew and Grov, Gudmund and Butler, Michael (2010) Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance. In: ABZ 2010. (In Press)

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.

Butler, Michael and Jones, Cliff B and Romanovsky, Alexander and Troubitsyna, Elena (2009) Methods, Models and Tools for Fault Tolerance. LNCS, 5454 . Springer.

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.

Leuschel, Michael and Falampin, Jérôme and Fabian, Fritz and Daniel, Plagge Automated Property Verification for Large Scale B Models. In: Proceedings FM 2009. Springer-Verlag. (In Press)

Mazzara, Manuel Design, Modelling and Analysis of a Workflow Reconfiguration. In: PNSE’11 – Petri Nets and Software Engineering.

Abrial, Jean-Raymond Doing Mathematics with the Rodin Platform. [Rodin Archive]

Bendisposto, Jens and Leuschel, Michael Proof Assisted Model Checking for B. [Rodin Archive]

Hallerstede, Stefan and Leuschel, Michael and Plagge, Daniel Refinement-Animation for Event-B - Towards a Method of Validation. In: Proceedings ABZ 2010. LNCS . Springer-Verlag. (In Press)