EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Author: Bujorianu, M.C.

Home Policy Brochure Browse Search User Area Contact Help

2008

Bujorianu, L.M. and Bujorianu, M.C. (2008) Towards a Formal Framework for Multidimensional Codesign. Technical Report TR-CTIT-08-21, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Reachability Analysis for Markovian Systems. Technical Report TR-CTIT-08-23, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Bujorianu, M.C. (2008) Bisimulation, Logic and Mobility for Markovian Systems. In: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA. 12. SIAM. ISBN not assigned

Bujorianu, L.M. and Bujorianu, M.C. (2008) Topological superposition of abstractions of stochastic processes. In: MED '07. Mediterranean Conference on Control & Automation, 27-29 June 2007, Athens, Greece. pp. 1-6. IEEE Computer Society. ISBN 1-4244-1282-X

Bujorianu, L.M. and Bujorianu, M.C. and Blom, H.A.P. (2008) Approximate Abstractions of Stochastic Hybrid Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea. pp. 8978-8983. IFAC. ISBN 978-3-902661-00-5

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Abstractions of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, L.M. and Lygeros, J. and Bujorianu, M.C. (2008) Towards a General Theory of Stochastic Hybrid Systems. Technical Report TR-CTIT-08-25, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) Uncertainty and Reconfigurability in Hilbertean Formal Methods. Technical Report TR-CTIT-08-20, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) A Randomized Model for Communicating Embedded Systems. Technical Report TR-CTIT-08-22, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) Formal Engineering Hybrid Systems: Semantic Underpinnings. Technical Report TR-CTIT-08-28, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) Styles in Heterogeneous Modelling With UML. Technical Report TR-CTIT-08-29, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Bujorianu, M.C. and Bujorianu, L.M. (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 25-27 June 2008, Ajaccio, France. pp. 1435-1440. IEEE Computer Society. ISBN 978-1-4244-2505-1

Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea. pp. 3635-3640. IFAC. ISBN 978-3-902661-00-5

Bujorianu, M.C. and Bujorianu, L.M. and Maharaj, S. (2008) Formal Testing of Correspondence Carrying Software. Technical Report TR-CTIT-08-26, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2007

Bujorianu, L.M. and Bujorianu, M.C. (2007) Towards Hilbertian Formal Methods. In: Proceedings of Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. pp. 240-241. IEEE Computer Society. ISSN 1550-4808 ISBN 0-7695-2902-X

Bujorianu, L.M. and Bujorianu, M.C. (2007) An Integrated Specification Framework for Embedded Systems. In: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, 2007. SEFM 2007, 10-14 September 2007, London. pp. 161-170. IEEE Computer Society. ISBN 978-0-7695-2884-7

Bujorianu, L.M. and Bujorianu, M.C. (2007) Viewpoint Development of Stochastic Hybrid Systems. In: 45th IEEE Conference on Decision and Control, 13-15 Dec 2006, San Diego, CA, USA. pp. 6241-6246. IEEE Computer Society. ISBN 1-4244-0171-2

2006

Bujorianu, L.M. and Bujorianu, M.C. (2006) Model Checking for a Class of Performance Properties of Fluid Stochastic Models. In: Third European Performance Engineering Workshop (EPEW), June 21-22, 2006, Budapest, Hungary. pp. 93-107. Lecture Notes in Computer Science 4054. Springer Verlag. ISBN 3-540-35362-3

2005

Bujorianu, L.M. and Bujorianu, M.C. and Lygeros, J. (2005) Abstractions of Stochastic Hybrid Systems. In: 44th IEEE Conference on Decision and Control, 12-15 December 2005, Seville, Spain. pp. 4712-4717. IEEE Computer Society. ISBN 0-7803-9568-9