Items where Subject is "Methodology > Real-time systems"

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

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

Fitzgerald, John S. and Larsen, Peter Gorm and Pierce, Ken G and Verhoef, Marcel and Wolff, Sune (2010) Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems. In: Integrated Formal Methods iFM 2010, 11-14 october 2010, Nancy, France. (In Press)

Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, A. (2010) Patterns for Modelling Time and Consistency in Business Information Systems. In: 15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010. IEEE Computer Society.

Wright, Stephen A Formally Constructed Instruction Set Architecture Definition of the XCore Microprocessor. [DEPLOY Associate Item]

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena and Romanovsky, Alexander and Latvala, Timo Augmenting Event-B Modelling with Real-Time Verification. In: Proc. of Workshop on Formal Methods in Software Engineering: Rigorous and Agile Approaches held in conjunction with ICSE 2012. 2 June 2012, Zurich, Switzerland. ACM.

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

Mazzara, Manuel and Bhattacharyya, Anirban On Modelling and Analysis of Dynamic Reconfiguration of Dependable Real-Time Systems. Technical Report. Newcastle University.