Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Manuela L. Bujorianu
2010 – today
- 2013
[i1]Luca Bortolussi, Manuela L. Bujorianu, Giordano Pola: Proceedings Third International Workshop on Hybrid Autonomous Systems. CoRR abs/1308.4904 (2013)- 2011
- [j1]Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu: Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011)
- [c17]Manuela L. Bujorianu, Marius C. Bujorianu, Howard Barringer: Systems theory in an analytic setting. CDC-ECE 2011: 2901-2906
- [c16]Manuela L. Bujorianu: How good are the stochastic analysis methods for stochastic reachability. CDC-ECE 2011: 3295-3300
- [c15]Manuela L. Bujorianu, Marius C. Bujorianu: Stochastic non sequitur behavior analysis of fault tolerant hybrid systems. HSCC 2011: 53-62
- 2010
- [c14]Manuela L. Bujorianu: Variational inequalities for the stochastic reachability problem. CDC 2010: 1854-1859
2000 – 2009
- 2009
- [c13]
- [c12]
- [c11]Manuela L. Bujorianu, Marius C. Bujorianu: Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience. ICINCO-SPSMC 2009: 39-46
- [c10]Manuela L. Bujorianu, Marius C. Bujorianu: Towards Co-Engineering Communicating Autonomous Cyber-physical Systems. NASA Formal Methods 2009: 176-180
- [e1]Manuela L. Bujorianu, Michael Fisher (Eds.): Proceedings FM-09 Workshop on Formal Methods for Aerospace. EPTCS 20, 2009
- 2008
- [c9]Manuela L. Bujorianu, Joost-Pieter Katoen: Symmetry reduction for stochastic hybrid systems. CDC 2008: 233-238
- [c8]Marius C. Bujorianu, Manuela L. Bujorianu, Howard Barringer: A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. CLIMA 2008: 97-116
- [c7]Manuela L. Bujorianu, John Lygeros, Rom Langerak: Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. HSCC 2008: 610-613
- 2007
- [c6]
- [c5]Marius C. Bujorianu, Manuela L. Bujorianu: An Integrated Specification Framework for Embedded Systems. SEFM 2007: 161-172
- 2006
- [c4]Manuela L. Bujorianu, Marius C. Bujorianu: Model Checking for a Class of Performance Properties of Fluid Stochastic Models. EPEW 2006: 93-107
- 2005
- [c3]Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu: Bisimulation for General Stochastic Hybrid Systems. HSCC 2005: 198-214
- 2004
- [c2]Manuela L. Bujorianu: Extended Stochastic Hybrid Systems and Their Reachability Problem. HSCC 2004: 234-249
- 2003
- [c1]Manuela L. Bujorianu, John Lygeros: Reachability Questions in Piecewise Deterministic Markov Processes. HSCC 2003: 126-140
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:14 CEST by the dblp team