publications: - title: "Distributed Cooperative Formal Methods Tools" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Kai Lin" link: "https://researchr.org/alias/kai-lin" - name: "A. Mori" link: "https://researchr.org/alias/a.-mori" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "A. Sato" link: "https://researchr.org/alias/a.-sato" year: "1997" doi: "http://computer.org/proceedings/ase/7961/79610055abs.htm" links: doi: "http://computer.org/proceedings/ase/7961/79610055abs.htm" researchr: "https://researchr.org/publication/GoguenLMRS97" cites: 0 citedby: 0 pages: "55-62" booktitle: "ASE" kind: "inproceedings" key: "GoguenLMRS97" - title: "Online Efficient Predictive Safety Analysis of Multithreaded Programs" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Gul Agha" link: "https://researchr.org/alias/gul-agha" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=123" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=123" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/SenRA04" cites: 0 citedby: 0 pages: "123-138" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee" editor: - name: "Kurt Jensen" link: "https://researchr.org/alias/kurt-jensen" - name: "Andreas Podelski" link: "https://researchr.org/alias/andreas-podelski" volume: "2988" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21299-X" kind: "inproceedings" key: "SenRA04" - title: "Formally Defining and Verifying Master/Slave Speculative Parallelization" author: - name: "Pierre Salverda" link: "https://researchr.org/alias/pierre-salverda" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Craig B. Zilles" link: "https://researchr.org/alias/craig-b.-zilles" year: "2005" doi: "http://dx.doi.org/10.1007/11526841_10" links: doi: "http://dx.doi.org/10.1007/11526841_10" researchr: "https://researchr.org/publication/SalverdaRZ05" cites: 0 citedby: 0 pages: "123-138" booktitle: "FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings" editor: - name: "John Fitzgerald" link: "https://researchr.org/alias/john-fitzgerald" - name: "Ian J. Hayes" link: "https://researchr.org/alias/ian-j.-hayes" - name: "Andrzej Tarlecki" link: "https://researchr.org/alias/andrzej-tarlecki" volume: "3582" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-27882-6" kind: "inproceedings" key: "SalverdaRZ05" - title: "The Institution of Order-Sorted Equational Logic" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "1994" tags: - "logic" researchr: "https://researchr.org/publication/Grigore94" cites: 0 citedby: 0 journal: "Bulletin of the EATCS" volume: "53" pages: "250-255" kind: "article" key: "Grigore94" - title: "07011 Executive Summary -- Runtime Verification" author: - name: "Bernd Finkbeiner" link: "https://researchr.org/alias/bernd-finkbeiner" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" year: "2007" doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1369" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1369" researchr: "https://researchr.org/publication/FinkbeinerHRS07" cites: 0 citedby: 0 booktitle: "Runtime Verification, 02.01. - 06.01.2007" editor: - name: "Bernd Finkbeiner" link: "https://researchr.org/alias/bernd-finkbeiner" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" volume: "07011" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "FinkbeinerHRS07" - title: "Formal JVM Code Analysis in JavaFAN" author: - name: "Azadeh Farzan" link: "https://researchr.org/alias/azadeh-farzan" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=132" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3116&spage=132" tags: - "analysis" researchr: "https://researchr.org/publication/FarzanMR04" cites: 0 citedby: 0 pages: "132-147" booktitle: "Algebraic Methodology and Software Technology, 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings" editor: - name: "Charles Rattray" link: "https://researchr.org/alias/charles-rattray" - name: "Savi Maharaj" link: "https://researchr.org/alias/savi-maharaj" - name: "Carron Shankland" link: "https://researchr.org/alias/carron-shankland" volume: "3116" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22381-9" kind: "inproceedings" key: "FarzanMR04" - title: "Extensional Theories and Rewriting" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3142&spage=1066" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3142&spage=1066" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Rosu04%3A1" cites: 0 citedby: 0 pages: "1066-1079" booktitle: "Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings" editor: - name: "Josep Díaz" link: "https://researchr.org/alias/josep-d%C3%ADaz" - name: "Juhani Karhumäki" link: "https://researchr.org/alias/juhani-karhum%C3%A4ki" - name: "Arto Lepistö" link: "https://researchr.org/alias/arto-lepist%C3%B6" - name: "Donald Sannella" link: "http://homepages.inf.ed.ac.uk/dts/" volume: "3142" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22849-7" kind: "inproceedings" key: "Rosu04:1" - title: "07011 Abstracts Collection -- Runtime Verification" author: - name: "Bernd Finkbeiner" link: "https://researchr.org/alias/bernd-finkbeiner" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" year: "2007" doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1376" links: doi: "http://drops.dagstuhl.de/opus/volltexte/2008/1376" researchr: "https://researchr.org/publication/FinkbeinerHRS07a" cites: 0 citedby: 0 booktitle: "Runtime Verification, 02.01. - 06.01.2007" editor: - name: "Bernd Finkbeiner" link: "https://researchr.org/alias/bernd-finkbeiner" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" volume: "07011" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "inproceedings" key: "FinkbeinerHRS07a" - title: "Complete Categorical Equational Deduction" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2142/21420528.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2142/21420528.htm" tags: - "completeness" researchr: "https://researchr.org/publication/Rosu01%3A0" cites: 0 citedby: 0 pages: "528-538" booktitle: "Computer Science Logic, 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001, Proceedings" editor: - name: "Laurent Fribourg" link: "https://researchr.org/alias/laurent-fribourg" volume: "2142" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42554-3" kind: "inproceedings" key: "Rosu01:0" - title: "Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Gul Agha" link: "https://researchr.org/alias/gul-agha" year: "2005" doi: "http://dx.doi.org/10.1007/11494881_14" links: doi: "http://dx.doi.org/10.1007/11494881_14" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/SenRA05" cites: 0 citedby: 0 pages: "211-226" booktitle: "Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings" editor: - name: "Martin Steffen" link: "https://researchr.org/alias/martin-steffen" - name: "Gianluigi Zavattaro" link: "https://researchr.org/alias/gianluigi-zavattaro" volume: "3535" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-26181-8" kind: "inproceedings" key: "SenRA05" - title: "Garbage collection for monitoring parametric properties" author: - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Patrick O Neil Meredith" link: "https://researchr.org/alias/patrick-o-neil-meredith" - name: "Dennis Griffith" link: "https://researchr.org/alias/dennis-griffith" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2011" doi: "http://doi.acm.org/10.1145/1993498.1993547" links: doi: "http://doi.acm.org/10.1145/1993498.1993547" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/JinMGR11" researchr: "https://researchr.org/publication/JinMGR11" cites: 0 citedby: 0 pages: "415-424" booktitle: "Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011, San Jose, CA, USA, June 4-8, 2011" editor: - name: "Mary W. Hall" link: "https://researchr.org/alias/mary-w.-hall" - name: "David A. Padua" link: "https://researchr.org/alias/david-a.-padua" publisher: "ACM" isbn: "978-1-4503-0663-8" kind: "inproceedings" key: "JinMGR11" - title: "Dependent advice: a general approach to optimizing history-based aspects" author: - name: "Eric Bodden" link: "http://www.bodden.de/" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2009" doi: "http://doi.acm.org/10.1145/1509239.1509243" links: doi: "http://doi.acm.org/10.1145/1509239.1509243" tags: - "optimization" - "rule-based" - "history" - "systematic-approach" researchr: "https://researchr.org/publication/BoddenCR09" cites: 0 citedby: 0 pages: "3-14" booktitle: "Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009" editor: - name: "Kevin J. Sullivan" link: "https://researchr.org/alias/kevin-j.-sullivan" publisher: "ACM" isbn: "978-1-60558-442-3" kind: "inproceedings" key: "BoddenCR09" - title: "On Formal Analysis of OO Languages Using Rewriting Logic: Designing for Performance" author: - name: "Mark Hills" link: "https://researchr.org/alias/mark-hills" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-72952-5_7" links: doi: "http://dx.doi.org/10.1007/978-3-540-72952-5_7" tags: - "analysis" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/HillsR07" cites: 0 citedby: 0 pages: "107-121" booktitle: "Formal Methods for Open Object-Based Distributed Systems, 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings" editor: - name: "Marcello M. Bonsangue" link: "https://researchr.org/alias/marcello-m.-bonsangue" - name: "Einar Broch Johnsen" link: "https://researchr.org/alias/einar-broch-johnsen" volume: "4468" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-72919-8" kind: "inproceedings" key: "HillsR07" - title: "Monitoring Java Programs with Java PathExplorer" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#008" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#008" tags: - "Java" researchr: "https://researchr.org/publication/HavelundR01a" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "55" number: "2" pages: "200-217" kind: "article" key: "HavelundR01a" - title: "On Safety Properties and Their Monitoring" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XXII2&a=2" links: doi: "http://www.infoiasi.ro/bin/Annals/Article?v=XXII2&a=2" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/cuza/Rosu12" researchr: "https://researchr.org/publication/Rosu12" cites: 0 citedby: 0 journal: "Sci. Ann. Cuza Univ." volume: "22" number: "2" pages: "327-365" kind: "article" key: "Rosu12" - title: "Maximal sound predictive race detection with control flow abstraction" author: - name: "Jeff Huang" link: "https://researchr.org/alias/jeff-huang" - name: "Patrick O'Neil Meredith" link: "https://researchr.org/alias/patrick-o%27neil-meredith" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://doi.acm.org/10.1145/2594291.2594315" links: doi: "http://doi.acm.org/10.1145/2594291.2594315" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/HuangMR14" researchr: "https://researchr.org/publication/HuangMR14" cites: 0 citedby: 0 pages: "36" booktitle: "ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '14, Edinburgh, United Kingdom - June 09 - 11, 2014" editor: - name: "Michael F. P. O'Boyle" link: "https://researchr.org/alias/michael-f.-p.-o%27boyle" - name: "Keshav Pingali" link: "https://researchr.org/alias/keshav-pingali" publisher: "ACM" isbn: "978-1-4503-2784-8" kind: "inproceedings" key: "HuangMR14" - title: "A Rewriting Logic Semantics Approach to Modular Program Analysis" author: - name: "Mark Hills" link: "https://researchr.org/alias/mark-hills" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2010" doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.151" links: doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2010.151" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rta/HillsR10" tags: - "semantics" - "program analysis" - "analysis" - "graph-rewriting" - "logic programming" - "logic" - "rewriting logic" - "rewriting" - "systematic-approach" researchr: "https://researchr.org/publication/HillsR10" cites: 0 citedby: 0 pages: "151-160" booktitle: "Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, July 11-13, 2010, Edinburgh, Scottland, UK" editor: - name: "Christopher Lynch" link: "https://researchr.org/alias/christopher-lynch" volume: "6" series: "LIPIcs" publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik" isbn: "978-3-939897-18-7" kind: "inproceedings" key: "HillsR10" - title: "jPredictor: a predictive runtime analysis tool for java" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2008" doi: "http://doi.acm.org/10.1145/1368088.1368119" links: doi: "http://doi.acm.org/10.1145/1368088.1368119" tags: - "Java" - "analysis" researchr: "https://researchr.org/publication/ChenSR08" cites: 0 citedby: 0 pages: "221-230" booktitle: "30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008" editor: - name: "Wilhelm Schäfer" link: "https://researchr.org/alias/wilhelm-sch%C3%A4fer" - name: "Matthew B. Dwyer" link: "https://researchr.org/alias/matthew-b.-dwyer" - name: "Volker Gruhn" link: "https://researchr.org/alias/volker-gruhn" publisher: "ACM" isbn: "978-1-60558-079-1" kind: "inproceedings" key: "ChenSR08" - title: "On implementing behavioral rewriting" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" doi: "http://doi.acm.org/10.1145/570186.570190" links: doi: "http://doi.acm.org/10.1145/570186.570190" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Rosu02%3A0" cites: 0 citedby: 0 pages: "43-52" booktitle: "Proceedings of the 2002 ACM SIGPLAN Workshop on Rule-Based Programming, Pittsburgh, Pennsylvania, USA, 2002" editor: - name: "Bernd Fischer" link: "http://www.ecs.soton.ac.uk/people/bf" - name: "Eelco Visser" link: "http://eelcovisser.org" publisher: "ACM" isbn: "1-58113-606-4" kind: "inproceedings" key: "Rosu02:0" - title: "Abstract Semantics for K Module Composition" author: - name: "Codruta Gîrlea" link: "https://researchr.org/alias/codruta-g%C3%AErlea" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1016/j.entcs.2014.05.007" links: doi: "http://dx.doi.org/10.1016/j.entcs.2014.05.007" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/GirleaR14" researchr: "https://researchr.org/publication/GirleaR14" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "304" pages: "127-149" kind: "article" key: "GirleaR14" - title: "Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Saddek Bensalem" link: "https://researchr.org/alias/saddek-bensalem" year: "2006" doi: "http://dx.doi.org/10.1007/11817963_25" links: doi: "http://dx.doi.org/10.1007/11817963_25" tags: - "translation" - "logic" researchr: "https://researchr.org/publication/RosuB06" cites: 0 citedby: 0 pages: "263-277" booktitle: "Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings" editor: - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" - name: "Robert B. Jones" link: "https://researchr.org/alias/robert-b.-jones" volume: "4144" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37406-X" kind: "inproceedings" key: "RosuB06" - title: "Efficient Monitoring of Parametric Context-Free Patterns" author: - name: "Patrick O Neil Meredith" link: "https://researchr.org/alias/patrick-o-neil-meredith" - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2008" doi: "http://dx.doi.org/10.1109/ASE.2008.25" links: doi: "http://dx.doi.org/10.1109/ASE.2008.25" tags: - "context-aware" researchr: "https://researchr.org/publication/MeredithJCR08" cites: 0 citedby: 0 pages: "148-157" booktitle: "23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 15-19 September 2008, L Aquila, Italy" publisher: "IEEE" kind: "inproceedings" key: "MeredithJCR08" - title: "K Overview and SIMPLE Case Study" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" year: "2014" doi: "http://dx.doi.org/10.1016/j.entcs.2014.05.002" links: doi: "http://dx.doi.org/10.1016/j.entcs.2014.05.002" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/RosuS14" researchr: "https://researchr.org/publication/RosuS14" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "304" pages: "3-56" kind: "article" key: "RosuS14" - title: "Kan Extensions of Institutions" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "1999" doi: "http://www.jucs.org/jucs_5_8/kan_extensions_of_institutions" links: doi: "http://www.jucs.org/jucs_5_8/kan_extensions_of_institutions" researchr: "https://researchr.org/publication/Rosu99" cites: 0 citedby: 0 journal: "J. UCS" volume: "5" number: "8" pages: "482-493" kind: "article" key: "Rosu99" - title: "Monitoring Programs Using Rewriting" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2001" doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260135abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260135abs.htm" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HavelundR01" cites: 0 citedby: 0 pages: "135-143" booktitle: "16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1426-X" kind: "inproceedings" key: "HavelundR01" - title: "Editorial" author: - name: "Narciso Martí-Oliet" link: "https://researchr.org/alias/narciso-mart%C3%AD-oliet" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" year: "2007" doi: "http://dx.doi.org/10.1007/s10990-007-9005-1" links: doi: "http://dx.doi.org/10.1007/s10990-007-9005-1" researchr: "https://researchr.org/publication/Marti-OlietRT07" cites: 0 citedby: 0 journal: "Higher-Order and Symbolic Computation" volume: "20" number: "1-2" pages: "1-2" kind: "article" key: "Marti-OlietRT07" - title: "Static Analysis to Enforce Safe Value Flow in Embedded Control Systems" author: - name: "Sumant Kowshik" link: "https://researchr.org/alias/sumant-kowshik" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Lui Sha" link: "https://researchr.org/alias/lui-sha" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/DSN.2006.66" links: doi: "http://doi.ieeecomputersociety.org/10.1109/DSN.2006.66" tags: - "control systems" - "analysis" - "static analysis" - "data-flow" - "data-flow analysis" researchr: "https://researchr.org/publication/KowshikRS06" cites: 0 citedby: 0 pages: "23-34" booktitle: "2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings" publisher: "IEEE Computer Society" isbn: "0-7695-2607-1" kind: "inproceedings" key: "KowshikRS06" - title: "A Language-Independent Proof System for Mutual Program Equivalence" author: - name: "Stefan Ciobaca" link: "https://researchr.org/alias/stefan-ciobaca" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Vlad Rusu" link: "https://researchr.org/profile/vladrusu/publications" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-11737-9_6" abstract: "Two programs are mutually equivalent if they both diverge or they end up in similar states. Mutual equivalence is an adequate notion of equivalence for programs written in deterministic languages. It is useful in many contexts, such as capturing the correctness of program transformations within the same language, or capturing the correctness of compilers between two different languages. In this paper we introduce a language-independent proof system for mutual equivalence, which is parametric in the operational semantics of two languages and in a statesimilarity relation. The proof system is sound: if it terminates then it establishes the mutual equivalence of the programs given to it as input. We illustrate it on two programs in two different languages (an imperative one and a functional one), that both compute the Collatz sequence. PDF available at https://hal.inria.fr/hal-01030754/document" links: doi: "http://dx.doi.org/10.1007/978-3-319-11737-9_6" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfem/CiobacaLRR14" researchr: "https://researchr.org/publication/CiobacaLRR14" cites: 0 citedby: 0 pages: "75-90" booktitle: "Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings" editor: - name: "Stephan Merz" link: "https://researchr.org/alias/stephan-merz" - name: "Jun Pang" link: "https://researchr.org/alias/jun-pang" volume: "8829" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-11736-2" kind: "inproceedings" key: "CiobacaLRR14" - title: "An Effective Algorithm for the Membership Problem for Extended Regular Expressions" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-71389-0_24" links: doi: "http://dx.doi.org/10.1007/978-3-540-71389-0_24" researchr: "https://researchr.org/publication/Rosu07" cites: 0 citedby: 0 pages: "332-345" booktitle: "Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings" editor: - name: "Helmut Seidl" link: "https://researchr.org/alias/helmut-seidl" volume: "4423" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-71388-3" kind: "inproceedings" key: "Rosu07" - title: "Composing Hidden Information Modules over Inclusive Institutions" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2635&spage=96" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2635&spage=96" researchr: "https://researchr.org/publication/GoguenR04" cites: 0 citedby: 0 pages: "96-123" booktitle: "From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl" editor: - name: "Olaf Owe" link: "https://researchr.org/alias/olaf-owe" - name: "Stein Krogdahl" link: "https://researchr.org/alias/stein-krogdahl" - name: "Tom Lyche" link: "https://researchr.org/alias/tom-lyche" volume: "2635" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-21366-X" kind: "inproceedings" key: "GoguenR04" - title: "RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties" author: - name: "Qingzhou Luo" link: "https://researchr.org/alias/qingzhou-luo" - name: "Yi Zhang" link: "https://researchr.org/alias/yi-zhang" - name: "Choonghwan Lee" link: "https://researchr.org/alias/choonghwan-lee" - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Patrick O'Neil Meredith" link: "https://researchr.org/alias/patrick-o%27neil-meredith" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-11164-3_24" links: doi: "http://dx.doi.org/10.1007/978-3-319-11164-3_24" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/LuoZLJMSR14" researchr: "https://researchr.org/publication/LuoZLJMSR14" cites: 0 citedby: 0 pages: "285-300" booktitle: "Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings" editor: - name: "Borzoo Bonakdarpour" link: "https://researchr.org/alias/borzoo-bonakdarpour" - name: "Scott A. Smolka" link: "https://researchr.org/alias/scott-a.-smolka" volume: "8734" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-11163-6" kind: "inproceedings" key: "LuoZLJMSR14" - title: "ROSRV: Runtime Verification for Robots" author: - name: "Jeff Huang" link: "https://researchr.org/alias/jeff-huang" - name: "Cansu Erdogan" link: "https://researchr.org/alias/cansu-erdogan" - name: "Yi Zhang" link: "https://researchr.org/alias/yi-zhang" - name: "Brandon M. Moore" link: "https://researchr.org/alias/brandon-m.-moore" - name: "Qingzhou Luo" link: "https://researchr.org/alias/qingzhou-luo" - name: "Aravind Sundaresan" link: "https://researchr.org/alias/aravind-sundaresan" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-11164-3_20" links: doi: "http://dx.doi.org/10.1007/978-3-319-11164-3_20" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/HuangEZMLSR14" researchr: "https://researchr.org/publication/HuangEZMLSR14" cites: 0 citedby: 0 pages: "247-254" booktitle: "Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings" editor: - name: "Borzoo Bonakdarpour" link: "https://researchr.org/alias/borzoo-bonakdarpour" - name: "Scott A. Smolka" link: "https://researchr.org/alias/scott-a.-smolka" volume: "8734" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-11163-6" kind: "inproceedings" key: "HuangEZMLSR14" - title: "Foreword" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://dx.doi.org/10.1007/s10703-005-3397-5" links: doi: "http://dx.doi.org/10.1007/s10703-005-3397-5" researchr: "https://researchr.org/publication/HavelundR05" cites: 0 citedby: 0 journal: "Formal Methods in System Design" volume: "27" number: "3" pages: "211-212" kind: "article" key: "HavelundR05" - title: "From Hoare Logic to Matching Logic Reachability" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_32" links: doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_32" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/RosuS12" researchr: "https://researchr.org/publication/RosuS12" cites: 0 citedby: 0 pages: "387-402" booktitle: "FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings" editor: - name: "Dimitra Giannakopoulou" link: "https://researchr.org/alias/dimitra-giannakopoulou" - name: "Dominique Méry" link: "https://researchr.org/alias/dominique-m%C3%A9ry" volume: "7436" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-32758-2" kind: "inproceedings" key: "RosuS12" - title: "Efficient parametric runtime verification with deterministic string rewriting" author: - name: "Patrick O'Neil Meredith" link: "https://researchr.org/alias/patrick-o%27neil-meredith" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2013" doi: "http://dx.doi.org/10.1109/ASE.2013.6693067" links: doi: "http://dx.doi.org/10.1109/ASE.2013.6693067" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/MeredithR13" researchr: "https://researchr.org/publication/MeredithR13" cites: 0 citedby: 0 pages: "70-80" booktitle: "2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013" publisher: "IEEE" kind: "inproceedings" key: "MeredithR13" - title: "Rule-Based Analysis of Dimensional Safety" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Ram Prasad Venkatesan" link: "https://researchr.org/alias/ram-prasad-venkatesan" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060197.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060197.htm" tags: - "rule-based" - "analysis" - "rules" researchr: "https://researchr.org/publication/ChenRV03" cites: 0 citedby: 0 pages: "197-207" booktitle: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings" editor: - name: "Robert Nieuwenhuis" link: "https://researchr.org/alias/robert-nieuwenhuis" volume: "2706" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40254-3" kind: "inproceedings" key: "ChenRV03" - title: "An Instrumentation Technique for Online Analysis of Multithreaded Programs" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/17/2132170268babs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/17/2132170268babs.htm" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/RosuS04" cites: 0 citedby: 0 booktitle: "18th International Parallel and Distributed Processing Symposium (IPDPS 2004), CD-ROM / Abstracts Proceedings, 26-30 April 2004, Santa Fe, New Mexico, USA" publisher: "IEEE Computer Society" isbn: "0-7695-2132-0" kind: "inproceedings" key: "RosuS04" - title: "Language Definitions as Rewrite Theories" author: - name: "Vlad Rusu" link: "https://researchr.org/profile/vladrusu/publications" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Andrei Arusoaie" link: "https://researchr.org/alias/andrei-arusoaie" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2016" month: "January" abstract: "K is a formal framework for defining operational semantics of programming languages. The K-Maude compiler translates K language definitions to Maude rewrite theories. The compiler enables program execution by using the Maude rewrite engine withthe compiled definitions, and program analysis by using various Maude analysis tools.K supports symbolic execution in Maude by means of an automatic transformation of language definitions. The transformed definition is called the {\\em symbolic extension} of the original definition.In this paper we investigate the theoretical relationship between K language definitions and their Maude translations, between symbolic extensions of K definitions and their Maude translations, and how the relationship between K definitions and their symbolic extensions is reflected on their respective representations in Maude.In particular, the results show how analysis performed with Maude tools can be formally lifted up to the original language definitions. Preprint available at https://hal.inria.fr/hal-01186005." note: "To appear." links: technicalreport: "https://researchr.org/publication/preprint-rusu%3Ahal-01186005" "url": "https://hal.inria.fr/hal-01186005" researchr: "https://researchr.org/publication/rusu%3Ahal-01186005" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Methods in Programming" volume: "85" number: "1 Part 1" pages: "98-120" kind: "article" key: "rusu:hal-01186005" - title: "Preface" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" doi: "http://www.elsevier.com/gej-ng/31/29/23/125/49/show/Products/notes/index.htt#001" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/125/49/show/Products/notes/index.htt#001" researchr: "https://researchr.org/publication/HavelundR02%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "70" number: "4" pages: "201-202" kind: "article" key: "HavelundR02:0" - title: "Certifying Domain-Specific Policies" author: - name: "Michael R. Lowry" link: "https://researchr.org/alias/michael-r.-lowry" - name: "Thomas Pressburger" link: "https://researchr.org/alias/thomas-pressburger" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2001" doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260081abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ase/2001/1426/00/14260081abs.htm" researchr: "https://researchr.org/publication/LowryPR01" cites: 0 citedby: 0 pages: "81-90" booktitle: "16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA" publisher: "IEEE Computer Society" isbn: "0-7695-1426-X" kind: "inproceedings" key: "LowryPR01" - title: "Making Maude Definitions More Interactive" author: - name: "Andrei Arusoaie" link: "https://researchr.org/alias/andrei-arusoaie" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Chucky Ellison" link: "https://researchr.org/alias/chucky-ellison" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-34005-5_5" links: doi: "http://dx.doi.org/10.1007/978-3-642-34005-5_5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/ArusoaieSER12" researchr: "https://researchr.org/publication/ArusoaieSER12" cites: 0 citedby: 0 pages: "83-98" booktitle: "Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers" editor: - name: "Franciso Durán" link: "https://researchr.org/alias/franciso-dur%C3%A1n" volume: "7571" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-34004-8" kind: "inproceedings" key: "ArusoaieSER12" - title: "CIRC : A Circular Coinductive Prover" author: - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_25" links: doi: "http://dx.doi.org/10.1007/978-3-540-73859-6_25" researchr: "https://researchr.org/publication/LucanuR07" cites: 0 citedby: 0 pages: "372-378" booktitle: "Algebra and Coalgebra in Computer Science, Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings" editor: - name: "Till Mossakowski" link: "http://www.dfki.de/sks/till" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" - name: "Magne Haveraaen" link: "http://www.ii.uib.no/~magne/" volume: "4624" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73857-2" kind: "inproceedings" key: "LucanuR07" - title: "Executing Formal Semantics with the K Tool" author: - name: "David Lazar" link: "https://researchr.org/alias/david-lazar" - name: "Andrei Arusoaie" link: "https://researchr.org/alias/andrei-arusoaie" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Chucky Ellison" link: "https://researchr.org/alias/chucky-ellison" - name: "Radu Mereuta" link: "https://researchr.org/alias/radu-mereuta" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_23" links: doi: "http://dx.doi.org/10.1007/978-3-642-32759-9_23" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fm/LazarASEMLR12" researchr: "https://researchr.org/publication/LazarASEMLR12" cites: 0 citedby: 0 pages: "267-271" booktitle: "FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings" editor: - name: "Dimitra Giannakopoulou" link: "https://researchr.org/alias/dimitra-giannakopoulou" - name: "Dominique Méry" link: "https://researchr.org/alias/dominique-m%C3%A9ry" volume: "7436" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-32758-2" kind: "inproceedings" key: "LazarASEMLR12" - title: "Regular Strategies as Proof Tactics for CIRC" author: - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Gheorghe Grigoras" link: "https://researchr.org/alias/gheorghe-grigoras" year: "2008" doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.055" links: doi: "http://dx.doi.org/10.1016/j.entcs.2008.03.055" researchr: "https://researchr.org/publication/LucanuRG08" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "204" pages: "83-98" kind: "article" key: "LucanuRG08" - title: "Combining test case generation and runtime verification" author: - name: "Cyrille Artho" link: "https://researchr.org/alias/cyrille-artho" - name: "Howard Barringer" link: "https://researchr.org/alias/howard-barringer" - name: "Allen Goldberg" link: "https://researchr.org/alias/allen-goldberg" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Sarfraz Khurshid" link: "https://researchr.org/alias/sarfraz-khurshid" - name: "Michael R. Lowry" link: "https://researchr.org/alias/michael-r.-lowry" - name: "Corina S. Pasareanu" link: "https://researchr.org/alias/corina-s.-pasareanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Willem Visser" link: "https://researchr.org/alias/willem-visser" - name: "Richard Washington" link: "https://researchr.org/alias/richard-washington" year: "2005" doi: "http://dx.doi.org/10.1016/j.tcs.2004.11.007" links: doi: "http://dx.doi.org/10.1016/j.tcs.2004.11.007" tags: - "testing" researchr: "https://researchr.org/publication/ArthoBGHKLPRSVW05" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "336" number: "2-3" pages: "209-234" kind: "article" key: "ArthoBGHKLPRSVW05" - title: "Behavioral and Coinductive Rewriting" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Kai Lin" link: "https://researchr.org/alias/kai-lin" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2000" doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#002" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/71/22/show/Products/notes/index.htt#002" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/GoguenLR00%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "36" pages: "2-23" kind: "article" key: "GoguenLR00:0" - title: "Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools" author: - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=1" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3097&spage=1" tags: - "semantics" - "formal semantics" - "analysis" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/MeseguerR04" cites: 0 citedby: 0 pages: "1-44" booktitle: "Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings" editor: - name: "David A. Basin" link: "https://researchr.org/alias/david-a.-basin" - name: "Michaël Rusinowitch" link: "https://researchr.org/alias/micha%C3%ABl-rusinowitch" volume: "3097" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22345-2" kind: "inproceedings" key: "MeseguerR04" - title: "Matching Logic: An Alternative to Hoare/Floyd Logic" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Chucky Ellison" link: "https://researchr.org/alias/chucky-ellison" - name: "Wolfram Schulte" link: "https://researchr.org/alias/wolfram-schulte" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-17796-5_9" links: doi: "http://dx.doi.org/10.1007/978-3-642-17796-5_9" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/amast/RosuES10" tags: - "logic" researchr: "https://researchr.org/publication/RosuES10" cites: 0 citedby: 0 pages: "142-162" booktitle: "Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers" editor: - name: "Michael Johnson" link: "https://researchr.org/alias/michael-johnson" - name: "Dusko Pavlovic" link: "https://researchr.org/alias/dusko-pavlovic" volume: "6486" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-17795-8" kind: "inproceedings" key: "RosuES10" - title: "Specifying Languages and Verifying Programs with K" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2013" doi: "http://dx.doi.org/10.1109/SYNASC.2013.81" links: doi: "http://dx.doi.org/10.1109/SYNASC.2013.81" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/synasc/Rosu13" researchr: "https://researchr.org/publication/Rosu13" cites: 0 citedby: 0 pages: "28-31" booktitle: "15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013" publisher: "IEEE" isbn: "978-1-4799-3035-7" kind: "inproceedings" key: "Rosu13" - title: "Towards a Unified Theory of Operational and Axiomatic Semantics" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-31585-5_33" links: doi: "http://dx.doi.org/10.1007/978-3-642-31585-5_33" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icalp/RosuS12" researchr: "https://researchr.org/publication/RosuS12-0" cites: 0 citedby: 0 pages: "351-363" booktitle: "Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II" editor: - name: "Artur Czumaj" link: "https://researchr.org/alias/artur-czumaj" - name: "Kurt Mehlhorn" link: "https://researchr.org/alias/kurt-mehlhorn" - name: "Andrew M. Pitts" link: "https://researchr.org/alias/andrew-m.-pitts" - name: "Roger Wattenhofer" link: "https://researchr.org/alias/roger-wattenhofer" volume: "7392" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-31584-8" kind: "inproceedings" key: "RosuS12-0" - title: "Experiments with Test Case Generation and Runtime Analysis" author: - name: "Cyrille Artho" link: "https://researchr.org/alias/cyrille-artho" - name: "Doron Drusinsky" link: "https://researchr.org/alias/doron-drusinsky" - name: "Allen Goldberg" link: "https://researchr.org/alias/allen-goldberg" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Michael R. Lowry" link: "https://researchr.org/alias/michael-r.-lowry" - name: "Corina S. Pasareanu" link: "https://researchr.org/alias/corina-s.-pasareanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Willem Visser" link: "https://researchr.org/alias/willem-visser" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2589/25890087.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2589/25890087.htm" tags: - "testing" - "analysis" researchr: "https://researchr.org/publication/ArthoDGHLPRV03" cites: 0 citedby: 0 pages: "87-107" booktitle: "Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings" editor: - name: "Egon Börger" link: "https://researchr.org/alias/egon-b%C3%B6rger" - name: "Angelo Gargantini" link: "https://researchr.org/alias/angelo-gargantini" - name: "Elvinia Riccobene" link: "https://researchr.org/alias/elvinia-riccobene" volume: "2589" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00624-9" kind: "inproceedings" key: "ArthoDGHLPRV03" - title: "On Equational Craig Interpolation" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" year: "2000" doi: "http://www.jucs.org/jucs_6_1/on_equational_craig_interpolation" links: doi: "http://www.jucs.org/jucs_6_1/on_equational_craig_interpolation" researchr: "https://researchr.org/publication/RosuG00" cites: 0 citedby: 0 journal: "J. UCS" volume: "6" number: "1" pages: "194-200" kind: "article" key: "RosuG00" - title: "A Tree Based Router Search Engine Architecture with Single Port Memories" author: - name: "Florin Baboescu" link: "https://researchr.org/alias/florin-baboescu" - name: "Dean M. Tullsen" link: "https://researchr.org/alias/dean-m.-tullsen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Sumeet Singh" link: "https://researchr.org/alias/sumeet-singh" year: "2005" doi: "http://csdl.computer.org/comp/proceedings/isca/2005/2270/00/22700123abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/isca/2005/2270/00/22700123abs.htm" tags: - "rule-based" - "architecture" - "search" - "routing" researchr: "https://researchr.org/publication/BaboescuTRS05" cites: 0 citedby: 0 pages: "123-133" booktitle: "32st International Symposium on Computer Architecture (ISCA 2005), 4-8 June 2005, Madison, Wisconsin, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "BaboescuTRS05" - title: "CIRC: A Behavioral Verification Tool Based on Circular Coinduction" author: - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Eugen-Ioan Goriac" link: "https://researchr.org/alias/eugen-ioan-goriac" - name: "Georgiana Caltais" link: "https://researchr.org/alias/georgiana-caltais" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-03741-2_30" links: doi: "http://dx.doi.org/10.1007/978-3-642-03741-2_30" tags: - "rule-based" researchr: "https://researchr.org/publication/LucanuGCR09" cites: 0 citedby: 0 pages: "433-442" booktitle: "Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings" editor: - name: "Alexander Kurz" link: "https://researchr.org/alias/alexander-kurz" - name: "Marina Lenisa" link: "https://researchr.org/alias/marina-lenisa" - name: "Andrzej Tarlecki" link: "https://researchr.org/alias/andrzej-tarlecki" volume: "5728" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03740-5" kind: "inproceedings" key: "LucanuGCR09" - title: "Equational axiomatizability for coalgebra" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2001" doi: "http://dx.doi.org/10.1016/S0304-3975(00)00129-8" links: doi: "http://dx.doi.org/10.1016/S0304-3975(00)00129-8" researchr: "https://researchr.org/publication/Rosu01" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "260" number: "1-2" pages: "229-247" kind: "article" key: "Rosu01" - title: "Towards Behavioral Maude: Behavioral Membership Equational Logic" author: - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" doi: "http://www.elsevier.com/gej-ng/31/29/23/117/54/show/Products/notes/index.htt#011" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/117/54/show/Products/notes/index.htt#011" tags: - "logic" researchr: "https://researchr.org/publication/MeseguerR02%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "65" number: "1" pages: "197-253" kind: "article" key: "MeseguerR02:0" - title: "Efficient monitoring of parametric context-free patterns" author: - name: "Patrick O Neil Meredith" link: "https://researchr.org/alias/patrick-o-neil-meredith" - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2010" doi: "http://springerlink.metapress.com/content/k47j24m5v08n4648/" links: doi: "http://springerlink.metapress.com/content/k47j24m5v08n4648/" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/ase/MeredithJCR10" tags: - "context-aware" researchr: "https://researchr.org/publication/MeredithJCR10" cites: 0 citedby: 0 journal: "Automated Software Engineering" volume: "17" number: "2" pages: "149-180" kind: "article" key: "MeredithJCR10" - title: "Formal Analysis of Java Programs in JavaFAN" author: - name: "Azadeh Farzan" link: "https://researchr.org/alias/azadeh-farzan" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=501" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3114&spage=501" tags: - "Java" - "program analysis" - "analysis" researchr: "https://researchr.org/publication/FarzanCMR04" cites: 0 citedby: 0 pages: "501-505" booktitle: "Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings" editor: - name: "Rajeev Alur" link: "https://researchr.org/alias/rajeev-alur" - name: "Doron Peled" link: "https://researchr.org/alias/doron-peled" volume: "3114" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-22342-8" kind: "inproceedings" key: "FarzanCMR04" - title: "Language Definitions as Rewrite Theories" author: - name: "Vlad Rusu" link: "https://researchr.org/profile/vladrusu/publications" - name: "Lucanu, Dorel" link: "https://researchr.org/alias/lucanu%2C-dorel" - name: "Serbanuta, Traian Florin " link: "https://researchr.org/alias/serbanuta%2C-traian-florin" - name: "Arusoaie, Andrei" link: "https://researchr.org/alias/arusoaie%2C-andrei" - name: "Stefanescu, Andrei" link: "https://researchr.org/alias/stefanescu%2C-andrei" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2015" abstract: "K is a formal framework for defining operational semantics of programming languages. The K-Maude compiler translates K language definitions to Maude rewrite theories. The compiler enables program execution by using the Maude rewrite engine withthe compiled definitions, and program analysis by using various Maude analysis tools.K supports symbolic execution in Maude by means of an automatic transformation of language definitions. The transformed definition is called the {\\em symbolic extension} of the original definition.In this paper we investigate the theoretical relationship between K language definitions and their Maude translations, between symbolic extensions of K definitions and their Maude translations, and how the relationship between K definitions and their symbolic extensions is reflected on their respective representations in Maude.In particular, the results show how analysis performed with Maude tools can be formally lifted up to the original language definitions. Preprint available in the right-hand side panel." links: published: "https://researchr.org/publication/rusu%3Ahal-01186005" researchr: "https://researchr.org/publication/preprint-rusu%3Ahal-01186005" cites: 0 citedby: 0 type: "Preprint" kind: "techreport" key: "preprint-rusu:hal-01186005" - title: "Computationally Equivalent Elimination of Conditions" author: - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://dx.doi.org/10.1007/11805618_3" links: doi: "http://dx.doi.org/10.1007/11805618_3" researchr: "https://researchr.org/publication/SerbanutaR06" cites: 0 citedby: 0 pages: "19-34" booktitle: "Term Rewriting and Applications, 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings" editor: - name: "Frank Pfenning" link: "http://www.cs.cmu.edu/~fp/" volume: "4098" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-36834-5" kind: "inproceedings" key: "SerbanutaR06" - title: "Automating Coinduction with Case Analysis" author: - name: "Eugen-Ioan Goriac" link: "https://researchr.org/alias/eugen-ioan-goriac" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16901-4_16" links: doi: "http://dx.doi.org/10.1007/978-3-642-16901-4_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icfem/GoriacLR10" tags: - "analysis" researchr: "https://researchr.org/publication/GoriacLR10" cites: 0 citedby: 0 pages: "220-236" booktitle: "Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings" editor: - name: "Jin Song Dong" link: "https://researchr.org/alias/jin-song-dong" - name: "Huibiao Zhu" link: "https://researchr.org/alias/huibiao-zhu" volume: "6447" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16900-7" kind: "inproceedings" key: "GoriacLR10" - title: "Rewriting-Based Techniques for Runtime Verification" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" year: "2005" doi: "http://dx.doi.org/10.1007/s10515-005-6205-y" links: doi: "http://dx.doi.org/10.1007/s10515-005-6205-y" tags: - "rule-based" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/RosuH05" cites: 0 citedby: 0 journal: "Automated Software Engineering" volume: "12" number: "2" pages: "151-197" kind: "article" key: "RosuH05" - title: "On the complexity of stream equality" author: - name: "Jörg Endrullis" link: "https://researchr.org/alias/j%C3%B6rg-endrullis" - name: "Dimitri Hendriks" link: "https://researchr.org/alias/dimitri-hendriks" - name: "Rena Bakhshi" link: "https://researchr.org/alias/rena-bakhshi" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1017/S0956796813000324" links: doi: "http://dx.doi.org/10.1017/S0956796813000324" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jfp/EndrullisHBR14" researchr: "https://researchr.org/publication/EndrullisHBR14" cites: 0 citedby: 0 journal: "Journal of Functional Programming" volume: "24" number: "2-3" pages: "166-217" kind: "article" key: "EndrullisHBR14" - title: "Defining the undefinedness of C" author: - name: "Chris Hathhorn" link: "https://researchr.org/alias/chris-hathhorn" - name: "Chucky Ellison" link: "https://researchr.org/alias/chucky-ellison" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2015" doi: "http://doi.acm.org/10.1145/2737924.2737979" links: doi: "http://doi.acm.org/10.1145/2737924.2737979" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/HathhornER15" researchr: "https://researchr.org/publication/HathhornER15" cites: 0 citedby: 0 pages: "336-345" booktitle: "Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015" editor: - name: "David Grove" link: "https://researchr.org/alias/david-grove" - name: "Steve Blackburn" link: "https://researchr.org/alias/steve-blackburn" publisher: "ACM" isbn: "978-1-4503-3468-6" kind: "inproceedings" key: "HathhornER15" - title: "Term-Generic Logic" author: - name: "Andrei Popescu" link: "https://researchr.org/alias/andrei-popescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-03429-9_19" links: doi: "http://dx.doi.org/10.1007/978-3-642-03429-9_19" tags: - "logic" researchr: "https://researchr.org/publication/PopescuR08" cites: 0 citedby: 0 pages: "290-307" booktitle: "Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" volume: "5486" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03428-2" kind: "inproceedings" key: "PopescuR08" - title: "Mining parametric specifications" author: - name: "Choonghwan Lee" link: "https://researchr.org/alias/choonghwan-lee" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2011" doi: "http://doi.acm.org/10.1145/1985793.1985874" links: doi: "http://doi.acm.org/10.1145/1985793.1985874" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/LeeCR11" researchr: "https://researchr.org/publication/LeeCR11-0" cites: 0 citedby: 0 pages: "591-600" booktitle: "Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011" editor: - name: "Richard N. Taylor" link: "https://researchr.org/alias/richard-n.-taylor" - name: "Harald Gall" link: "https://researchr.org/alias/harald-gall" - name: "Nenad Medvidovic" link: "https://researchr.org/alias/nenad-medvidovic" publisher: "ACM" isbn: "978-1-4503-0445-0" kind: "inproceedings" key: "LeeCR11-0" - title: "Conditional Circular Coinductive Rewriting with Case Analysis" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Kai Lin" link: "https://researchr.org/alias/kai-lin" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=216" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2755&spage=216" tags: - "analysis" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/GoguenLR02" cites: 0 citedby: 0 pages: "216-232" booktitle: "Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers" editor: - name: "Martin Wirsing" link: "https://researchr.org/alias/martin-wirsing" - name: "Dirk Pattinson" link: "https://researchr.org/alias/dirk-pattinson" - name: "Rolf Hennicker" link: "https://researchr.org/alias/rolf-hennicker" volume: "2755" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20537-3" kind: "inproceedings" key: "GoguenLR02" - title: "KOOL: An Application of Rewriting Logic to Language Prototyping and Analysis" author: - name: "Mark Hills" link: "https://researchr.org/alias/mark-hills" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73449-9_19" abstract: "This paper presents KOOL, a concurrent, dynamic, object-oriented language defined in rewriting logic. KOOL has been designed as an experimental language, with a focus on making the language easy to extend. This is done by taking advantage of the flexibility provided by rewriting logic, which allows for the rapid prototyping of new language features. An example of this process is illustrated by sketching the addition of synchronized methods. KOOL also provides support for program analysis through language extensions and the underlying capabilities of rewriting logic. This support is illustrated with several examples. " links: doi: "http://dx.doi.org/10.1007/978-3-540-73449-9_19" tags: - "programming languages" - "object-oriented programming" - "program analysis" - "synchronization" - "meta programming" - "analysis" - "language design" - "graph-rewriting" - "logic programming" - "subject-oriented programming" - "logic" - "Meta-Environment" - "rewriting logic" - "rewriting" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/HillsR07%3A1" cites: 0 citedby: 0 pages: "246-256" booktitle: "Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings" editor: - name: "Franz Baader" link: "https://researchr.org/alias/franz-baader" volume: "4533" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73447-5" kind: "inproceedings" key: "HillsR07:1" - title: "Preface" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2009" doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.009" links: doi: "http://dx.doi.org/10.1016/j.entcs.2009.05.009" researchr: "https://researchr.org/publication/Rosu09" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "238" number: "3" pages: "1-3" kind: "article" key: "Rosu09" - title: "K Framework Distilled" author: - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-34005-5_3" links: doi: "http://dx.doi.org/10.1007/978-3-642-34005-5_3" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/LucanuSR12" researchr: "https://researchr.org/publication/LucanuSR12" cites: 0 citedby: 0 pages: "31-53" booktitle: "Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers" editor: - name: "Franciso Durán" link: "https://researchr.org/alias/franciso-dur%C3%A1n" volume: "7571" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-34004-8" kind: "inproceedings" key: "LucanuSR12" - title: "A semantic approach to interpolation" author: - name: "Andrei Popescu" link: "https://researchr.org/alias/andrei-popescu" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2009" doi: "http://dx.doi.org/10.1016/j.tcs.2008.09.038" links: doi: "http://dx.doi.org/10.1016/j.tcs.2008.09.038" tags: - "systematic-approach" researchr: "https://researchr.org/publication/PopescuSR09" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "410" number: "12-13" pages: "1109-1128" kind: "article" key: "PopescuSR09" - title: "Decentralized runtime analysis of multithreaded applications" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Abhay Vardhan" link: "https://researchr.org/alias/abhay-vardhan" - name: "Gul Agha" link: "https://researchr.org/alias/gul-agha" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639591" links: doi: "http://dx.doi.org/10.1109/IPDPS.2006.1639591" tags: - "analysis" researchr: "https://researchr.org/publication/SenVAR06" cites: 0 citedby: 0 booktitle: "20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece" publisher: "IEEE" kind: "inproceedings" key: "SenVAR06" - title: "A Total Approach to Partial Algebraic Specification" author: - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2380/23800572.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2380/23800572.htm" tags: - "algebraic specification" - " algebra" - "systematic-approach" researchr: "https://researchr.org/publication/MeseguerR02" cites: 0 citedby: 0 pages: "572-584" booktitle: "Automata, Languages and Programming, 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002, Proceedings" editor: - name: "Peter Widmayer" link: "https://researchr.org/alias/peter-widmayer" - name: "Francisco Triguero Ruiz" link: "https://researchr.org/alias/francisco-triguero-ruiz" - name: "Rafael Morales Bueno" link: "https://researchr.org/alias/rafael-morales-bueno" - name: "Matthew Hennessy" link: "https://researchr.org/alias/matthew-hennessy" - name: "Stephan Eidenbenz" link: "https://researchr.org/alias/stephan-eidenbenz" - name: "Ricardo Conejo" link: "https://researchr.org/alias/ricardo-conejo" volume: "2380" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43864-5" kind: "inproceedings" key: "MeseguerR02" - title: "Circular Coinduction: A Proof Theoretical Foundation" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-03741-2_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-03741-2_10" researchr: "https://researchr.org/publication/RosuL09" cites: 0 citedby: 0 pages: "127-144" booktitle: "Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings" editor: - name: "Alexander Kurz" link: "https://researchr.org/alias/alexander-kurz" - name: "Marina Lenisa" link: "https://researchr.org/alias/marina-lenisa" - name: "Andrzej Tarlecki" link: "https://researchr.org/alias/andrzej-tarlecki" volume: "5728" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03740-5" kind: "inproceedings" key: "RosuL09" - title: "Hidden Congruent Deduction" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" year: "1998" doi: "http://link.springer.de/link/service/series/0558/bibs/1761/17610251.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1761/17610251.htm" researchr: "https://researchr.org/publication/RosuG98" cites: 0 citedby: 0 pages: "251-266" booktitle: "Automated Deduction in Classical and Non-Classical Logics, Selected Papers" editor: - name: "Ricardo Caferra" link: "https://researchr.org/alias/ricardo-caferra" - name: "Gernot Salzer" link: "https://researchr.org/alias/gernot-salzer" volume: "1761" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-67190-0" kind: "inproceedings" key: "RosuG98" - title: "K-Maude: A Rewriting Based Tool for Semantics of Programming Languages" author: - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_8" links: doi: "http://dx.doi.org/10.1007/978-3-642-16310-4_8" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/SerbanutaR10" tags: - "programming languages" - "semantics" - "rule-based" - "graph-rewriting" - "programming" - "rewriting" researchr: "https://researchr.org/publication/SerbanutaR10" cites: 0 citedby: 0 pages: "104-122" booktitle: "Rewriting Logic and Its Applications - 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers" editor: - name: "Peter Csaba Ölveczky" link: "https://researchr.org/alias/peter-csaba-%C3%B6lveczky" volume: "6381" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16309-8" kind: "inproceedings" key: "SerbanutaR10" - title: "Behavioral Rewrite Systems and Behavioral Productivity" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-642-54624-2_15" links: doi: "http://dx.doi.org/10.1007/978-3-642-54624-2_15" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/birthday/RosuL14" researchr: "https://researchr.org/publication/RosuL14" cites: 0 citedby: 0 pages: "296-314" booktitle: "Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi" editor: - name: "Shusaku Iida" link: "https://researchr.org/alias/shusaku-iida" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Kazuhiro Ogata" link: "https://researchr.org/alias/kazuhiro-ogata" volume: "8373" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-54623-5" kind: "inproceedings" key: "RosuL14" - title: "Efficient monitoring of safety properties" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://www.springerlink.com/index/10.1007/s10009-003-0117-6" links: doi: "http://www.springerlink.com/index/10.1007/s10009-003-0117-6" researchr: "https://researchr.org/publication/HavelundR04%3A0" cites: 0 citedby: 0 journal: "STTT" volume: "6" number: "2" pages: "158-173" kind: "article" key: "HavelundR04:0" - title: "Towards Certifying Domain-Specific Properties of Synthesized Code" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Jon Whittle" link: "http://www.comp.lancs.ac.uk/~whittljn/" year: "2002" doi: "http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360289abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ase/2002/1736/00/17360289abs.htm" researchr: "https://researchr.org/publication/RosuW02" cites: 0 citedby: 0 pages: "289-294" booktitle: "17th IEEE International Conference on Automated Software Engineering (ASE 2002), 23-27 September 2002, Edinburgh, Scotland, UK" publisher: "IEEE Computer Society" isbn: "0-7695-1736-6" kind: "inproceedings" key: "RosuW02" - title: "Parametric and Sliced Causality" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_27" links: doi: "http://dx.doi.org/10.1007/978-3-540-73368-3_27" tags: - "slicing" researchr: "https://researchr.org/publication/ChenR07%3A1" cites: 0 citedby: 0 pages: "240-253" booktitle: "Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings" editor: - name: "Werner Damm" link: "https://researchr.org/alias/werner-damm" - name: "Holger Hermanns" link: "https://researchr.org/alias/holger-hermanns" volume: "4590" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-73367-6" kind: "inproceedings" key: "ChenR07:1" - title: "Monitoring Algorithms for Metric Temporal Logic Specifications" author: - name: "Prasanna Thati" link: "https://researchr.org/alias/prasanna-thati" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.029" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.01.029" tags: - "logic" researchr: "https://researchr.org/publication/ThatiR05" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "113" pages: "145-162" kind: "article" key: "ThatiR05" - title: "A Truly Concurrent Semantics for the K Framework Based on Graph Transformations" author: - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-33654-6_20" links: doi: "http://dx.doi.org/10.1007/978-3-642-33654-6_20" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/gg/SerbanutaR12" researchr: "https://researchr.org/publication/SerbanutaR12" cites: 0 citedby: 0 pages: "294-310" booktitle: "Graph Transformations - 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012. Proceedings" editor: - name: "Hartmut Ehrig" link: "https://researchr.org/alias/hartmut-ehrig" - name: "Gregor Engels" link: "https://researchr.org/alias/gregor-engels" - name: "Hans-Jörg Kreowski" link: "https://researchr.org/alias/hans-j%C3%B6rg-kreowski" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" volume: "7562" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-33653-9" kind: "inproceedings" key: "SerbanutaR12" - title: "JavaMOP: Efficient parametric runtime monitoring framework" author: - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Patrick O'Neil Meredith" link: "https://researchr.org/alias/patrick-o%27neil-meredith" - name: "Choonghwan Lee" link: "https://researchr.org/alias/choonghwan-lee" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1109/ICSE.2012.6227231" links: doi: "http://dx.doi.org/10.1109/ICSE.2012.6227231" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/JinMLR12" researchr: "https://researchr.org/publication/JinMLR12" cites: 0 citedby: 0 pages: "1427-1430" booktitle: "34th International Conference on Software Engineering, ICSE 2012, June 2-9, 2012, Zurich, Switzerland" editor: - name: "Martin Glinz" link: "https://researchr.org/alias/martin-glinz" - name: "Gail C. Murphy" link: "https://researchr.org/alias/gail-c.-murphy" - name: "Mauro Pezzè" link: "https://researchr.org/alias/mauro-pezz%C3%A8" publisher: "IEEE" isbn: "978-1-4673-1067-3" kind: "inproceedings" key: "JinMLR12" - title: "Generating Optimal Monitors for Extended Regular Expressions" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2003" doi: "http://www.elsevier.com/gej-ng/31/29/23/141/48/show/Products/notes/index.htt#014" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/141/48/show/Products/notes/index.htt#014" researchr: "https://researchr.org/publication/SenR03" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "89" number: "2" pages: "226-245" kind: "article" key: "SenR03" - title: "An overview of the K semantic framework" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" year: "2010" doi: "http://dx.doi.org/10.1016/j.jlap.2010.03.012" abstract: "K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined, making use of configurations, omputations and rules. Configurations organize the system/program state in units called cells, which are labeled and can be nested. Computations carry \"computational meaning\" as special nested list structures sequentializing computational tasks, such as fragments of program; in particular, computations extend the original language or calculus syntax. K (rewrite) rules generalize conventional rewrite rules by making explicit which parts of the term they read, write, or do not care about. This distinction makes K a suitable framework for defining truly concurrent languages or calculi, even in the presence of sharing. Since computations can be handled like any other terms in a rewriting environment, that is, they can be matched, moved from one place to another in the original term, modified, or even deleted, K is particularly suitable for defining control-intensive language features such as abrupt termination, exceptions, or call/cc. This paper gives an overview of the K framework: what it is, how it can be used, and where it has been used so far. It also proposes and discusses the K definition of CHALLENGE, a programming language that aims to challenge and expose the limitations of existing semantic frameworks." links: doi: "http://dx.doi.org/10.1016/j.jlap.2010.03.012" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/jlp/RosuS10" researchr: "https://researchr.org/publication/RosuS10" cites: 0 citedby: 0 journal: "Journal of Logic and Algebraic Programming" volume: "79" number: "6" pages: "397-434" kind: "article" key: "RosuS10" - title: "Circular Coinductive Rewriting" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Kai Lin" link: "https://researchr.org/alias/kai-lin" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2000" doi: "http://computer.org/proceedings/ase/0710/07100123abs.htm" links: doi: "http://computer.org/proceedings/ase/0710/07100123abs.htm" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/GoguenLR00" cites: 0 citedby: 0 pages: "123-132" booktitle: "Fifteenth IEEE International Conference on Automated Software Engineering" series: "ASE" publisher: "IEEE" kind: "inproceedings" key: "GoguenLR00" - title: "Complete Categorical Deduction for Satisfaction as Injectivity" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://dx.doi.org/10.1007/11780274_9" links: doi: "http://dx.doi.org/10.1007/11780274_9" tags: - "completeness" researchr: "https://researchr.org/publication/Rosu06" cites: 0 citedby: 0 pages: "157-172" booktitle: "Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday" editor: - name: "Kokichi Futatsugi" link: "https://researchr.org/alias/kokichi-futatsugi" - name: "Jean-Pierre Jouannaud" link: "https://researchr.org/alias/jean-pierre-jouannaud" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" volume: "4060" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-35462-X" kind: "inproceedings" key: "Rosu06" - title: "Equality of streams is a Pi0 over 2-complete problem" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://doi.acm.org/10.1145/1159803.1159827" links: doi: "http://doi.acm.org/10.1145/1159803.1159827" researchr: "https://researchr.org/publication/Rosu06%3A0" cites: 0 citedby: 0 pages: "184-191" booktitle: "Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006" editor: - name: "John H. Reppy" link: "http://www.cs.uchicago.edu/people/jhr" - name: "Julia L. Lawall" link: "http://www.diku.dk/hjemmesider/ansatte/julia/" publisher: "ACM" isbn: "1-59593-309-3" kind: "inproceedings" key: "Rosu06:0" - title: "Java-MOP: A Monitoring Oriented Programming Environment for Java" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=546" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=546" tags: - "object-oriented programming" - "Java" - "meta programming" - "meta-model" - "programming" - "subject-oriented programming" - "Meta-Environment" - "feature-oriented programming" - "meta-objects" researchr: "https://researchr.org/publication/ChenR05%3A0" cites: 0 citedby: 0 pages: "546-550" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings" editor: - name: "Nicolas Halbwachs" link: "https://researchr.org/alias/nicolas-halbwachs" - name: "Lenore D. Zuck" link: "https://researchr.org/alias/lenore-d.-zuck" volume: "3440" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25333-5" kind: "inproceedings" key: "ChenR05:0" - title: "Testing Extended Regular Language Membership Incrementally by Rewriting" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Mahesh Viswanathan" link: "https://researchr.org/alias/mahesh-viswanathan" year: "2003" doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060499.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2706/27060499.htm" tags: - "testing" - "graph-rewriting" - "rewriting" - "incremental" researchr: "https://researchr.org/publication/RouV03" cites: 0 citedby: 0 pages: "499-514" booktitle: "Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings" editor: - name: "Robert Nieuwenhuis" link: "https://researchr.org/alias/robert-nieuwenhuis" volume: "2706" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40254-3" kind: "inproceedings" key: "RouV03" - title: "Inductive Behavioral Proofs by Unhiding" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2003" doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/49/show/Products/notes/index.htt#018" links: doi: "http://www1.elsevier.com/gej-ng/31/29/23/133/49/show/Products/notes/index.htt#018" researchr: "https://researchr.org/publication/Rosu03" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "82" number: "1" pages: "285-302" kind: "article" key: "Rosu03" - title: "Behavioral Extensions of Institutions" author: - name: "Andrei Popescu" link: "https://researchr.org/alias/andrei-popescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://dx.doi.org/10.1007/11548133_21" links: doi: "http://dx.doi.org/10.1007/11548133_21" researchr: "https://researchr.org/publication/PopescuR05" cites: 0 citedby: 0 pages: "331-347" booktitle: "Algebra and Coalgebra in Computer Science: First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Neil Harman" link: "https://researchr.org/alias/neil-harman" - name: "Markus Roggenbach" link: "https://researchr.org/alias/markus-roggenbach" - name: "Jan J. M. M. Rutten" link: "https://researchr.org/alias/jan-j.-m.-m.-rutten" volume: "3629" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-28620-9" kind: "inproceedings" key: "PopescuR05" - title: "Efficient Monitoring of omega-Languages" author: - name: "Marcelo d Amorim" link: "https://researchr.org/alias/marcelo-d-amorim" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://dx.doi.org/10.1007/11513988_36" links: doi: "http://dx.doi.org/10.1007/11513988_36" researchr: "https://researchr.org/publication/dAmorimR05%3A0" cites: 0 citedby: 0 pages: "364-378" booktitle: "Computer Aided Verification, 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings" editor: - name: "Kousha Etessami" link: "https://researchr.org/alias/kousha-etessami" - name: "Sriram K. Rajamani" link: "https://researchr.org/alias/sriram-k.-rajamani" volume: "3576" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-27231-3" kind: "inproceedings" key: "dAmorimR05:0" - title: "Rewriting Logic Systems" author: - name: "Grit Denker" link: "https://researchr.org/alias/grit-denker" - name: "Carolyn L. Talcott" link: "https://researchr.org/alias/carolyn-l.-talcott" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Mark G. J. van den Brand" link: "http://www.win.tue.nl/~mvdbrand/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.018" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.018" tags: - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/DenkerTRBES07" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "176" number: "4" pages: "233-247" kind: "article" key: "DenkerTRBES07" - title: "The K Primer (version 3.3)" author: - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Andrei Arusoaie" link: "https://researchr.org/alias/andrei-arusoaie" - name: "David Lazar" link: "https://researchr.org/alias/david-lazar" - name: "Chucky Ellison" link: "https://researchr.org/alias/chucky-ellison" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1016/j.entcs.2014.05.003" links: doi: "http://dx.doi.org/10.1016/j.entcs.2014.05.003" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/SerbanutaALELR14" researchr: "https://researchr.org/publication/SerbanutaALELR14" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "304" pages: "57-80" kind: "article" key: "SerbanutaALELR14" - title: "Generating Optimal Linear Temporal Logic Monitors by Coinduction" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Gul Agha" link: "https://researchr.org/alias/gul-agha" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2896&spage=260" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2896&spage=260" tags: - "logic" researchr: "https://researchr.org/publication/SenRA03%3A0" cites: 0 citedby: 0 pages: "260-275" booktitle: "Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings" editor: - name: "Vijay A. Saraswat" link: "https://researchr.org/alias/vijay-a.-saraswat" volume: "2896" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-20632-9" kind: "inproceedings" key: "SenRA03:0" - title: "The rewriting logic semantics project" author: - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.018" links: doi: "http://dx.doi.org/10.1016/j.tcs.2006.12.018" tags: - "semantics" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/MeseguerR07" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "373" number: "3" pages: "213-237" kind: "article" key: "MeseguerR07" - title: "Behavioral abstraction is hiding information" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://dx.doi.org/10.1016/j.tcs.2004.07.027" links: doi: "http://dx.doi.org/10.1016/j.tcs.2004.07.027" tags: - "information hiding" - "behavioral abstraction" - "abstraction" researchr: "https://researchr.org/publication/Rosu04%3A0" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "327" number: "1-2" pages: "197-221" kind: "article" key: "Rosu04:0" - title: "A Birkhoff-like Axiomatizability Result for Hidden Algebra and Coalgebra" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "1998" doi: "http://www.elsevier.com/gej-ng/31/29/23/36/23/show/Products/notes/index.htt#010" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/36/23/show/Products/notes/index.htt#010" tags: - " algebra" researchr: "https://researchr.org/publication/Rosu98" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "11" pages: "176-193" kind: "article" key: "Rosu98" - title: "Foreword - Selected Papers from the First International Workshop on Runtime Verification held in Paris, July 2001 (RV 01)" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://dx.doi.org/10.1023/B:FORM.0000017842.17301.bc" links: doi: "http://dx.doi.org/10.1023/B:FORM.0000017842.17301.bc" researchr: "https://researchr.org/publication/HavelundR04" cites: 0 citedby: 0 journal: "Formal Methods in System Design" volume: "24" number: "2" pages: "99-100" kind: "article" key: "HavelundR04" - title: "The Rewriting Logic Semantics Project: A Progress Report" author: - name: "José Meseguer" link: "https://researchr.org/alias/jos%26eacute%3B-meseguer" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2011" doi: "http://dx.doi.org/10.1007/978-3-642-22953-4_1" links: doi: "http://dx.doi.org/10.1007/978-3-642-22953-4_1" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fct/MeseguerR11" tags: - "semantics" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/MeseguerR11" cites: 0 citedby: 0 pages: "1-37" booktitle: "Fundamentals of Computation Theory - 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings" editor: - name: "Olaf Owe" link: "https://researchr.org/alias/olaf-owe" - name: "Martin Steffen" link: "https://researchr.org/alias/martin-steffen" - name: "Jan Arne Telle" link: "https://researchr.org/alias/jan-arne-telle" volume: "6914" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-22952-7" kind: "inproceedings" key: "MeseguerR11" - title: "Incompleteness of Behavioral Logics" author: - name: "Samuel R. Buss" link: "https://researchr.org/alias/samuel-r.-buss" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2000" doi: "http://www.elsevier.com/gej-ng/31/29/23/25/23/show/Products/notes/index.htt#005" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/25/23/show/Products/notes/index.htt#005" tags: - "logic" researchr: "https://researchr.org/publication/BussR00" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "33" pages: "61-79" kind: "article" key: "BussR00" - title: "Weak Inclusion Systems" author: - name: "Virgil Emil Cazanescu" link: "https://researchr.org/alias/virgil-emil-cazanescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "1997" researchr: "https://researchr.org/publication/CazanescuR97" cites: 0 citedby: 0 journal: "Mathematical Structures in Computer Science" volume: "7" number: "2" pages: "195-206" kind: "article" key: "CazanescuR97" - title: "An Equational Specification for the Scheme Language" author: - name: "Marcelo d Amorim" link: "https://researchr.org/alias/marcelo-d-amorim" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://www.jucs.org/jucs_11_7/an_equational_specification_for" links: doi: "http://www.jucs.org/jucs_11_7/an_equational_specification_for" researchr: "https://researchr.org/publication/dAmorimR05" cites: 0 citedby: 0 journal: "J. UCS" volume: "11" number: "7" pages: "1327-1348" kind: "article" key: "dAmorimR05" - title: "Online efficient predictive safety analysis of multithreaded programs" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Gul Agha" link: "https://researchr.org/alias/gul-agha" year: "2006" doi: "http://dx.doi.org/10.1007/s10009-005-0192-y" links: doi: "http://dx.doi.org/10.1007/s10009-005-0192-y" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/SenRA06" cites: 0 citedby: 0 journal: "STTT" volume: "8" number: "3" pages: "248-260" kind: "article" key: "SenRA06" - title: "Security-policy monitoring and enforcement with JavaMOP" author: - name: "Soha Hussein" link: "https://researchr.org/alias/soha-hussein" - name: "Patrick O'Neil Meredith" link: "https://researchr.org/alias/patrick-o%27neil-meredith" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://doi.acm.org/10.1145/2336717.2336720" links: doi: "http://doi.acm.org/10.1145/2336717.2336720" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/HusseinMR12" researchr: "https://researchr.org/publication/HusseinMR12" cites: 0 citedby: 0 pages: "3" booktitle: "Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, PLAS 2012, Beijing, China, 15 June, 2012" editor: - name: "Sergio Maffeis" link: "https://researchr.org/alias/sergio-maffeis" - name: "Tamara Rezk" link: "https://researchr.org/alias/tamara-rezk" publisher: "ACM" isbn: "978-1-4503-1441-1" kind: "inproceedings" key: "HusseinMR12" - title: "Interpreting Abstract Interpretations in Membership Equational Logic" author: - name: "Bernd Fischer" link: "http://www.ecs.soton.ac.uk/people/bf" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2001" doi: "http://www.elsevier.nl/locate/entcs/volume59.html" links: doi: "http://www.elsevier.nl/locate/entcs/volume59.html" tags: - "logic" researchr: "https://researchr.org/publication/FischerR01" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "59" number: "4" pages: "271-285" kind: "article" key: "FischerR01" - title: "Parametric Trace Slicing and Monitoring" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-00768-2_23" links: doi: "http://dx.doi.org/10.1007/978-3-642-00768-2_23" tags: - "slicing" researchr: "https://researchr.org/publication/ChenR09%3A0" cites: 0 citedby: 0 pages: "246-261" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings" editor: - name: "Stefan Kowalewski" link: "https://researchr.org/alias/stefan-kowalewski" - name: "Anna Philippou" link: "https://researchr.org/alias/anna-philippou" volume: "5505" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-00767-5" kind: "inproceedings" key: "ChenR09:0" - title: "Runtime Verification with the RV System" author: - name: "Patrick O Neil Meredith" link: "https://researchr.org/alias/patrick-o-neil-meredith" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_12" links: doi: "http://dx.doi.org/10.1007/978-3-642-16612-9_12" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/MeredithR10" researchr: "https://researchr.org/publication/MeredithR10" cites: 0 citedby: 0 pages: "136-152" booktitle: "Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings" editor: - name: "Howard Barringer" link: "https://researchr.org/alias/howard-barringer" - name: "Yliès Falcone" link: "https://researchr.org/alias/yli%C3%A8s-falcone" - name: "Bernd Finkbeiner" link: "https://researchr.org/alias/bernd-finkbeiner" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Insup Lee" link: "https://researchr.org/alias/insup-lee" - name: "Gordon J. Pace" link: "https://researchr.org/alias/gordon-j.-pace" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" - name: "Nikolai Tillmann" link: "https://researchr.org/alias/nikolai-tillmann" volume: "6418" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16611-2" kind: "inproceedings" key: "MeredithR10" - title: "A protocol for distributed cooperative work" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "1999" doi: "http://www.elsevier.com/gej-ng/31/29/23/53/23/show/Products/notes/index.htt#002" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/53/23/show/Products/notes/index.htt#002" tags: - "protocol" researchr: "https://researchr.org/publication/GoguenR99%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "28" pages: "3" kind: "article" key: "GoguenR99:0" - title: "Weak Inclusion Systems: Part Two" author: - name: "Virgil Emil Cazanescu" link: "https://researchr.org/alias/virgil-emil-cazanescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2000" doi: "http://www.jucs.org/jucs_6_1/weak_inclusion_system_part" links: doi: "http://www.jucs.org/jucs_6_1/weak_inclusion_system_part" researchr: "https://researchr.org/publication/CazanescuR00" cites: 0 citedby: 0 journal: "J. UCS" volume: "6" number: "1" pages: "5-21" kind: "article" key: "CazanescuR00" - title: "An Overview of the Runtime Verification Tool Java PathExplorer" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://dx.doi.org/10.1023/B:FORM.0000017721.39909.4b" links: doi: "http://dx.doi.org/10.1023/B:FORM.0000017721.39909.4b" tags: - "Java" researchr: "https://researchr.org/publication/HavelundR04a" cites: 0 citedby: 0 journal: "Formal Methods in System Design" volume: "24" number: "2" pages: "189-215" kind: "article" key: "HavelundR04a" - title: "Matching logic: a new program verification approach (NIER track)" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" year: "2011" doi: "http://doi.acm.org/10.1145/1985793.1985928" links: doi: "http://doi.acm.org/10.1145/1985793.1985928" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/RosuS11" tags: - "program verification" - "logic programming" - "logic" - "systematic-approach" researchr: "https://researchr.org/publication/RosuS11" cites: 0 citedby: 0 pages: "868-871" booktitle: "Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011" editor: - name: "Richard N. Taylor" link: "https://researchr.org/alias/richard-n.-taylor" - name: "Harald Gall" link: "https://researchr.org/alias/harald-gall" - name: "Nenad Medvidovic" link: "https://researchr.org/alias/nenad-medvidovic" publisher: "ACM" isbn: "978-1-4503-0445-0" kind: "inproceedings" key: "RosuS11" - title: "Certifying Optimality of State Estimation Programs" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Ram Prasad Venkatesan" link: "https://researchr.org/alias/ram-prasad-venkatesan" - name: "Jon Whittle" link: "http://www.comp.lancs.ac.uk/~whittljn/" - name: "Laurentiu Leustean" link: "https://researchr.org/alias/laurentiu-leustean" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=301" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2725&spage=301" researchr: "https://researchr.org/publication/RosuVWL03" cites: 0 citedby: 0 pages: "301-314" booktitle: "Computer Aided Verification, 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings" editor: - name: "Warren A. Hunt Jr." link: "https://researchr.org/alias/warren-a.-hunt-jr." - name: "Fabio Somenzi" link: "https://researchr.org/alias/fabio-somenzi" volume: "2725" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40524-0" kind: "inproceedings" key: "RosuVWL03" - title: "Certifying Measurement Unit Safety Polic" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" year: "2003" doi: "http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350304abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ase/2003/2035/00/20350304abs.htm" researchr: "https://researchr.org/publication/RosuC03" cites: 0 citedby: 0 pages: "304-309" booktitle: "18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada" publisher: "IEEE Computer Society" isbn: "0-7695-2035-9" kind: "inproceedings" key: "RosuC03" - title: "Preface" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2001" doi: "http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#001" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/83/33/show/Products/notes/index.htt?-debug=5#001" researchr: "https://researchr.org/publication/HavelundR01%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "55" number: "2" pages: "287-288" kind: "article" key: "HavelundR01:0" - title: "Parametric and Termination-Sensitive Control Dependence" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://dx.doi.org/10.1007/11823230_25" links: doi: "http://dx.doi.org/10.1007/11823230_25" tags: - "termination" researchr: "https://researchr.org/publication/ChenR06" cites: 0 citedby: 0 pages: "387-404" booktitle: "Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings" editor: - name: "Kwangkeun Yi" link: "https://researchr.org/alias/kwangkeun-yi" volume: "4134" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-37756-5" kind: "inproceedings" key: "ChenR06" - title: "Runtime Verification of C Memory Safety" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Wolfram Schulte" link: "https://researchr.org/alias/wolfram-schulte" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-04694-0_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-04694-0_10" tags: - "C++" researchr: "https://researchr.org/publication/RosuSS09" cites: 0 citedby: 0 pages: "132-151" booktitle: "Runtime Verification, 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers" editor: - name: "Saddek Bensalem" link: "https://researchr.org/alias/saddek-bensalem" - name: "Doron Peled" link: "https://researchr.org/alias/doron-peled" volume: "5779" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-04693-3" kind: "inproceedings" key: "RosuSS09" - title: "Efficient Decentralized Monitoring of Safety in Distributed Systems" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Abhay Vardhan" link: "https://researchr.org/alias/abhay-vardhan" - name: "Gul Agha" link: "https://researchr.org/alias/gul-agha" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630418abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630418abs.htm" researchr: "https://researchr.org/publication/SenVAR04" cites: 0 citedby: 0 pages: "418-427" booktitle: "26th International Conference on Software Engineering (ICSE 2004), 23-28 May 2004, Edinburgh, United Kingdom" publisher: "IEEE Computer Society" isbn: "0-7695-2163-0" kind: "inproceedings" key: "SenVAR04" - title: "A Rewrite Framework for Language Definitions and for Generation of Efficient Interpreters" author: - name: "Mark Hills" link: "https://researchr.org/alias/mark-hills" - name: "Traian Serbanuta" link: "https://researchr.org/alias/traian-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.017" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.06.017" tags: - "interpreter" - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/HillsSR07" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "176" number: "4" pages: "215-231" kind: "article" key: "HillsSR07" - title: "A rewriting logic approach to operational semantics" author: - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" year: "2009" doi: "http://dx.doi.org/10.1016/j.ic.2008.03.026" abstract: "This paper shows how rewriting logic semantics (RLS) can be used as a computational logic framework for operational semantic definitions of programming languages. Several operational semantics styles are addressed: big-step and small-step structural operational semantics (SOS), modular SOS, reduction semantics with evaluation contexts, continuation-based semantics, and the chemical abstract machine. Each of these language definitional styles can be faithfully captured as an RLS theory, in the sense that there is a one-to-one correspondence between computational steps in the original language definition and computational steps in the corresponding RLS theory. A major goal of this paper is to show that RLS does not force or pre-impose any given language definitional style, and that its flexibility and ease of use makes RLS an appealing framework for exploring new definitional styles." links: doi: "http://dx.doi.org/10.1016/j.ic.2008.03.026" tags: - "programming languages" - "semantics" - "rule-based" - " structural operational semantics" - "SOS" - "graph-rewriting" - "logic programming" - "programming" - "operational semantics" - "context-aware" - "logic" - "rewriting logic" - "rewriting" - "abstract machine" - "systematic-approach" researchr: "https://researchr.org/publication/SerbanutaRM09" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "207" number: "2" pages: "305-340" kind: "article" key: "SerbanutaRM09" - title: "A Formal Monitoring-Based Framework for Software Development and Analysis" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Marcelo d Amorim" link: "https://researchr.org/alias/marcelo-d-amorim" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=357" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3308&spage=357" tags: - "rule-based" - "analysis" researchr: "https://researchr.org/publication/ChendR04" cites: 0 citedby: 0 pages: "357-372" booktitle: "Formal Methods and Software Engineering, 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings" editor: - name: "Jim Davies" link: "https://researchr.org/alias/jim-davies" - name: "Wolfram Schulte" link: "http://research.microsoft.com/en-us/people/schulte/" - name: "Michael Barnett" link: "https://researchr.org/alias/michael-barnett" volume: "3308" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-23841-7" kind: "inproceedings" key: "ChendR04" - title: "EnforceMOP: a runtime property enforcement system for multithreaded programs" author: - name: "Qingzhou Luo" link: "https://researchr.org/alias/qingzhou-luo" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2013" doi: "http://doi.acm.org/10.1145/2483760.2483766" links: doi: "http://doi.acm.org/10.1145/2483760.2483766" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/issta/LuoR13" researchr: "https://researchr.org/publication/LuoR13" cites: 0 citedby: 0 pages: "156-166" booktitle: "International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013" editor: - name: "Mauro Pezzè" link: "https://researchr.org/alias/mauro-pezz%C3%A8" - name: "Mark Harman" link: "https://researchr.org/alias/mark-harman" publisher: "ACM" isbn: "978-1-4503-2159-4" kind: "inproceedings" key: "LuoR13" - title: "A rewriting approach to the design and evolution of object-oriented languages" author: - name: "Mark Hills" link: "https://researchr.org/alias/mark-hills" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://doi.acm.org/10.1145/1297846.1297908" links: doi: "http://doi.acm.org/10.1145/1297846.1297908" tags: - "language design" - "graph-rewriting" - "Meta-Environment" - "rewriting" - "design" - "systematic-approach" - "meta-objects" researchr: "https://researchr.org/publication/HillsR07%3A0" cites: 0 citedby: 0 pages: "827-828" booktitle: "Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" editor: - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Cristina Videira Lopes" link: "http://www.ics.uci.edu/~lopes/" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "978-1-59593-865-7" kind: "inproceedings" key: "HillsR07:0" - title: "Mop: an efficient and generic runtime verification framework" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2007" doi: "http://doi.acm.org/10.1145/1297027.1297069" links: doi: "http://doi.acm.org/10.1145/1297027.1297069" researchr: "https://researchr.org/publication/ChenR07%3A0" cites: 0 citedby: 0 pages: "569-588" booktitle: "Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada" editor: - name: "Richard P. Gabriel" link: "http://www.dreamsongs.com/RPG.html" - name: "David F. Bacon" link: "http://domino.research.ibm.com/comm/research_people.nsf/pages/bacon.index.html" - name: "Cristina Videira Lopes" link: "http://www.ics.uci.edu/~lopes/" - name: "Guy L. Steele Jr." link: "http://research.sun.com/people/mybio.php?uid=25706" publisher: "ACM" isbn: "978-1-59593-786-5" kind: "inproceedings" key: "ChenR07:0" - title: "From Conditional to Unconditional Rewriting" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2004" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=218" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3423&spage=218" tags: - "graph-rewriting" - "rewriting" researchr: "https://researchr.org/publication/Rosu04" cites: 0 citedby: 0 pages: "218-233" booktitle: "Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers" editor: - name: "José Luiz Fiadeiro" link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro" - name: "Peter D. Mosses" link: "https://pdmosses.github.io" - name: "Fernando Orejas" link: "https://researchr.org/alias/fernando-orejas" volume: "3423" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-25327-0" kind: "inproceedings" key: "Rosu04" - title: "K-Java: A Complete Semantics of Java" author: - name: "Denis Bogdanas" link: "https://researchr.org/alias/denis-bogdanas" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2015" doi: "http://doi.acm.org/10.1145/2676726.2676982" links: doi: "http://doi.acm.org/10.1145/2676726.2676982" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/BogdanasR15" researchr: "https://researchr.org/publication/BogdanasR15" cites: 0 citedby: 0 pages: "445-456" booktitle: "Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015" editor: - name: "Sriram K. Rajamani" link: "https://researchr.org/alias/sriram-k.-rajamani" - name: "David Walker" link: "https://researchr.org/alias/david-walker" publisher: "ACM" isbn: "978-1-4503-3300-9" kind: "inproceedings" key: "BogdanasR15" - title: "Computational Logical Frameworks and Generic Program Analysis Technologies" author: - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_28" links: doi: "http://dx.doi.org/10.1007/978-3-540-69149-5_28" tags: - "program analysis" - "generic programming" - "analysis" researchr: "https://researchr.org/publication/MeseguerR05" cites: 0 citedby: 0 pages: "256-267" booktitle: "Verified Software: Theories, Tools, Experiments, First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions" editor: - name: "Bertrand Meyer" link: "http://se.ethz.ch/~meyer/" - name: "Jim Woodcock" link: "https://researchr.org/alias/jim-woodcock" volume: "4171" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-69147-1" kind: "inproceedings" key: "MeseguerR05" - title: "Language Definitions as Rewrite Theories" author: - name: "Andrei Arusoaie" link: "https://researchr.org/alias/andrei-arusoaie" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Vlad Rusu" link: "https://researchr.org/profile/vladrusu/publications" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-12904-4_5" links: doi: "http://dx.doi.org/10.1007/978-3-319-12904-4_5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wrla/ArusoaieLRSSR14" researchr: "https://researchr.org/publication/ArusoaieLRSSR14" cites: 0 citedby: 0 pages: "97-112" booktitle: "Rewriting Logic and Its Applications - 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers" editor: - name: "Santiago Escobar" link: "https://researchr.org/alias/santiago-escobar" volume: "8663" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-12903-7" kind: "inproceedings" key: "ArusoaieLRSSR14" - title: "One-Path Reachability Logic" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" - name: "Stefan Ciobaca" link: "https://researchr.org/alias/stefan-ciobaca" - name: "Brandon M. Moore" link: "https://researchr.org/alias/brandon-m.-moore" year: "2013" doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2013.42" links: doi: "http://doi.ieeecomputersociety.org/10.1109/LICS.2013.42" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/lics/RosuSCM13" researchr: "https://researchr.org/publication/RosuSCM13" cites: 0 citedby: 0 pages: "358-367" booktitle: "28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013" publisher: "IEEE Computer Society" isbn: "978-1-4799-0413-6" kind: "inproceedings" key: "RosuSCM13" - title: "KJS: a complete formal semantics of JavaScript" author: - name: "Daejun Park" link: "https://researchr.org/alias/daejun-park" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2015" doi: "http://doi.acm.org/10.1145/2737924.2737991" links: doi: "http://doi.acm.org/10.1145/2737924.2737991" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/pldi/ParkSR15" researchr: "https://researchr.org/publication/ParkSR15-0" cites: 0 citedby: 0 pages: "346-356" booktitle: "Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015" editor: - name: "David Grove" link: "https://researchr.org/alias/david-grove" - name: "Steve Blackburn" link: "https://researchr.org/alias/steve-blackburn" publisher: "ACM" isbn: "978-1-4503-3468-6" kind: "inproceedings" key: "ParkSR15-0" - title: "Circular Coinduction with Special Contexts" author: - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2009" doi: "http://dx.doi.org/10.1007/978-3-642-10373-5_33" links: doi: "http://dx.doi.org/10.1007/978-3-642-10373-5_33" tags: - "context-aware" researchr: "https://researchr.org/publication/LucanuR09" cites: 0 citedby: 0 pages: "639-659" booktitle: "Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings" editor: - name: "Karin Breitman" link: "https://researchr.org/alias/karin-breitman" - name: "Ana Cavalcanti" link: "https://researchr.org/alias/ana-cavalcanti" volume: "5885" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-10372-8" kind: "inproceedings" key: "LucanuR09" - title: "A Rewriting Logic Approach to Operational Semantics (Extended Abstract)" author: - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" year: "2007" doi: "http://dx.doi.org/10.1016/j.entcs.2007.08.020" links: doi: "http://dx.doi.org/10.1016/j.entcs.2007.08.020" tags: - "semantics" - "graph-rewriting" - "operational semantics" - "logic" - "rewriting logic" - "rewriting" - "systematic-approach" researchr: "https://researchr.org/publication/SerbanutaRM07" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "192" number: "1" pages: "125-141" kind: "article" key: "SerbanutaRM07" - title: "A Rewriting Logic Approach to Static Checking of Units of Measurement in C" author: - name: "Mark Hills" link: "https://researchr.org/alias/mark-hills" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1016/j.entcs.2012.11.011" links: doi: "http://dx.doi.org/10.1016/j.entcs.2012.11.011" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/HillsCR12" researchr: "https://researchr.org/publication/HillsCR12" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "290" pages: "51-67" kind: "article" key: "HillsCR12" - title: "Introduction to the special issue on runtime verification" author: - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1007/s10703-012-0174-0" links: doi: "http://dx.doi.org/10.1007/s10703-012-0174-0" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fmsd/SokolskyR12" researchr: "https://researchr.org/publication/SokolskyR12" cites: 0 citedby: 0 journal: "Formal Methods in System Design" volume: "41" number: "3" pages: "233-235" kind: "article" key: "SokolskyR12" - title: "Matching Logic - Extended Abstract (Invited Talk)" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2015" doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2015.5" links: doi: "http://dx.doi.org/10.4230/LIPIcs.RTA.2015.5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rta/Rosu15" researchr: "https://researchr.org/publication/Rosu15" cites: 0 citedby: 0 pages: "5-21" booktitle: "26th International Conference on Rewriting Techniques and Applications, RTA 2015, June 29 to July 1, 2015, Warsaw, Poland" editor: - name: "Maribel Fernández" link: "https://researchr.org/alias/maribel-fern%C3%A1ndez" volume: "36" series: "LIPIcs" publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik" isbn: "978-3-939897-85-9" kind: "inproceedings" key: "Rosu15" - title: "Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2003" doi: "http://www.elsevier.com/gej-ng/31/29/23/141/48/show/Products/notes/index.htt#008" links: doi: "http://www.elsevier.com/gej-ng/31/29/23/141/48/show/Products/notes/index.htt#008" tags: - "object-oriented programming" - "programming paradigms" - "programming" - "subject-oriented programming" - "feature-oriented programming" researchr: "https://researchr.org/publication/ChenR03%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "89" number: "2" pages: "108-127" kind: "article" key: "ChenR03:0" - title: "Improved multithreaded unit testing" author: - name: "Vilas Jagannath" link: "https://researchr.org/alias/vilas-jagannath" - name: "Milos Gligoric" link: "https://researchr.org/alias/milos-gligoric" - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Qingzhou Luo" link: "https://researchr.org/alias/qingzhou-luo" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Darko Marinov" link: "https://researchr.org/alias/darko-marinov" year: "2011" doi: "http://doi.acm.org/10.1145/2025113.2025145" links: doi: "http://doi.acm.org/10.1145/2025113.2025145" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/sigsoft/JagannathGJLRM11" researchr: "https://researchr.org/publication/JagannathGJLRM11" cites: 0 citedby: 0 pages: "223-233" booktitle: "SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13rd European Software Engineering Conference (ESEC-13), Szeged, Hungary, September 5-9, 2011" editor: - name: "Tibor Gyimóthy" link: "https://researchr.org/alias/tibor-gyim%C3%B3thy" - name: "Andreas Zeller" link: "https://researchr.org/alias/andreas-zeller" publisher: "ACM" isbn: "978-1-4503-0443-6" kind: "inproceedings" key: "JagannathGJLRM11" - title: "A formal executable semantics of Verilog" author: - name: "Patrick O Neil Meredith" link: "https://researchr.org/alias/patrick-o-neil-meredith" - name: "Michael Katelman" link: "https://researchr.org/alias/michael-katelman" - name: "José Meseguer" link: "https://researchr.org/alias/jos%26eacute%3B-meseguer" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2010" doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558634" links: doi: "http://dx.doi.org/10.1109/MEMCOD.2010.5558634" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/memocode/MeredithKMR10" tags: - "semantics" - "formal semantics" researchr: "https://researchr.org/publication/MeredithKMR10" cites: 0 citedby: 0 pages: "179-188" booktitle: "8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), Grenoble, France, 26-28 July 2010" publisher: "IEEE Computer Society" kind: "inproceedings" key: "MeredithKMR10" - title: "Axiomatizability in Inclusive Equational Logics" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" tags: - "logic" researchr: "https://researchr.org/publication/Rosu02" cites: 0 citedby: 0 journal: "Mathematical Structures in Computer Science" volume: "12" number: "5" pages: "541-563" kind: "article" key: "Rosu02" - title: "Hiding More of Hidden Algebra" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "1999" doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091704.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/1709/17091704.htm" tags: - " algebra" researchr: "https://researchr.org/publication/GoguenR99" cites: 0 citedby: 0 pages: "1704-1719" booktitle: "FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II" editor: - name: "Jeannette M. Wing" link: "http://www.cs.cmu.edu/~wing/" - name: "Jim Woodcock" link: "https://researchr.org/alias/jim-woodcock" - name: "Jim Davies" link: "https://researchr.org/alias/jim-davies" volume: "1709" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-66588-9" kind: "inproceedings" key: "GoguenR99" - title: "The rewriting logic semantics project: A progress report" author: - name: "José Meseguer" link: "https://researchr.org/alias/jos%C3%A9-meseguer" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2013" doi: "http://dx.doi.org/10.1016/j.ic.2013.08.004" links: doi: "http://dx.doi.org/10.1016/j.ic.2013.08.004" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/iandc/MeseguerR13" researchr: "https://researchr.org/publication/MeseguerR13" cites: 0 citedby: 0 journal: "Inf. Comput." volume: "231" pages: "38-69" kind: "article" key: "MeseguerR13" - title: "Term-generic logic" author: - name: "Andrei Popescu 0001" link: "https://researchr.org/alias/andrei-popescu-0001" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2015" doi: "http://dx.doi.org/10.1016/j.tcs.2015.01.047" links: doi: "http://dx.doi.org/10.1016/j.tcs.2015.01.047" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tcs/0001R15" researchr: "https://researchr.org/publication/0001R15" cites: 0 citedby: 0 journal: "Theoretical Computer Science" volume: "577" pages: "1-24" kind: "article" key: "0001R15" - title: "Defining and Executing P Systems with Structured Data in K" author: - name: "Traian Serbanuta" link: "https://researchr.org/alias/traian-serbanuta" - name: "Gheorghe Stefanescu" link: "https://researchr.org/alias/gheorghe-stefanescu" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-95885-7_26" links: doi: "http://dx.doi.org/10.1007/978-3-540-95885-7_26" tags: - "data-flow" researchr: "https://researchr.org/publication/SerbanutaSR08" cites: 0 citedby: 0 pages: "374-393" booktitle: "Membrane Computing - 9th International Workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008, Revised Selected and Invited Papers" editor: - name: "David W. Corne" link: "https://researchr.org/alias/david-w.-corne" - name: "Pierluigi Frisco" link: "https://researchr.org/alias/pierluigi-frisco" - name: "Gheorghe Paun" link: "https://researchr.org/alias/gheorghe-paun" - name: "Grzegorz Rozenberg" link: "https://researchr.org/alias/grzegorz-rozenberg" - name: "Arto Salomaa" link: "https://researchr.org/alias/arto-salomaa" volume: "5391" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-95884-0" kind: "inproceedings" key: "SerbanutaSR08" - title: "Synthesizing Monitors for Safety Properties" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2280/22800342.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2280/22800342.htm" researchr: "https://researchr.org/publication/HavelundR02" cites: 0 citedby: 0 pages: "342-356" booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, TACAS 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings" editor: - name: "Joost-Pieter Katoen" link: "https://researchr.org/alias/joost-pieter-katoen" - name: "Perdita Stevens" link: "https://researchr.org/alias/perdita-stevens" volume: "2280" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-43419-4" kind: "inproceedings" key: "HavelundR02" - title: "Hardware Runtime Monitoring for Dependable COTS-Based Real-Time Embedded Systems" author: - name: "Rodolfo Pellizzoni" link: "https://researchr.org/alias/rodolfo-pellizzoni" - name: "Patrick O Neil Meredith" link: "https://researchr.org/alias/patrick-o-neil-meredith" - name: "Marco Caccamo" link: "https://researchr.org/alias/marco-caccamo" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2008" doi: "http://doi.ieeecomputersociety.org/10.1109/RTSS.2008.43" links: doi: "http://doi.ieeecomputersociety.org/10.1109/RTSS.2008.43" tags: - "rule-based" researchr: "https://researchr.org/publication/PellizzoniMCR08" cites: 0 citedby: 0 pages: "481-491" booktitle: "Proceedings of the 29th IEEE Real-Time Systems Symposium, RTSS 2008, Barcelona, Spain, 30 November - 3 December 2008" publisher: "IEEE Computer Society" isbn: "978-0-7695-3477-0" kind: "inproceedings" key: "PellizzoniMCR08" - title: "Language Definitions as Rewrite Theories" author: - name: "Arusoaie, Andrei" link: "https://researchr.org/alias/arusoaie%2C-andrei" - name: "Lucanu, Dorel" link: "https://researchr.org/alias/lucanu%2C-dorel" - name: "Rusu, Vlad" link: "https://researchr.org/alias/rusu%2C-vlad" - name: "Serbanuta, Traian Florin " link: "https://researchr.org/alias/serbanuta%2C-traian-florin" - name: "Stefanescu, Andrei" link: "https://researchr.org/alias/stefanescu%2C-andrei" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" month: "Feb" abstract: "K is a formal framework for defining the operational semantics of programming languages. It includes software tools for compiling K language definitions to Maude rewrite theories, for executing programs in the defined languages based on the Maude rewriting engine, and for analyzing programs by adapting various Maude analysis tools. A recent extension to the K tool suite is an automatic transformation of language definitions that enables the symbolic execution of programs, i.e., the execution of programs with symbolic inputs. In this paper we investigate the theoretical relationships between K language definitions and their translations to Maude, between symbolic extensions of K definitions and their Maude encodings, and how the relations between K definitions and their symbolic extensions are reflected on their respective representations in Maude. These results show, in particular, how analyses performed with Maude tools can be formally lifted up to the original language definitions. link to paper on Springer site : http://link.springer.com/chapter/10.1007%2F978-3-319-12904-4_5 link to PDF: http://hal.inria.fr/hal-00950775" note: "(To appear in Springer LNCS)" links: "url": "http://hal.inria.fr/hal-00950775" researchr: "https://researchr.org/publication/arusoaie%3Ahal-00950775" cites: 0 citedby: 0 booktitle: "International Workshop on Rewriting Logic and Application" address: "Grenoble, France" kind: "inproceedings" key: "arusoaie:hal-00950775" - title: "A theoretical foundation for programming languages aggregation" author: - name: "Stefan Ciobaca" link: "https://researchr.org/alias/stefan-ciobaca" - name: "Dorel Lucanu" link: "https://researchr.org/alias/dorel-lucanu" - name: "Vlad Rusu" link: "https://researchr.org/profile/vladrusu/publications" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2015" abstract: "Programming languages should be formally specified in or- der to reason about programs written in them. We show that, given two formally specified programming languages, it is possible to construct the formal semantics of an aggregated language, in which programs consist of pairs of programs from the initial languages. The construction is based on algebraic techniques and it can be used to reduce relational proper- ties (such as equivalence of programs) to reachability properties (in the aggregated language). Full text available at https://hal.inria.fr/hal-01076641." links: "url": "https://hal.inria.fr/hal-01076641" researchr: "https://researchr.org/publication/ciobaca%3Ahal-01076641" cites: 0 citedby: 0 pages: "30-47" booktitle: "22nd International Workshop on Algebraic Development Techniques" volume: "9463" series: "LNCS" address: "Sinaia, Romania" publisher: "Spriger Verlag" kind: "inproceedings" key: "ciobaca:hal-01076641" - title: "Runtime safety analysis of multithreaded programs" author: - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Gul Agha" link: "https://researchr.org/alias/gul-agha" year: "2003" doi: "http://doi.acm.org/10.1145/940071.940116" links: doi: "http://doi.acm.org/10.1145/940071.940116" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/SenRA03" cites: 0 citedby: 0 pages: "337-346" booktitle: "Proceedings of the 11th ACM SIGSOFT Symposium on Foundations of Software Engineering 2003 held jointly with 9th European Software Engineering Conference, ESEC/FSE 2003, Helsinki, Finland, September 1-5, 2003" publisher: "ACM" kind: "inproceedings" key: "SenRA03" - title: "All-Path Reachability Logic" author: - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" - name: "Stefan Ciobaca" link: "https://researchr.org/alias/stefan-ciobaca" - name: "Radu Mereuta" link: "https://researchr.org/alias/radu-mereuta" - name: "Brandon M. Moore" link: "https://researchr.org/alias/brandon-m.-moore" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2014" doi: "http://dx.doi.org/10.1007/978-3-319-08918-8_29" links: doi: "http://dx.doi.org/10.1007/978-3-319-08918-8_29" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rta/StefanescuCMMSR14" researchr: "https://researchr.org/publication/StefanescuCMMSR14" cites: 0 citedby: 0 pages: "425-440" booktitle: "Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings" editor: - name: "Gilles Dowek" link: "https://researchr.org/alias/gilles-dowek" volume: "8560" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-319-08917-1" kind: "inproceedings" key: "StefanescuCMMSR14" - title: "Towards a Module System for K" author: - name: "Mark Hills" link: "https://researchr.org/alias/mark-hills" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-03429-9_13" links: doi: "http://dx.doi.org/10.1007/978-3-642-03429-9_13" researchr: "https://researchr.org/publication/HillsR08" cites: 0 citedby: 0 pages: "187-205" booktitle: "Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" volume: "5486" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03428-2" kind: "inproceedings" key: "HillsR08" - title: "An executable formal semantics of C with applications" author: - name: "Chucky Ellison" link: "https://researchr.org/alias/chucky-ellison" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://doi.acm.org/10.1145/2103656.2103719" abstract: "This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99.2% of 776 test programs. It is the most complete and thoroughly tested formal definition of C to date. The semantics yields an interpreter, debugger, state space search tool, and model checker \"for free\". The semantics is shown capable of automatically finding program errors, both statically and at runtime. It is also used to enumerate nondeterministic behavior." links: doi: "http://doi.acm.org/10.1145/2103656.2103719" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/popl/EllisonR12" researchr: "https://researchr.org/publication/EllisonR12" cites: 0 citedby: 0 pages: "533-544" booktitle: "Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, Philadelphia, Pennsylvania, USA, January 22-28, 2012" editor: - name: "John Field" link: "https://researchr.org/alias/john-field" - name: "Michael Hicks" link: "https://researchr.org/alias/michael-hicks" publisher: "ACM" isbn: "978-1-4503-1083-3" kind: "inproceedings" key: "EllisonR12" - title: "Efficient Formalism-Independent Monitoring of Parametric Properties" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Patrick O Neil Meredith" link: "https://researchr.org/alias/patrick-o-neil-meredith" - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2009" doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.50" links: doi: "http://doi.ieeecomputersociety.org/10.1109/ASE.2009.50" researchr: "https://researchr.org/publication/ChenMJR09" cites: 0 citedby: 0 pages: "383-394" booktitle: "ASE 2009, 24th IEEE/ACM International Conference on Automated Software Engineering, Auckland, New Zealand, November 16-20, 2009" publisher: "IEEE Computer Society" isbn: "978-0-7695-3891-4" kind: "inproceedings" key: "ChenMJR09" - title: "An instrumentation technique for online analysis of multithreaded programs" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Koushik Sen" link: "https://researchr.org/alias/koushik-sen" year: "2007" doi: "http://dx.doi.org/10.1002/cpe.1066" links: doi: "http://dx.doi.org/10.1002/cpe.1066" tags: - "program analysis" - "analysis" researchr: "https://researchr.org/publication/RosuS07" cites: 0 citedby: 0 journal: "Concurrency - Practice and Experience" volume: "19" number: "3" pages: "311-325" kind: "article" key: "RosuS07" - title: "Checking reachability using matching logic" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Andrei Stefanescu" link: "https://researchr.org/alias/andrei-stefanescu" year: "2012" doi: "http://doi.acm.org/10.1145/2384616.2384656" links: doi: "http://doi.acm.org/10.1145/2384616.2384656" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/oopsla/RosuS12" researchr: "https://researchr.org/publication/RosuS12-1" cites: 0 citedby: 0 pages: "555-574" booktitle: "Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October 21-25, 2012" editor: - name: "Gary T. Leavens" link: "https://researchr.org/alias/gary-t.-leavens" - name: "Matthew B. Dwyer" link: "https://researchr.org/alias/matthew-b.-dwyer" publisher: "ACM" isbn: "978-1-4503-1561-6" kind: "inproceedings" key: "RosuS12-1" - title: "Maximal Causal Models for Sequentially Consistent Systems" author: - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-35632-2_16" links: doi: "http://dx.doi.org/10.1007/978-3-642-35632-2_16" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/SerbanutaCR12" researchr: "https://researchr.org/publication/SerbanutaCR12" cites: 0 citedby: 0 pages: "136-150" booktitle: "Runtime Verification, Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers" editor: - name: "Shaz Qadeer" link: "https://researchr.org/alias/shaz-qadeer" - name: "Serdar Tasiran" link: "https://researchr.org/alias/serdar-tasiran" volume: "7687" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-35632-2" kind: "inproceedings" key: "SerbanutaCR12" - title: "A Rewriting Logic Approach to Type Inference" author: - name: "Chucky Ellison" link: "https://researchr.org/alias/chucky-ellison" - name: "Traian-Florin Serbanuta" link: "https://researchr.org/alias/traian-florin-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-03429-9_10" links: doi: "http://dx.doi.org/10.1007/978-3-642-03429-9_10" tags: - "type inference" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" - "systematic-approach" researchr: "https://researchr.org/publication/EllisonSR08" cites: 0 citedby: 0 pages: "135-151" booktitle: "Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers" editor: - name: "Andrea Corradini" link: "https://researchr.org/alias/andrea-corradini" - name: "Ugo Montanari" link: "https://researchr.org/alias/ugo-montanari" volume: "5486" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-03428-2" kind: "inproceedings" key: "EllisonSR08" - title: "Preface" author: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2005" doi: "http://dx.doi.org/10.1016/j.entcs.2004.12.011" links: doi: "http://dx.doi.org/10.1016/j.entcs.2004.12.011" researchr: "https://researchr.org/publication/HavelundR05%3A0" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "113" pages: "1-2" kind: "article" key: "HavelundR05:0" - title: "A Semantic Approach to Interpolation" author: - name: "Andrei Popescu" link: "https://researchr.org/alias/andrei-popescu" - name: "Traian Serbanuta" link: "https://researchr.org/alias/traian-serbanuta" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://dx.doi.org/10.1007/11690634_21" links: doi: "http://dx.doi.org/10.1007/11690634_21" tags: - "systematic-approach" researchr: "https://researchr.org/publication/PopescuSR06" cites: 0 citedby: 0 pages: "307-321" booktitle: "Foundations of Software Science and Computation Structures, 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006, Proceedings" editor: - name: "Luca Aceto" link: "https://researchr.org/alias/luca-aceto" - name: "Anna Ingólfsdóttir" link: "https://researchr.org/alias/anna-ing%C3%B3lfsd%C3%B3ttir" volume: "3921" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-33045-3" kind: "inproceedings" key: "PopescuSR06" - title: "The Rewriting Logic Semantics Project" author: - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.027" links: doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.027" tags: - "semantics" - "graph-rewriting" - "logic" - "rewriting logic" - "rewriting" researchr: "https://researchr.org/publication/MeseguerR06" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "156" number: "1" pages: "27-56" kind: "article" key: "MeseguerR06" - title: "Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP" author: - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Marcelo d Amorim" link: "https://researchr.org/alias/marcelo-d-amorim" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2006" doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.002" links: doi: "http://dx.doi.org/10.1016/j.entcs.2006.02.002" tags: - "Java" researchr: "https://researchr.org/publication/ChendR06" cites: 0 citedby: 0 journal: "Electronic Notes in Theoretical Computer Science" volume: "144" number: "4" pages: "3-20" kind: "article" key: "ChendR06" - title: "An overview of the MOP runtime verification framework" author: - name: "Patrick O'Neil Meredith" link: "https://researchr.org/alias/patrick-o%27neil-meredith" - name: "Dongyun Jin" link: "https://researchr.org/alias/dongyun-jin" - name: "Dennis Griffith" link: "https://researchr.org/alias/dennis-griffith" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2012" doi: "http://dx.doi.org/10.1007/s10009-011-0198-6" links: doi: "http://dx.doi.org/10.1007/s10009-011-0198-6" dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/sttt/MeredithJGCR12" researchr: "https://researchr.org/publication/MeredithJGCR12" cites: 0 citedby: 0 journal: "STTT" volume: "14" number: "3" pages: "249-289" kind: "article" key: "MeredithJGCR12" - title: "Institution Morphisms" author: - name: "Joseph A. Goguen" link: "https://researchr.org/alias/joseph-a.-goguen" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" year: "2002" doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130274.htm" links: doi: "http://link.springer.de/link/service/journals/00165/bibs/2013003/20130274.htm" researchr: "https://researchr.org/publication/GoguenR02" cites: 0 citedby: 0 journal: "Formal Asp. Comput." volume: "13" number: "3-5" pages: "274-307" kind: "article" key: "GoguenR02" - title: "Synthesizing Monitors for Safety Properties: This Time with Calls and Returns" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Feng Chen" link: "https://researchr.org/alias/feng-chen" - name: "Thomas Ball" link: "https://researchr.org/alias/thomas-ball" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-89247-2_4" links: doi: "http://dx.doi.org/10.1007/978-3-540-89247-2_4" researchr: "https://researchr.org/publication/RosuCB08" cites: 0 citedby: 0 pages: "51-68" booktitle: "Runtime Verification, 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers" editor: - name: "Martin Leucker" link: "https://researchr.org/alias/martin-leucker" volume: "5289" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-89246-5" kind: "inproceedings" key: "RosuCB08" - title: "Certifying and Synthesizing Membership Equational Proofs" author: - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Steven Eker" link: "http://www.csl.sri.com/people/eker/" - name: "Patrick Lincoln" link: "https://researchr.org/alias/patrick-lincoln" - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" year: "2003" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=359" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2805&spage=359" tags: - "equational proofs" researchr: "https://researchr.org/publication/RosuELM03" cites: 0 citedby: 0 pages: "359-380" booktitle: "FME 2003: Formal Methods, International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003, Proceedings" editor: - name: "Keijiro Araki" link: "https://researchr.org/alias/keijiro-araki" - name: "Stefania Gnesi" link: "https://researchr.org/alias/stefania-gnesi" - name: "Dino Mandrioli" link: "https://researchr.org/alias/dino-mandrioli" volume: "2805" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-40828-2" kind: "inproceedings" key: "RosuELM03" - title: "Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings" year: "2012" doi: "http://dx.doi.org/10.1007/978-3-642-30793-5" links: doi: "http://dx.doi.org/10.1007/978-3-642-30793-5" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/forte/2012" researchr: "https://researchr.org/publication/forte-2012" cites: 0 citedby: 0 booktitle: "Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings" conference: "forte" editor: - name: "Holger Giese" link: "https://researchr.org/alias/holger-giese" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" volume: "7273" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-30792-8" kind: "proceedings" key: "forte-2012" - title: "Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings" year: "2010" doi: "http://dx.doi.org/10.1007/978-3-642-16612-9" links: doi: "http://dx.doi.org/10.1007/978-3-642-16612-9" dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/rv/2010" researchr: "https://researchr.org/publication/rv-2010" cites: 0 citedby: 0 booktitle: "Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings" conference: "RV" editor: - name: "Howard Barringer" link: "https://researchr.org/alias/howard-barringer" - name: "Yliès Falcone" link: "https://researchr.org/alias/yli%C3%A8s-falcone" - name: "Bernd Finkbeiner" link: "https://researchr.org/alias/bernd-finkbeiner" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Insup Lee" link: "https://researchr.org/alias/insup-lee" - name: "Gordon J. Pace" link: "https://researchr.org/alias/gordon-j.-pace" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" - name: "Nikolai Tillmann" link: "https://researchr.org/alias/nikolai-tillmann" volume: "6418" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-16611-2" kind: "proceedings" key: "rv-2010" - title: "Runtime Verification, 02.01. - 06.01.2007" year: "2008" researchr: "https://researchr.org/publication/dagstuhl%3A2007P7011" cites: 0 citedby: 0 booktitle: "Runtime Verification, 02.01. - 06.01.2007" conference: "Dagstuhl" editor: - name: "Bernd Finkbeiner" link: "https://researchr.org/alias/bernd-finkbeiner" - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Oleg Sokolsky" link: "https://researchr.org/alias/oleg-sokolsky" volume: "07011" series: "Dagstuhl Seminar Proceedings" publisher: "Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany" kind: "proceedings" key: "dagstuhl:2007P7011" - title: "Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers" year: "2006" tags: - "testing" - "systematic-approach" researchr: "https://researchr.org/publication/fates%3A2006" cites: 0 citedby: 0 booktitle: "Formal Approaches to Software Testing and Runtime Verification, First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers" conference: "fates" editor: - name: "Klaus Havelund" link: "https://researchr.org/alias/klaus-havelund" - name: "Manuel Núñez" link: "https://researchr.org/alias/manuel-n%C3%BA%C3%B1ez" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" - name: "Burkhart Wolff" link: "https://researchr.org/alias/burkhart-wolff" volume: "4262" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-49699-8" kind: "proceedings" key: "fates:2006" - title: "Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings" year: "2008" tags: - " algebra" researchr: "https://researchr.org/publication/amast%3A2008" cites: 0 citedby: 0 booktitle: "Algebraic Methodology and Software Technology, 12th International Conference, AMAST 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings" conference: "amast" editor: - name: "José Meseguer" link: "http://formal.cs.uiuc.edu/meseguer/" - name: "Grigore Rosu" link: "http://fsl.cs.uiuc.edu/~grosu/" volume: "5140" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-79979-5" kind: "proceedings" key: "amast:2008"