Publications of Marius Bujorianu

Categorised by publication type

Journal papers/ reviewed book chapters

  1. M.L. Bujorianu, Marius Bujorianu “Constrained Stochastic Reachability for Stochastic Hybrid Systems” Journal of Nonlinear Analysis: Hybrid Systems, Vol. 5(2), 2011: 320-342.

  2. Marius Bujorianu, M.L.Bujorianu, H. Barringer, “A Formal framework for user centric control of probabilistic multi-agent cyber-physical systems”, Springer Verlag, Lecture Notes in Artificial Intelligence Vol. 5405, 2008:97-116.

  3. M. Bujorianu: “Integration of Specification Languages Using Viewpoints”, IFM- Integrated Formal Methods, Springer Verlag, Lecture Notes In Computer Science Vol 2999, 2004: 421-440

  4. M.L. Bujorianu, Marius Bujorianu. “Model checking for a class of performabilty properties of stochastic fluid models” EPEW 2006, Springer Verlag, Lecture Notes In Computer Science Vol. 4054, 2006:93-107

  5. M. Bujorianu, J. Lygeros, Marius. Bujorianu: “Bisimulation of general stochastic hybrid systems”, Springer Verlag, Lecture Notes In Computer Science Vol. 3414, 2004:198-216.

  1. M. Bujorianu, E.A. Boiten: “Towards Correspondence Carrying Specifications” AMAST–Algebraic Methodology and Software Technology, Springer Verlag, Lecture Notes In Computer Science Vol. 3116, 2004 : 57-71

  1. M.L.Bujorianu, Marius Bujorianu “Interdisciplinary Modeling of Autonomous Systems Deployed in Uncertain Dynamic Environments” Springer Verlag, Lecture Notes In Electrical Engineering, vol. 85(4), 2010:337-349

  1. M.L. Bujorianu, Marius Bujorianu “State Constrained Reachability Analysis of Stochastic Hybrid Systems” Elsevier-IFAC Analysis and Design of Hybrid Systems Vol. 3(1), 2008:168-173.

  1. M.L. Bujorianu and Marius Bujorianu “A Theory of Symbolic Dynamics for Hybrid Systems” International federation of Automatic Control electronic journal, 2011 in press

  2. M. L. Bujorianu, Marius Bujorianu. ” Stochastic Non Sequitur Behavior Analysis of Fault Tolerant Hybrid Systems” ACM Press, 2011:53-62

  1. M.L.Bujorianu, Marius Bujorianu, H.A.P. Blom, “Approximate abstractions of stochastic hybrid systems”, International federation of Automatic Control electronic journal, Vol 17(1), 2008

  1. M.L.Bujorianu, Marius Bujorianu, R. Langerak “ An Interpretation of Concurrent Hybrid Time Systems over Multi-clock System” International federation of Automatic Control electronic journal, Vol 17(1), 2008

  1. M.L. Bujorianu, Marius Bujorianu. “Distributed Stochastic Hybrid Systems”, International federation of Automatic Control electronic journal, Vol 17(1), 2005

  1. M.L. Bujorianu, John Lygeros, Marius Bujorianu. “True Concurrent Stochastic Processes” International federation of Automatic Control electronic journal, Vol 17(1), 2005

Peer reviewed published conference papers

  1. M.L.Bujorianu, Marius Bujorianu, H “A Modelling Framework for Ultra-large Scale Systems of Systems” Proc. of AISOS, EPTCS, 2013

  2. M.L.Bujorianu, Marius Bujorianu, H. Barringer “Systems theory in an analytic setting” CDC 2011, IEEE Computer Society, 2011

  3. Marius Bujorianu, H. Barringer: “An Integrated Specification Logic for Cyber-Physical Systems. ICECCS 2009, IEEE Computer Society, 2009: 291-300

  4. Marius Bujorianu, M.L.Bujorianu, H. Barringer “A unifying specification logic for cyber-physical systems” 17th Mediterranean Conference on Control, Automation, IEEE Computer Society Press, 2009:1166-1171.

  1. Marius Bujorianu, M.L.Bujorianu “Towards Formal Modeling of Communicating Autonomous Cyber-physical Systems” First Nasa Formal Methods Symposium, 2009:176-180.

  1. M.L.Bujorianu, Marius Bujorianu “Co-Evolution Preserving Abstract Model Reduction of Uncertain Cyber-Physical Systems” 2009, 6th International Conference on Informatics in Control, Automation, and Robotics 2009,

  1. Marius Bujorianu, M.L.Bujorianu “A Randomized Model for Communicating Embedded Systems” 16th Mediterranean Conference on Control and Automation, IEEE Press, 2008:1435-1440.

  1. Marius Bujorianu, M.L.Bujorianu. ‘An Integrated Specification Framework for Embedded Systems’ SEFM 2007, IEEE Press.

  1. Marius Bujorianu, Manuela L. Bujorianu. “Towards Hilbertian Formal Methods” ACSD 2007, IEEE Press.

  2. M.L. Bujorianu, Marius Bujorianu. “Topological Superposition of Abstractions of Stochastic Hybrid Systems”, MED 2007, IEEE Press

  3. M.L. Bujorianu, Marius Bujorianu. “A view development methodology for stochastic systems”, CDC 2006, IEEE Press

  4. M.L. Bujorianu, John Lygeros, Marius Bujorianu. “Bisimulation of stochastic hybrid systems” CDC 2005, IEEE Press

