default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDManuela-Luminita Bujorianu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
[b1]Manuela-Luminita Bujorianu:
Stochastic hybrid system : modelling and verification. University of Stirling, UK, 2005
Journal Articles
- 2023
- [j6]Rafal Wisniewski
, Manuela-Luminita Bujorianu:
Probabilistic Safety Guarantees for Markov Decision Processes. IEEE Trans. Autom. Control. 68(12): 8095-8102 (2023) - 2021
- [j5]Rafal Wisniewski, Manuela-Luminita Bujorianu:
Safety of stochastic systems: An analytic and computational approach. Autom. 133: 109839 (2021) - [j4]Manuela-Luminita Bujorianu, Rafael Wisniewski, Evangelos Boulougouris:
Stochastic Safety for Markov Chains. IEEE Control. Syst. Lett. 5(2): 427-432 (2021) - 2020
- [j3]Rafael Wisniewski, Manuela-Luminita Bujorianu, Christoffer Sloth:
$p$-Safe Analysis of Stochastic Hybrid Processes. IEEE Trans. Autom. Control. 65(12): 5220-5235 (2020) - 2019
- [j2]Victor Bolbot, Gerasimos Theotokatos, Manuela-Luminita Bujorianu, Evangelos Boulougouris, Dracos Vassalos:
Vulnerabilities and safety assurance methods in Cyber-Physical Systems: A comprehensive review. Reliab. Eng. Syst. Saf. 182: 179-193 (2019) - 2011
- [j1]Manuela-Luminita Bujorianu, Michael Fisher, Corina S. Pasareanu:
Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011)
Conference and Workshop Papers
- 2024
- [c39]Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu:
Online Model-Free Safety Verification for Markov Decision Processes Without Safety Violation. ECC 2024: 2224-2228 - 2023
- [c38]Manuela-Luminita Bujorianu:
Cyber-Physical Ecosystems: Modelling and Verification. ECBS 2023: 215-230 - [c37]Manuela-Luminita Bujorianu, Tristan Caulfield, David J. Pym, Rafael Wisniewski:
From MDP to POMDP and Back: Safety and Compositionality. ECC 2023: 1-6 - [c36]Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu:
Online Learning of Safety function for Markov Decision Processes. ECC 2023: 1-6 - 2021
- [c35]Manuela-Luminita Bujorianu, Rafal Wisniewski, Evangelos Boulougouris:
Stochastic Safety for Random Dynamical Systems. ACC 2021: 1340-1345 - 2019
- [c34]Manuela-Luminita Bujorianu, Rafael Wisniewski:
New Insights on p-safety of Stochastic Systems. CDC 2019: 4433-4438 - 2018
- [c33]Manuela-Luminita Bujorianu:
CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems. CyPhy/WESE 2018: 134-153 - 2017
- [c32]Rafael Wisniewski, Manuela-Luminita Bujorianu:
Stochastic safety analysis of stochastic hybrid systems. CDC 2017: 2390-2395 - 2016
- [c31]Rafael Wisniewski, Christoffer Sloth, Manuela-Luminita Bujorianu, Nir Piterman:
Safety Verification of Piecewise-Deterministic Markov Processes. HSCC 2016: 257-266 - 2015
- [c30]Manuela-Luminita Bujorianu, Nir Piterman:
A Modelling Framework for Cyber-Physical System Resilience. CyPhy 2015: 67-82 - [c29]Manuela-Luminita Bujorianu:
Functional model reduction of inhomogeneous Markov chains. ECC 2015: 770-775 - 2014
- [c28]Manuela-Luminita Bujorianu, Robert S. MacKay:
Complex systems techniques for cyber-physical systems: position paper. CyPhy 2014: 27-30 - 2013
- [c27]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
A coordination model for ultra-large scale systems of systems. AiSoS 2013: 84-98 - 2012
- [c26]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Contingent Hybrid Systems. ADHS 2012: 442-447 - 2011
- [c25]Manuela-Luminita Bujorianu, Marius C. Bujorianu, Howard Barringer:
Systems theory in an analytic setting. CDC/ECC 2011: 2901-2906 - [c24]Manuela-Luminita Bujorianu:
How good are the stochastic analysis methods for stochastic reachability. CDC/ECC 2011: 3295-3300 - [c23]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. HSCC 2011: 53-62 - 2010
- [c22]Manuela-Luminita Bujorianu:
Variational inequalities for the stochastic reachability problem. CDC 2010: 1854-1859 - 2009
- [c21]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
State Constrained Reachability for Stochastic Hybrid Systems. ADHS 2009: 168-173 - [c20]Manuela-Luminita Bujorianu:
Dealing with stochastic reachability. CDC 2009: 2935-2940 - [c19]Manuela-Luminita Bujorianu, Hong Wang:
Large deviation methods for stochastic reachability. CDC 2009: 3932-3937 - [c18]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience. ICINCO-SPSMC 2009: 39-46 - [c17]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. NASA Formal Methods 2009: 176-180 - 2008
- [c16]Manuela-Luminita Bujorianu, Joost-Pieter Katoen:
Symmetry reduction for stochastic hybrid systems. CDC 2008: 233-238 - [c15]Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer:
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA 2008: 97-116 - [c14]Manuela-Luminita Bujorianu, John Lygeros, Rom Langerak:
Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC 2008: 610-613 - 2007
- [c13]Marius C. Bujorianu, Manuela-Luminita Bujorianu:
Towards Hilbertian Formal Methods. ACSD 2007: 240-241 - [c12]Manuela-Luminita Bujorianu, John Lygeros:
New insights on stochastic reachability. CDC 2007: 6172-6177 - [c11]Marius C. Bujorianu, Manuela-Luminita Bujorianu:
An Integrated Specification Framework for Embedded Systems. SEFM 2007: 161-172 - 2006
- [c10]Manuela-Luminita Bujorianu, Henk A. P. Blom, Holger Hermanns:
Functional Abstractions of stochastic Hybrid Systems. ADHS 2006: 160-165 - [c9]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Viewpoint Development of Stochastic Hybrid Systems. CDC 2006: 6241-6246 - [c8]Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Model Checking for a Class of Performance Properties of Fluid Stochastic Models. EPEW 2006: 93-107 - 2005
- [c7]Manuela-Luminita Bujorianu, Marius C. Bujorianu, John Lygeros:
Abstractions of Stochastic Hybrid Systems. CDC/ECC 2005: 4712-4717 - [c6]Manuela-Luminita Bujorianu:
A Statistical Inference Method for the Stochastic Reachability Analysis. CDC/ECC 2005: 8088-8093 - [c5]Manuela-Luminita Bujorianu, John Lygeros, Marius C. Bujorianu:
Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214 - 2004
- [c4]Manuela-Luminita Bujorianu, John Lygeros:
General stochastic hybrid systems: modelling and optimal control. CDC 2004: 1872-1877 - [c3]Manuela-Luminita Bujorianu:
Extended Stochastic Hybrid Systems and Their Reachability Problem. HSCC 2004: 234-249 - 2003
- [c2]Giordano Pola, Manuela-Luminita Bujorianu, John Lygeros, Maria Domenica Di Benedetto:
Stochastic Hybrid Models: An Overview. ADHS 2003: 45-50 - [c1]Manuela-Luminita Bujorianu, John Lygeros:
Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140
Editorship
- 2015
- [e3]Manuela-Luminita Bujorianu, Rafael Wisniewski:
Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014. EPTCS 174, 2015 [contents] - 2013
- [e2]Luca Bortolussi, Manuela-Luminita Bujorianu, Giordano Pola:
Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. EPTCS 124, 2013 [contents] - 2009
- [e1]Manuela-Luminita Bujorianu, Michael Fisher:
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 20, 2009 [contents]
Informal and Other Publications
- 2024
- [i3]Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu:
Safe Reinforcement Learning for Constrained Markov Decision Processes with Stochastic Stopping Time. CoRR abs/2403.15928 (2024) - 2023
- [i2]Rahul Misra, Rafal Wisniewski, Carsten Skovmose Kallesøe, Manuela-Luminita Bujorianu:
Robust Correlated Equilibrium: Definition and Computation. CoRR abs/2311.17592 (2023) - [i1]Abhijit Mazumdar, Rafal Wisniewski, Manuela-Luminita Bujorianu:
Online Model-free Safety Verification for Markov Decision Processes Without Safety Violation. CoRR abs/2312.05243 (2023)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
