Grigore Rosu

发表

Chucky Ellison, Grigore Rosu, G. Rosu, 2011, POPL '12.
Grigore Rosu, G. Roşu, Grigore Roşu, 2017, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Grigore Rosu, Xiaohong Chen, Daejun Park, 2018, ISoLA.
Grigore Rosu, Traian-Florin Serbanuta, Feng Chen, 2012, RV.
Grigore Rosu, Darko Marinov, Vilas Jagannath, 2011, ESEC/FSE '11.
Grigore Rosu, Grigore Roşu, 2004, WADT.
Grigore Rosu, Patrick O'Neil Meredith, 2010, RV.
Grigore Rosu, Feng Chen, Feng Chen, 2006 .
Grigore Rosu, Sandeep Dasgupta, Vikram S. Adve, 2019, PLDI.
Grigore Rosu, G. Rosu, G. Roşu, 2001, CSL.
Grigore Rosu, Traian-Florin Serbanuta, 2010, WRLA.
Chucky Ellison, Grigore Rosu, Dorel Lucanu, 2012, FM.
Mahesh Viswanathan, Grigore Rosu, Mahesh Viswanathan, 2003, RTA.
Grigore Rosu, Klaus Havelund, Daniel Clancy, 2001 .
Grigore Rosu, Joseph A. Goguen, 2000, J. Univers. Comput. Sci..
Grigore Rosu, 1999, J. Univers. Comput. Sci..
José Meseguer, Grigore Rosu, J. Meseguer, 2005, VSTTE.
Grigore Rosu, Dongyun Jin, Patrick O'Neil Meredith, 2011, PLDI '11.
Grigore Rosu, Feng Chen, Mark Hills, 2008 .
Grigore Rosu, Choonghwan Lee, Dongyun Jin, 2012, 2012 34th International Conference on Software Engineering (ICSE).
Grigore Rosu, Dorel Lucanu, D. Lucanu, 2009, ICFEM.
Grigore Rosu, G. Roşu, 2006, ICFP '06.
Grigore Rosu, Dwight Guth, Manasvi Saxena, 2016, CAV.
Grigore Rosu, Joseph A. Goguen, J. Goguen, 1998, FTP.
Koushik Sen, Grigore Rosu, Gul A. Agha, 2004, Proceedings. 26th International Conference on Software Engineering.
Grigore Rosu, Dorel Lucanu, Eugen-Ioan Goriac, 2010, ICFEM.
Grigore Rosu, Marco Caccamo, Rodolfo Pellizzoni, 2008, 2008 Real-Time Systems Symposium.
Grigore Rosu, Feng Chen, Feng Chen, 2008 .
Bernd Finkbeiner, Grigore Rosu, Oleg Sokolsky, 2007, Runtime Verification.
Grigore Rosu, Jeff Huang, Patrick O'Neil Meredith, 2014, PLDI.
Grigore Rosu, Feng Chen, Feng Chen, 2007, OOPSLA.
Chucky Ellison, Grigore Rosu, G. Rosu, 2011 .
Grigore Rosu, Codruta Gîrlea, 2014, Electron. Notes Theor. Comput. Sci..
Grigore Rosu, Dorel Lucanu, Traian-Florin Serbanuta, 2016, J. Log. Algebraic Methods Program..
José Meseguer, Grigore Rosu, J. Meseguer, 2002, CMCS.
Grigore Rosu, Klaus Havelund, K. Havelund, 2018, RV.
Koushik Sen, Grigore Rosu, Koushik Sen, 2003, RV@CAV.
Grigore Rosu, Feng Chen, Feng Chen, 2009, TACAS.
Grigore Rosu, Dorel Lucanu, 2014, Specification, Algebra, and Software.
Chucky Ellison, Grigore Rosu, Wolfram Schulte, 2010, AMAST.
Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, 2013 .
Grigore Rosu, Wolfram Schulte, Traian-Florin Serbanuta, 2009, RV.
Grigore Rosu, Darko Marinov, Owolabi Legunsen, 2016, 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE).
Grigore Rosu, Dorel Lucanu, Traian-Florin Serbanuta, 2016, Theory and Practice of Formal Methods.
Grigore Rosu, Feng Chen, Ram Prasad Venkatesan, 2003, RTA.
Grigore Rosu, Patrick O'Neil Meredith, Mark Hills, 2007 .
Chucky Ellison, Grigore Rosu, Traian-Florin Serbanuta, 2012, WRLA.
Grigore Rosu, Choonghwan Lee, Feng Chen, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Grigore Rosu, Dorel Lucanu, Georgiana Caltais, 2009, CALCO.
José Meseguer, Grigore Rosu, J. Meseguer, 2011, Inf. Comput..
Grigore Rosu, Wolfram Schulte, 2009 .
Virgil Emil Cazanescu, Grigore Rosu, 2000, J. Univers. Comput. Sci..
Grigore Rosu, Traian-Florin Serbanuta, G. Rosu, 2010, J. Log. Algebraic Methods Program..
Grigore Rosu, Joseph A. Goguen, 2000 .
Gul Agha, Koushik Sen, Grigore Rosu, 2004, TACAS.
Gheorghe Stefanescu, Grigore Rosu, Camelia Chira, 2009 .
Grigore Rosu, Dorel Lucanu, 2009, CALCO.
Grigore Rosu, Eric Bodden, Feng Chen, 2009, AOSD '09.
Grigore Rosu, Traian-Florin Serbanuta, Andrei Stefanescu, 2014, RTA-TLCA.
Chucky Ellison, Grigore Rosu, Chris Hathhorn, 2015, PLDI.
Grigore Rosu, G. Roşu, 2004, Theor. Comput. Sci..
Andrei Popescu, Grigore Rosu, Traian-Florin Serbanuta, 2006, FoSSaCS.
Grigore Rosu, Andrei Stefanescu, Andrei Stefanescu, 2012, OOPSLA '12.
Grigore Rosu, Jon Whittle, Laurentiu Leustean, 2003, CAV.
José Meseguer, Grigore Rosu, Patrick Lincoln, 2003, FME.
Grigore Rosu, Ali Kheradmand, A. Kheradmand, 2018, ArXiv.
Grigore Rosu, Dorel Lucanu, Gheorghe Grigoras, 2008, WRS@RDP.
Grigore Rosu, Joseph A. Goguen, J. Goguen, 2004, Essays in Memory of Ole-Johan Dahl.
Andrei Popescu, Grigore Rosu, Traian-Florin Serbanuta, 2006, Theor. Comput. Sci..
Grigore Rosu, Feng Chen, Traian Florin Serbanuta, 2007 .
Koushik Sen, Grigore Rosu, Koushik Sen, 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..
Koushik Sen, Grigore Rosu, Gul A. Agha, 2003, ESEC/FSE-11.
Yi Zhang, Nishant Rodrigues, Grigore Rosu, 2018, 2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Grigore Rosu, Patrick O'Neil Meredith, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Grigore Rosu, Mark Hills, M. Hills, 2010, RTA.
Michael R. Lowry, Grigore Rosu, Thomas Pressburger, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Grigore Rosu, Daejun Park, Andrei Stefanescu, 2016, OOPSLA.
Grigore Rosu, Rena Bakhshi, Jörg Endrullis, 2014, Journal of Functional Programming.
Grigore Rosu, Klaus Havelund, K. Havelund, 2001, RV@CAV.
Grigore Rosu, 2001, Theor. Comput. Sci..
Chucky Ellison, Grigore Rosu, Michael Ilseman, 2010 .
Grigore Rosu, Klaus Havelund, G. Rosu, 2004, International Journal on Software Tools for Technology Transfer.
Grigore Rosu, 2002, Math. Struct. Comput. Sci..
Yi Zhang, Grigore Rosu, Jeff Huang, 2014, RV.
Grigore Rosu, Dorel Lucanu, Vlad Rusu, 2016, Formal Aspects of Computing.
Grigore Rosu, Andrei Stefanescu, Andrei Stefanescu, 2012, FM.
Grigore Rosu, Johann Schumann, Bernd Fischer, 2001 .
Grigore Rosu, Denis Bogdanas, G. Rosu, 2015, POPL.
José Meseguer, Grigore Rosu, Traian-Florin Serbanuta, 2009, Inf. Comput..
Grigore Rosu, Sumeet Singh, Dean M. Tullsen, 2005, 32nd International Symposium on Computer Architecture (ISCA'05).
Grigore Rosu, Feng Chen, Feng Chen, 2005, TACAS.
Grigore Rosu, Bernd Fischer, B. Fischer, 2001, RULE@PLI.
Grigore Rosu, Craig B. Zilles, Pierre Salverda, 2005, FM.
Grigore Rosu, Dorel Lucanu, Vlad Rusu, 2014, ICFEM.
Grigore Rosu, Grigore Roşu, 2015, Logic, Rewriting, and Concurrency.
Grigore Rosu, Lucas Peña, Brandon M. Moore, 2018, ESOP.
Grigore Rosu, Nathan Segerlind, 1999 .
Grigore Rosu, Dorel Lucanu, Traian-Florin Serbanuta, 2012, WRLA.
Grigore Rosu, Andrei Papescu, G. Roşu, 2006 .
Gheorghe Stefanescu, Grigore Rosu, Traian-Florin Serbanuta, 2009, Workshop on Membrane Computing.
José Meseguer, Grigore Rosu, 2011, FCT.
Grigore Rosu, Feng Chen, Dongyun Jin, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.
Grigore Rosu, G. Roşu, 2003, CMCS.
Grigore Rosu, Traian-Florin Serbanuta, 2014, Electron. Notes Theor. Comput. Sci..
José Meseguer, Grigore Rosu, Azadeh Farzan, 2004, CAV.
Grigore Rosu, Patrick O'Neil Meredith, Mark Hills, 2007 .
Grigore Rosu, 2004, ICALP.
Grigore Rosu, Klaus Havelund, G. Rosu, 2002, TACAS.
Grigore Rosu, Joseph A. Goguen, 1999, World Congress on Formal Methods.
Grigore Rosu, Joseph A. Goguen, Kai Lin, 2000, WRLA.
José Meseguer, Grigore Rosu, Michael Katelman, 2010, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010).
Grigore Rosu, 2002, RULE '02.
Grigore Rosu, Joseph A. Goguen, Kai Lin, 2002, WADT.
Michael R. Lowry, Cyrille Artho, Grigore Rosu, 2003, Abstract State Machines.
Grigore Rosu, Klaus Havelund, K. Havelund, 2001 .
Grigore Rosu, Mark Hills, 2006 .
José Meseguer, Grigore Rosu, Traian-Florin Serbanuta, 2007, Electron. Notes Theor. Comput. Sci..
Grigore Rosu, Feng Chen, Dongyun Jin, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
Grigore Rosu, Darko Marinov, Vilas Jagannath, 2010 .
Grigore Rosu, Traian Florin Serbanuta, Traian-Florin Serbanuta, 2010 .
Grigore Rosu, Feng Chen, Feng Chen, 2011, Log. Methods Comput. Sci..
Andrei Popescu, Grigore Rosu, A. Popescu, 2009, Theor. Comput. Sci..
Grigore Rosu, Darko Marinov, Owolabi Legunsen, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Grigore Rosu, Mark Hills, 2008, WADT.
Grigore Rosu, Traian Florin Șerbănuță, 2010 .
Grigore Rosu, Feng Chen, Feng Chen, 2007, CAV.
Grigore Rosu, Dorel Lucanu, 2007, CALCO.
Grigore Rosu, Grigore Roşu, 2012, Sci. Ann. Comput. Sci..
Grigore Rosu, Feng Chen, Dongyun Jin, 2012, International Journal on Software Tools for Technology Transfer.
Grigore Rosu, Traian-Florin Serbanuta, Mark Hills, 2006, WRLA.
Grigore Rosu, Dorel Lucanu, Traian-Florin Serbanuta, 2014, WRLA.
Grigore Rosu, Klaus Havelund, K. Havelund, 2004, Formal Methods Syst. Des..
Grigore Rosu, Joseph A. Goguen, Bogdan Warinschi, 2000 .
José Meseguer, Grigore Rosu, Azadeh Farzan, 2004, AMAST.
Akihito Iwai, Grigore Rosu, Yliès Falcone, 2015, RV.
Nishant Rodrigues, Grigore Rosu, Xiaoran Zhu, 2017 .
Grigore Rosu, Prasanna Thati, P. Thati, 2004, RV@ETAPS.
Andrei Popescu, Grigore Rosu, 2005, CALCO.
Samuel R. Buss, Grigore Rosu, 2000, CMCS.
Grigore Rosu, Feng Chen, Traian Florin Serbanuta, 2008 .
Grigore Rosu, Traian-Florin Serbanuta, Traian-Florin Serbanuta, 2006, RTA.
Grigore Rosu, Joseph A. Goguen, Kai Lin, 1997, Proceedings 12th IEEE International Conference Automated Software Engineering.
Grigore Rosu, Joseph A. Goguen, J. Goguen, 2013, Formal Aspects of Computing.
Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Grigore Rosu, Klaus Havelund, Usa Sammapun, 2015, Lecture Notes in Computer Science.
Grigore Rosu, G. Roşu, Grigore Roşu, 2017, Dependable Software Systems Engineering.
Grigore Rosu, Jon Whittle, 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
Grigore Rosu, Karl Palmskog, Milos Gligoric, 2018 .
Akihito Iwai, Grigore Rosu, Shinichi Shiraishi, 2016 .
Grigore Rosu, Dorel Lucanu, Mihail Asavoae, 2011, ECRTS 2011.
José Meseguer, Grigore Rosu, 2006, Electron. Notes Theor. Comput. Sci..
Grigore Rosu, Oleg Sokolsky, 2012, Formal Methods Syst. Des..
Virgil Emil Cazanescu, Grigore Rosu, 1997, Math. Struct. Comput. Sci..
Grigore Rosu, Patrick O'Neil Meredith, Soha Hussein, 2012, PLAS '12.
Grigore Rosu, Feng Chen, Feng Chen, 2006, SAS.
Holger Giese, Grigore Rosu, 2012, Lecture Notes in Computer Science.
Grigore Rosu, Andrei Stefanescu, Andrei Stefanescu, 2012, ICALP.
Grigore Rosu, G. Roşu, 2006, Essays Dedicated to Joseph A. Goguen.
Grigore Rosu, Klaus Havelund, K. Havelund, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Grigore Rosu, Grigore Roşu, 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.
José Meseguer, Grigore Rosu, J. Meseguer, 2006, SOS@ICALP.
Grigore Rosu, Klaus Havelund, Daniel Clancy, 2001 .
Koushik Sen, Grigore Rosu, Gul A. Agha, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Grigore Rosu, Traian Florin Serbanuta, Traian-Florin Serbanuta, 2004 .
Yi Zhang, Grigore Rosu, Daejun Park, 2018, ESEC/SIGSOFT FSE.
Koushik Sen, Grigore Rosu, Gul A. Agha, 2003, ASIAN.
Grigore Rosu, Traian-Florin Serbanuta, Feng Chen, 2008, ICSE '08.
Chucky Ellison, Grigore Rosu, Dorel Lucanu, 2011, K.
Chucky Ellison, Grigore Rosu, Traian-Florin Serbanuta, 2009, WADT.
Grigore Rosu, Dorel Lucanu, Vlad Rusu, 2014, WADT.
Michael R. Lowry, Sarfraz Khurshid, Koushik Sen, 2005, Theor. Comput. Sci..
Lui Sha, Grigore Rosu, Sumant Kowshik, 2006, International Conference on Dependable Systems and Networks (DSN'06).
Grigore Rosu, Feng Chen, Traian Florin Șerbănuță, 2010 .
Grigore Rosu, Carolyn L. Talcott, Grit Denker, 2007, WRLA.
Grigore Rosu, Darko Marinov, Vilas Jagannath, 2010, IWMSE '10.
Koushik Sen, Grigore Rosu, 2007, Concurr. Comput. Pract. Exp..
Grigore Rosu, Joseph A. Goguen, Kai Lin, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
Grigore Rosu, Dongyun Jin, Patrick O'Neil Meredith, 2012 .
Bernd Finkbeiner, Grigore Rosu, Oleg Sokolsky, 2007, Runtime Verification.
José Meseguer, Grigore Rosu, 2002, ICALP.
Grigore Rosu, Xiaohong Chen, Xiaohong Chen, 2018, ISoLA.
Grigore Rosu, Andrei Ştefănescu, Ştefan Ciobâcă, 2016, WRLA 2016.
Grigore Rosu, Joseph A. Goguen, 1999, Electron. Notes Theor. Comput. Sci..
Grigore Rosu, Feng Chen, Dongyun Jin, 2009 .
Grigore Rosu, Klaus Havelund, Daniel Clancy, 2002 .
Grigore Rosu, Robert E. Filman, Klaus Havelund, 2002 .
Grigore Rosu, Klaus Havelund, K. Havelund, 2005, Automated Software Engineering.
Grigore Rosu, Andrei Stefanescu, Andrei Stefanescu, 2011, 2011 33rd International Conference on Software Engineering (ICSE).
Grigore Rosu, Feng Chen, Dongyun Jin, 2008, ASE.
Grigore Rosu, Traian-Florin Serbanuta, Edgar Pek, 2016, RV.
Koushik Sen, Grigore Rosu, Gul A. Agha, 2005, International Journal on Software Tools for Technology Transfer.
Andrei Popescu, Grigore Rosu, 2008, WADT.
Grigore Rosu, 2018, Formal Methods Syst. Des..
Grigore Rosu, Jeff Huang, Qingzhou Luo, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Ezio Bartocci, Yi Zhang, Felix Klaedtke, 2017, International Journal on Software Tools for Technology Transfer.
Grigore Rosu, Patrick O'Neil Meredith, Mark Hills, 2007 .
Grigore Rosu, Minh-Thai Trinh, Xiaohong Chen, 2021, CAV.
Grigore Rosu, Xiaohong Chen, 2021, Formal Methods in Outer Space.
Grigore Rosu, G. Roşu, 2012 .
Gheorghe Stefanescu, Grigore Rosu, Sudipto Ghoshal, 2008 .
Grigore Rosu, G. Rosu, G. Roşu, 2000 .