Categorised by publication type
Journal papers/ reviewed book chapters
-
M.L. Bujorianu, Marius Bujorianu “Constrained Stochastic Reachability for Stochastic Hybrid Systems” Journal of Nonlinear Analysis: Hybrid Systems, Vol. 5(2), 2011: 320-342.
-
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.
-
M. Bujorianu: “Integration of Specification Languages Using Viewpoints”, IFM- Integrated Formal Methods, Springer Verlag, Lecture Notes In Computer Science Vol 2999, 2004: 421-440
-
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
-
M. Bujorianu, J. Lygeros, Marius. Bujorianu: “Bisimulation of general stochastic hybrid systems”, Springer Verlag, Lecture Notes In Computer Science Vol. 3414, 2004:198-216.
-
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
-
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
-
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.
-
M.L. Bujorianu and Marius Bujorianu “A Theory of Symbolic Dynamics for Hybrid Systems” International federation of Automatic Control electronic journal, 2011 in press
-
M. L. Bujorianu, Marius Bujorianu. ” Stochastic Non Sequitur Behavior Analysis of Fault Tolerant Hybrid Systems” ACM Press, 2011:53-62
-
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
-
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
-
M.L. Bujorianu, Marius Bujorianu. “Distributed Stochastic Hybrid Systems”, International federation of Automatic Control electronic journal, Vol 17(1), 2005
-
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
-
M.L.Bujorianu, Marius Bujorianu, H “A Modelling Framework for Ultra-large Scale Systems of Systems” Proc. of AISOS, EPTCS, 2013
-
M.L.Bujorianu, Marius Bujorianu, H. Barringer “Systems theory in an analytic setting” CDC 2011, IEEE Computer Society, 2011
-
Marius Bujorianu, H. Barringer: “An Integrated Specification Logic for Cyber-Physical Systems. ICECCS 2009, IEEE Computer Society, 2009: 291-300
-
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.
-
Marius Bujorianu, M.L.Bujorianu “Towards Formal Modeling of Communicating Autonomous Cyber-physical Systems” First Nasa Formal Methods Symposium, 2009:176-180.
-
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,
-
Marius Bujorianu, M.L.Bujorianu “A Randomized Model for Communicating Embedded Systems” 16th Mediterranean Conference on Control and Automation, IEEE Press, 2008:1435-1440.
-
Marius Bujorianu, M.L.Bujorianu. ‘An Integrated Specification Framework for Embedded Systems’ SEFM 2007, IEEE Press.
-
Marius Bujorianu, Manuela L. Bujorianu. “Towards Hilbertian Formal Methods” ACSD 2007, IEEE Press.
-
M.L. Bujorianu, Marius Bujorianu. “Topological Superposition of Abstractions of Stochastic Hybrid Systems”, MED 2007, IEEE Press
-
M.L. Bujorianu, Marius Bujorianu. “A view development methodology for stochastic systems”, CDC 2006, IEEE Press
-
M.L. Bujorianu, John Lygeros, Marius Bujorianu. “Bisimulation of stochastic hybrid systems” CDC 2005, IEEE Press
Peer reviewed workshop papers published in research reports
-
M.L. Bujorianu, M. Bujorianu Formal engineering of distributed stochastic system with UML, Proceedings of ACSD@UML 2005.
-
M. Bujorianu, E.A. Boiten Viewpoints as Abstract Data Types, Proceedings of WADT ’04-Workshop on Abstract Data Types 2004
-
M. Bujorianu, E.A. Boiten Exploring UML Consistency and Unification, Proceedings of ACSD@UML 2003
-
M. Bujorianu, M.L. Bujorianu A Formal Approach to Viewpoints Testing Proceedings of FATES’02–Formal Approaches To Testing 2002
-
M. Bujorianu, M.L. Bujorianu On Hilbert Machines Quantitative Computational Model Proceedings of QAPL’01-Quantitative Aspects of Programming Laguages, Firenze, 2001
Published abstracts
-
MARIUS Bujorianu, M.L. Bujorianu Linear Logic: From Stochastic Analysis to Software Testing BCTCS18, British Colloquium for Theoretical Computer Science, Bristol, UK, 2002
-
MARIUS Bujorianu, M.L. Bujorianu Formal Foundation of Constructive Stochastic Analysis: A Linear Logic Approach First AMS-UNI Meeting, Pisa, Italy, 2002
-
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
-
MARIUS Bujorianu, M.L. Bujorianu Constructive Foundations of Stochastic Analysis in Linear Logic BCTCS 17 British Colloquium for Theoretical Computer Science, Glasgow, Scotland, 2001
-
MARIUS Bujorianu, M.L. Bujorianu An Abstract Domain for Probabilistic Hybrid Systems BCTCS 17 British Colloquium for Theoretical Computer Science, Glasgow, Scotland, 2001
-
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
-
MARIUS Bujorianu, M.L. Bujorianu Non Commutative Linear Logics as Constructive Foundations of Stochastic Analysis Summer School on Linear Logic Azores, 2000
-
MARIUS Bujorianu, M.L. Bujorianu Unified Models For Classes of Biological Information Processing Systems Complexity of Biological Information Processing , Berlin, Germany, 2000
Technical Reports
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
Marius C. Bujorianu and Manuela L. Bujorianu “Constructive Stochastic Analysis: Foundations and Applications” 2002 Research Report 2/2002 Computing Laboratory, University of Kent