Search the dblp DataBase

Publications of Author

1. Manuela L. Bujorianu, Marius C. Bujorianu
   Model Checking for a Class of Performance Properties of Fluid Stochastic Models. [Citation Graph (0, 0)][DBLP]
   EPEW, 2006, pp:93-107 [Conf]
   
2. Manuela L. Bujorianu
   Extended Stochastic Hybrid Systems and Their Reachability Problem. [Citation Graph (0, 0)][DBLP]
   HSCC, 2004, pp:234-249 [Conf]
   
3. Manuela L. Bujorianu, John Lygeros
   Reachability Questions in Piecewise Deterministic Markov Processes. [Citation Graph (0, 0)][DBLP]
   HSCC, 2003, pp:126-140 [Conf]
   
4. Manuela L. Bujorianu, John Lygeros, Marius C. Bujorianu
   Bisimulation for General Stochastic Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   HSCC, 2005, pp:198-214 [Conf]
   
5. Marius C. Bujorianu, Manuela L. Bujorianu
   Towards Hilbertian Formal Methods. [Citation Graph (0, 0)][DBLP]
   ACSD, 2007, pp:240-241 [Conf]
   
6. 
   A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. [Citation Graph (, )][DBLP]
   
   
8. 
   Co-evolution Preserving Model Reduction for Uncertain Cyber-physical Systems - Towards a Framework for Nanoscience. [Citation Graph (, )][DBLP]
   
   
9. 
   An Integrated Specification Framework for Embedded Systems. [Citation Graph (, )][DBLP]
   
   
10. 
    Symmetry reduction for stochastic hybrid systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Dealing with stochastic reachability. [Citation Graph (, )][DBLP]
    
    
12. 
    Large deviation methods for stochastic reachability. [Citation Graph (, )][DBLP]
    
    
13. 
    Proceedings FM-09 Workshop on Formal Methods for Aerospace [Citation Graph (, )][DBLP]