Mihaela Sighireanu

发表

Constantin Enea, Tomás Vojnar, Mihaela Sighireanu, 2014, Formal Methods in System Design.
Mihaela Sighireanu, David R. Cok, 2014, J. Satisf. Boolean Model. Comput..
Mihaela Sighireanu, Eugene Asarin, Yasmina Abdeddaïm, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.
Claude Marché, Yann Régis-Gianas, Ralf Treinen, 2020, TACAS.
Yves Sorel, Alain Girault, Mihaela Sighireanu, 2001, Proceedings 15th International Parallel and Distributed Processing Symposium. IPDPS 2001.
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu, 2007, TACAS.
Tayssir Touili, Mihaela Sighireanu, Gaël Patin, 2007, CAV.
Bin Fang, Geguang Pu, Mihaela Sighireanu, 2018, Science China Information Sciences.
Yves Sorel, Alain Girault, Mihaela Sighireanu, 2003, 2003 International Conference on Dependable Systems and Networks, 2003. Proceedings..
Charles Lesire, Mihaela Sighireanu, Eugene Asarin, 2007 .
Kenneth J. Turner, Mihaela Sighireanu, K. Turner, 2001 .
Mihaela Sighireanu, Radu Mateescu, Radu Mateescu, 2003, Sci. Comput. Program..
Constantin Enea, Mihaela Sighireanu, Cezara Dragoi, 2013, SAS.
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu, 2009, MEMICS.
Mihaela Sighireanu, Radu Mateescu, Radu Mateescu, 1998, International Journal on Software Tools for Technology Transfer.
Alan Jeffrey, Guy Leduc, Charles Pecheur, 1995 .
Constantin Enea, Ahmed Bouajjani, Yan Jurski, 2007, Log. Methods Comput. Sci..
Bin Fang, Mihaela Sighireanu, 2017, ISMM.
Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2011, PLDI '11.
Mihaela Sighireanu, Kenneth J. Turner and, 2010 .
Constantin Enea, Tomás Vojnar, Mihaela Sighireanu, 2017, NFM.
Mihaela Sighireanu, Hubert Garavel, M. Sighireanu, 1999, FORTE.
Fabrice Kordon, Ezio Bartocci, Dirk Beyer, 2019, TACAS.
Constantin Enea, Ahmed Rezine, Ahmed Bouajjani, 2010, CAV.
François Bobot, Mihaela Sighireanu, Boris Yakobowski, 2018, VMCAI.
Ahmed Bouajjani, Yan Jurski, Mihaela Sighireanu, 2007, FCT.
Cristina Serban, Wei-Ngan Chin, Siau-Cheng Khoo, 2019, TACAS.
Yves Sorel, Alain Girault, Mihaela Sighireanu, 2001, Proceedings 21st International Conference on Distributed Computing Systems.
Marc Boyer, Mihaela Sighireanu, 2003, FME.
Mihaela Sighireanu, Raphaël Cauderlier, M. Sighireanu, 2018, TACAS.
Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2012, ATVA.
Carole Delporte-Gallet, Hugues Fauconnier, Julien Clément, 2011, 2011 31st International Conference on Distributed Computing Systems.
Constantin Enea, Mihaela Sighireanu, Zhilin Wu, 2015, ATVA.
Constantin Enea, Tomás Vojnar, Mihaela Sighireanu, 2014, APLAS.
Ahmed Bouajjani, Yassine Lakhnech, Mihaela Sighireanu, 2001, SAS.
Ahmed Bouajjani, Mihaela Sighireanu, Aurore Annichini, 2001, CAV.
Alain Kerbrat, Mihaela Sighireanu, Radu Mateescu, 1996, CAV.
Constantin Enea, Mihaela Sighireanu, Vlad Saveluc, 2013, ESOP.
Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2012, VMCAI.
Constantin Enea, Ahmed Bouajjani, Mihaela Sighireanu, 2009, CONCUR.
David Pichardie, Mihaela Sighireanu, 2018, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Claude Marché, Yann Régis-Gianas, Ralf Treinen, 2019 .
Mihaela Sighireanu, Hubert Garavel, 1996, FORTE.
Mihaela Sighireanu, 2021, Int. J. Softw. Tools Technol. Transf..
Cristina Serban, Mihaela Sighireanu, Radu Iosif, 2018 .