Bujorianu, Manuela and Bujorianu, Marius C. (2011) Interdisciplinary modeling of autonomous systems deployed in uncertain dynamic environments. In: Informatics in Control Automation and Robotics. Berlin: Springer, pp. 337-349. ISBN 9783642197291

Bujorianu, Manuela, Fisher, Michael and Pasareanu, Corina (2011) Preface. Annals of Mathematics and Artificial Intelligence, Vol.63 (No.1). pp. 1-3. ISSN 1012-2443

Bujorianu, Manuela (2010) Variational inequalities for the stochastic reachability problem. In: 49th IEEE Conference on Decision and Control (CDC), 2010, Atlanta, GA, 15-17 Dec 2010. Published in: Design and Control pp. 1854-1859.

Bujorianu, Manuela and Bujorianu, Marius C. (2009) Co-evolution preserving model reduction for uncertain cyber-physical systems - towards a framework for nanoscience. In: ICINCO 2009, Milan, Italy, 2-5 Jul 2009. Published in: ICINCO 2009, Proceedings of the 6th International Conference on Informatics in Control, Automation and Robotics - Signal Processing, Systems Modeling and Control pp. 39-46.

Bujorianu, Manuela and Wang, Hong (2009) Dealing with stochastic reachability. In: 48th IEEE Conference on Decision and Control, Shanghai, 15-18 Dec 2009. Published in: Proceedings of the 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference pp. 2939-2940.

Bujorianu, Manuela and Wang, Hong (2009) Large deviation methods for stochastic reachability. In: 48th IEEE Conference on Decision and Control, Shanghai, 15-18 Dec 2009. Published in: Proceedings of the 48th IEEE Conference on Decision and Control and 28th Chinese Control Conference pp. 3932-3937.

Bujorianu, Manuela and Fisher, Michael, eds. (2009) Proceedings FM-09 workshop on formal methods for aerospace Eindhoven, The Netherlands, 3rd November 2009. Australia: Electronic Proceedings in Theoretical Computer Science.

Bujorianu, Manuela and Bujorianu, Marius C. (2009) State constrained reachability analysis of stochastic hybrid systems. In: 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, 16-18 Sep 2009. Published in: Nonlinear Analysis: Hybrid Systems, Vol.5 (No.2). pp. 320-342.

Bujorianu, Manuela and Blom, H. A. P. (2009) Stochastic reachability as an exit problem. In: 17th Mediterranean Conference on Control and Automation, 2009. MED '09, Thessaloniki, Greece, 24-26 Jun 2009. Published in: 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece pp. 1026-1031.

Bujorianu, Marius C. and Bujorianu, Manuela (2009) Towards co-engineering communicating autonomous cyber-physical systems. In: Denney, Ewen and Giannakopoulou, Dimitra and Pasareanu, Corina, (eds.) Proceedings of the First NASA Formal Methods Symposium. NASA, pp. 176-180.

Bujorianu, Marius C., Bujorianu, Manuela and Barringer, H. (2009) A unifying specification logic for cyber-physical systems. In: 17th Mediterranean Conference on Control and Automation, 2009. MED '09, Thessaloniki, Greece, 24-26 Jun 2009. Published in: 17th Mediterranean Conference on Control & Automation June 24-26, 2009, Makedonia Palace, Thessaloniki, Greece pp. 1166-1171.

Bujorianu, Manuela, Bujorianu, Marius C. and Blom, H. A. P. (2008) Approximate abstractions of stochastic hybrid systems. In: 17th IFAC World Congress, 2008, COEX, Korea, South, 6-11 Jul 2008. Published in: Proceedings of the 17th IFAC World Conference

Bujorianu, Manuela and Bujorianu, Marius C. (2008) Bisimulation, logic and mobility for Markovian systems. In: Eighteenth International symposium on Mathematical Theory of Networks and Systems (MTNS2008) , Virginia, USA, 28 Jul - 2 Aug 2008. Published in: Proceedings of the 18th International Symposium on Mathematical Theory of Networks & Systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA

Bujorianu, Manuela, Lygeros, John and Langerak, Rom (2008) Reachability analysis of stochastic hybrid systems by optimal control. In: 11th International Conference on Hybrid Systems: Computation and Control : HSCC 2008, St. Louis, USA, 22-24 Apr 2008. Published in: Lecture Notes in Computer Science, Vol.4981 pp. 610-613.

Bujorianu, Manuela and Katoen, Joost-Piter (2008) Symmetry reduction for stochastic hybrid systems. In: 47th IEEE Conference on Decision and Control, 2008. CDC 2008., Cancun, Mexico, 9-11 Dec 2008. Published in: 47th IEEE Conference on Decision and Control December 9-11, 2008, Cancun, Mexico pp. 233-238.

Bujorianu, Manuela, Bujorianu, Marius C. and Langerak , Romanus (2008) An interpretation of concurrent hybrid time systems over multi-clock systems. In: 17th IFAC World Congress, 2008, COEX, Korea, South, 2008. Published in: Proceedings of the 17th IFAC World Congress, 2008, Vol.17 (No.1). pp. 3635-3640.

Bujorianu, Marius C. and Bujorianu, Manuela (2008) A randomized model for communicating embedded systems. In: 16th Mediterranean Conference on Control and Automation, 2008, Conference Center Ajaccio-Corsica, France, 25-27 Jun 2008. Published in: 2008 Mediterranean Conference on Control & Automation June 25-27, 2008, Conference Center Ajaccio-Corsica, France : conference proceedings pp. 1435-1440.