EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Bujorianu, L.M.
Home Policy Brochure Browse Search User Area Contact Help

2009

Bujorianu, L.M. and Katoen, J.P. (2009) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, CDC 2008, 9-11 Dec 2008, Cancun, Mexico. pp. 233-238. IEEE Computer Society. ISSN 0191-2216 ISBN 978-1-4244-3123-6

2008

Bujorianu, L.M. (2008) Different Approaches on Stochastic Reachability as an Optimal Stopping Problem. Technical Report TR-CTIT-08-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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 Katoen, J.P. (2008) Symmetry Reduction For Stochastic Hybrid Systems. Technical Report TR-CTIT-08-27, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Bujorianu, L.M. and Lygeros, J. (2008) New insights on stochastic reachability. In: 46th IEEE Conference on Decision and Control, 12-14 Dec 2007, New Orleans, Louisiana USA. pp. 6172-6177. IEEE Computer Society. ISSN 0191-2216 ISBN 1-4244-1498-9
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, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA. pp. 610-613. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4
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 Blom, H.A.P. and Hermanns, H. (2006) Functional Abstraction of Stochastic Hybrid Systems. In: 2nd IFAC Conf. on Analysis and Design of Hybrid Systems, ADHS 2006, 7-9 June 2006, Alghero, Italy. pp. 160-165. Elsevier. ISBN 978-0-08-044613-4
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
Bujorianu, L.M. and Lygeros, J. (2006) Toward a General Theory of Stochastic Hybrid Systems. In: Stochastic Hybrid Systems: Theory and Safety Critical Applications. Lecture Notes in Control and Information Sciences 337. Springer Verlag, Berlin, pp. 3-30. ISBN 978-3-540-33466-8

2005

Bujorianu, L.M. (2005) A statistical inference method for the stochastic reachability analysis. In: Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on, 12-15 Dec. 2005, Seville, Spain. pp. 8088-8093. IEEE Computer Society. ISBN 0-7803-9567-0
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