Peer reviewed workshop papers published in research reports

  1. M.L. Bujorianu, M. Bujorianu Formal engineering of distributed stochastic system with UML, Proceedings of ACSD@UML 2005.

  2. M. Bujorianu, E.A. Boiten Viewpoints as Abstract Data Types, Proceedings of WADT ’04-Workshop on Abstract Data Types 2004

  3. M. Bujorianu, E.A. Boiten Exploring UML Consistency and Unification, Proceedings of ACSD@UML 2003

  4. M. Bujorianu, M.L. Bujorianu A Formal Approach to Viewpoints Testing Proceedings of FATES’02–Formal Approaches To Testing 2002

  5. M. Bujorianu, M.L. Bujorianu On Hilbert Machines Quantitative Computational Model Proceedings of QAPL’01-Quantitative Aspects of Programming Laguages, Firenze, 2001

Published abstracts

  1. MARIUS Bujorianu, M.L. Bujorianu Linear Logic: From Stochastic Analysis to Software Testing BCTCS18, British Colloquium for Theoretical Computer Science, Bristol, UK, 2002

  2. MARIUS Bujorianu, M.L. Bujorianu Formal Foundation of Constructive Stochastic Analysis: A Linear Logic Approach First AMS-UNI Meeting, Pisa, Italy, 2002

  3. MARIUS Bujorianu, M.L. Bujorianu Lattice Theoretic Topologies for Hybrid Systems 5th Galway Colloquium on General Topology , June 27 – 29, University of Hull, Hull, England http://at.yorku.ca/cgi-bin/amca/cagz-02 , 2001

  4. MARIUS Bujorianu, M.L. Bujorianu Constructive Foundations of Stochastic Analysis in Linear Logic BCTCS 17 British Colloquium for Theoretical Computer Science, Glasgow, Scotland, 2001

  5. MARIUS Bujorianu, M.L. Bujorianu An Abstract Domain for Probabilistic Hybrid Systems BCTCS 17 British Colloquium for Theoretical Computer Science, Glasgow, Scotland, 2001

  6. MARIUS Bujorianu, M.L. Bujorianu An Algebraic Axiomatization of Discrete Potential Theory and its Models Algebra and Discrete Mathematics: Euroconference on Classification-, Non-Classification- and Independence Results for Modules, Groups and Model Theory, R. Göbel and M. Droste, Hattingen, Germany, 18 – 23 August http://www.esf.org/euresco/01/pc01101a.htm , 2001

  7. MARIUS Bujorianu, M.L. Bujorianu Non Commutative Linear Logics as Constructive Foundations of Stochastic Analysis Summer School on Linear Logic Azores, 2000

  8. MARIUS Bujorianu, M.L. Bujorianu Unified Models For Classes of Biological Information Processing Systems Complexity of Biological Information Processing , Berlin, Germany, 2000

Technical Reports

  1. Manuela L. Bujorianu, John Lygeros and Marius C. Bujorianu: “Abstractions of Stochastic Hybrid Systems” 2008 Technical Report TR-CTIT-08-24 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

  2. Manuela L. Bujorianu, John Lygeros and Marius C. Bujorianu “Abstractions of Stochastic Hybrid Systems” 2008 Technical Report TR-CTIT-08-24 Centre for Telematics and Information Technology, University of Twente, Enschede. Twente, Enschede. ISSN 1381-3625

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

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

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

  6. Manuela L. Bujorianu, Marius C. Bujorianu and Savi Maharaj “Formal Testing of Correspondence Carrying Software” 2008. Technical Report TR-CTIT-08-27 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

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

  8. Manuela L. Bujorianu and Marius C. Bujorianu “Styles in Heterogeneous Modelling With UML”  2008. Technical Report TR-CTIT-08-20 Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

  9. Marius C. Bujorianu and Manuela L. Bujorianu “Constructive Stochastic Analysis: Foundations and Applications” 2002 Research Report 2/2002 Computing Laboratory, University of Kent