Grigore Rosu
Orcid: 0000000231020421Affiliations:
 University of Illinois, UrbanaChampaign, IL, USA
According to our database^{1},
Grigore Rosu
authored at least 204 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on twitter.com

on orcid.org

on id.loc.gov

on github.com

on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
Proc. ACM Program. Lang., April, 2023
J. Log. Algebraic Methods Program., 2023
2021
J. Log. Algebraic Methods Program., 2021
Dagstuhl Reports, 2021
Proceedings of the Computer Aided Verification  33rd International Conference, 2021
Proceedings of the Formal Methods in Outer Space, 2021
Proceedings of the ASPLOS '21: 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2021
2020
Proc. ACM Program. Lang., 2020
Towards a unified proof framework for automated fixpoint reasoning using matching logic.
Proc. ACM Program. Lang., 2020
CoRR, 2020
Proceedings of the Rewriting Logic and Its Applications  13th International Workshop, 2020
Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020
Formal Design, Implementation and Verification of Blockchain Languages Using K (Invited Talk).
Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020
Proceedings of the Computer Aided Verification  32nd International Conference, 2020
2019
Proceedings of the Computing and Software Science  State of the Art and Perspectives, 2019
First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014.
Int. J. Softw. Tools Technol. Transf., 2019
IEEE Softw., 2019
Log. Methods Comput. Sci., 2019
How effective are existing Java API specifications for finding bugs during runtime verification?
Autom. Softw. Eng., 2019
$\mathbb {K}$  A Semantic Framework for Programming Languages and Formal Analysis.
Proceedings of the Engineering Trustworthy Software Systems  5th International School, 2019
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2019
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019
Proceedings of the Formal Methods  The Next 30 Years  Third World Congress, 2019
Statistical Model Checking of RANDAO's Resilience to Precomputed Reveal Strategies.
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the Formal Methods. FM 2019 International Workshops, 2019
Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019
2018
Formal Methods Syst. Des., 2018
CoRR, 2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the Runtime Verification  18th International Conference, 2018
Formal Design, Implementation and Verification of Blockchain Languages (Invited Talk).
Proceedings of the 3rd International Conference on Formal Structures for Computation and Deduction, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018
Proceedings of the Programming Languages and Systems, 2018
Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018
2017
Proceedings of the Dependable Software Systems Engineering, 2017
Log. Methods Comput. Sci., 2017
2016
J. Log. Algebraic Methods Program., 2016
Formal Aspects Comput., 2016
Proceedings of the Runtime Verification  16th International Conference, 2016
Proceedings of the 2016 ACM SIGPLAN International Conference on ObjectOriented Programming, 2016
How good are the specs? a study of the bugfinding effectiveness of existing Java API specifications.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the Computer Aided Verification  28th International Conference, 2016
Proceedings of the Theory and Practice of Formal Methods, 2016
2015
Theor. Comput. Sci., 2015
Proceedings of the Runtime Verification  6th International Conference, 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
Proceedings of the 42nd Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the Logic, Rewriting, and Concurrency, 2015
2014
J. Funct. Program., 2014
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014
RVMonitor: Efficient Parametric Runtime Verification with Simultaneous Properties.
Proceedings of the Runtime Verification  5th International Conference, 2014
Proceedings of the Runtime Verification  5th International Conference, 2014
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
Inf. Comput., 2013
Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013
Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the International Symposium on Software Testing and Analysis, 2013
2012
Int. J. Softw. Tools Technol. Transf., 2012
Formal Methods Syst. Des., 2012
Sci. Ann. Comput. Sci., 2012
Log. Methods Comput. Sci., 2012
Proceedings of the Rewriting Logic and Its Applications  9th International Workshop, 2012
Proceedings of the Rewriting Logic and Its Applications  9th International Workshop, 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the 39th ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, 2012
Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012
Proceedings of the 27th Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Proceedings of the Automata, Languages, and Programming  39th International Colloquium, 2012
Proceedings of the Graph Transformations  6th International Conference, 2012
Proceedings of the FM 2012: Formal Methods, 2012
Proceedings of the FM 2012: Formal Methods, 2012
2011
Proceedings of the Second International Workshop on the K Framework and its Applications, 2011
Proceedings of the Second International Workshop on the K Framework and its Applications, 2011
Proceedings of the Second International Workshop on the K Framework and its Applications, 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE19) and ESEC'11: 13th European Software Engineering Conference (ESEC13), 2011
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
Proceedings of the 33rd International Conference on Software Engineering, 2011
2010
J. Log. Algebraic Methods Program., 2010
Autom. Softw. Eng., 2010
Proceedings of the Rewriting Logic and Its Applications  8th International Workshop, 2010
Proceedings of the Runtime Verification  First International Conference, 2010
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
Proceedings of the 3rd International Workshop on Multicore Software Engineering, 2010
Proceedings of the Formal Methods and Software Engineering, 2010
Proceedings of the Algebraic Methodology and Software Technology, 2010
2009
Theor. Comput. Sci., 2009
Inf. Comput., 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the Runtime Verification, 9th International Workshop, 2009
Proceedings of the ASE 2009, 2009
Proceedings of the Formal Methods and Software Engineering, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
Proceedings of the Algebra and Coalgebra in Computer Science, 2009
Proceedings of the 8th International Conference on AspectOriented Software Development, 2009
2008
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, 2008
Proceedings of the Ninth International Workshop on RuleBased Programming, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Recent Trends in Algebraic Development Techniques, 2008
Proceedings of the Runtime Verification, 8th International Workshop, 2008
Proceedings of the 29th IEEE RealTime Systems Symposium, 2008
Proceedings of the Membrane Computing  9th International Workshop, 2008
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
2007
Theor. Comput. Sci., 2007
High. Order Symb. Comput., 2007
Proceedings of the Fourth Workshop on Structural Operational Semantics, 2007
Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007
Concurr. Comput. Pract. Exp., 2007
Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2007
Proceedings of the 22nd Annual ACM SIGPLAN Conference on ObjectOriented Programming, 2007
An Effective Algorithm for the Membership Problem for Extended Regular Expressions.
Proceedings of the Foundations of Software Science and Computational Structures, 2007
On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance.
Proceedings of the Formal Methods for Open ObjectBased Distributed Systems, 2007
Proceedings of the Runtime Verification, 02.01.  06.01.2007, 2007
Proceedings of the Runtime Verification, 02.01.  06.01.2007, 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
Proceedings of the Algebra and Coalgebra in Computer Science, 2007
2006
Int. J. Softw. Tools Technol. Transf., 2006
A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters.
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006
Proceedings of the Static Analysis, 13th International Symposium, 2006
Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006
Proceedings of the 2006 International Conference on Dependable Systems and Networks (DSN 2006), 2006
Allen Linear (Interval) Temporal Logic  Translation to LTL and Monitor Synthesis.
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
Proceedings of the Algebra, Meaning, and Computation, 2006
2005
Theor. Comput. Sci., 2005
J. Univers. Comput. Sci., 2005
Formal Methods Syst. Des., 2005
Proceedings of the Fifth Workshop on Runtime Verification, 2005
Autom. Softw. Eng., 2005
Proceedings of the Verified Software: Theories, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the 32st International Symposium on Computer Architecture (ISCA 2005), 2005
Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.
Proceedings of the Formal Methods for Open ObjectBased Distributed Systems, 2005
Proceedings of the FM 2005: Formal Methods, 2005
Proceedings of the Computer Aided Verification, 17th International Conference, 2005
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005
2004
Theor. Comput. Sci., 2004
Int. J. Softw. Tools Technol. Transf., 2004
Formal Methods Syst. Des., 2004
Foreword  Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV'01).
Formal Methods Syst. Des., 2004
Proceedings of the Fourth Workshop on Runtime Verification, 2004
Proceedings of the Recent Trends in Algebraic Development Techniques, 2004
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Formal Methods and Software Engineering, 2004
Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004
Proceedings of the Computer Aided Verification, 16th International Conference, 2004
Proceedings of the Automated Reasoning  Second International Joint Conference, 2004
Proceedings of the From ObjectOrientation to Formal Methods, 2004
Proceedings of the Algebraic Methodology and Software Technology, 2004
2003
Proceedings of the Third Workshop on Runtime Verification, 2003
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003
Towards MonitoringOriented Programming: A Paradigm Combining Specification and Implementation.
Proceedings of the Third Workshop on Runtime Verification, 2003
Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003
Proceedings of the FME 2003: Formal Methods, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Proceedings of the Abstract State Machines, 2003
Proceedings of the Advances in Computing Science, 2003
2002
Math. Struct. Comput. Sci., 2002
Formal Aspects Comput., 2002
Proceedings of the Coalgebraic Methods in Computer Science, 2002
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the 2002 ACM SIGPLAN Workshop on RuleBased Programming, 2002
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002
Proceedings of the Automata, Languages and Programming, 29th International Colloquium, 2002
2001
Theor. Comput. Sci., 2001
Proceedings of the Second International Workshop on RuleBased Programming, 2001
Proceedings of the Workshop on Runtime Verification, 2001
Proceedings of the Workshop on Runtime Verification, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Computer Science Logic, 15th International Workshop, 2001
2000
J. Univers. Comput. Sci., 2000
J. Univers. Comput. Sci., 2000
Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000
Proceedings of the Coalgebraic Methods in Computer Science, 2000
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000
1999
J. Univers. Comput. Sci., 1999
Proceedings of the Workshop on Distributed Systems, 1999
Proceedings of the FM'99  Formal Methods, 1999
1998
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998
Proceedings of the Automated Deduction in Classical and NonClassical Logics, 1998
1997
Math. Struct. Comput. Sci., 1997
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997
1994
The Institution of OrderSorted Equational Logic.
Bull. EATCS, 1994