If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2021

    Language-parametric compiler validation with application to LLVM

    Kasampalis, T., Park, D., Lin, Z., Adve, V. S. & Rosu, G., Apr 19 2021, Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS 2021. Association for Computing Machinery, p. 1004-1019 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Towards a Trustworthy Semantics-Based Language Framework via Proof Generation

    Chen, X., Lin, Z., Trinh, M. T. & Roşu, G., 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Proceedings. Silva, A. & Leino, K. R. (eds.). Springer, p. 477-499 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12760 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • 2020

    Connecting Constrained Constructor Patterns and Matching Logic

    Chen, X., Lucanu, D. & Roşu, G., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer, p. 19-37 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract

    Park, D., Zhang, Y. & Rosu, G., 2020, Computer Aided Verification - 32nd International Conference, CAV 2020, Proceedings. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 151-164 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12224 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Formalizing Correct-by-Construction Casper in Coq

    Li, E., Serbanuta, T., Diaconescu, D., Zamfir, V. & Rosu, G., May 2020, IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020. Institute of Electrical and Electronics Engineers Inc., 9169468. (IEEE International Conference on Blockchain and Cryptocurrency, ICBC 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • K—A semantic framework for programming languages and formal analysis

    Chen, X. & Roşu, G., 2020, Engineering Trustworthy Software Systems - 5th International School, SETSS 2019, Tutorial Lectures. Bowen, J. P., Liu, Z. & Zhang, Z. (eds.). Springer, p. 122-158 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12154 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Statistical model checking of randao’s resilience to pre-computed reveal strategies

    Alturki, M. A. & Roşu, G., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer, p. 337-349 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Towards a verified model of the algorand consensus protocol in coq

    Alturki, M. A., Chen, J., Luchangco, V., Moore, B., Palmskog, K., Peña, L. & Roşu, G., 2020, Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer, p. 362-367 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2019

    A complete formal semantics of x86-64 user-level instruction set architecture

    Dasgupta, S., Park, D., Kasampalis, T., Adve, V. S. & Roşu, G., Jun 8 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). Association for Computing Machinery, p. 1133-1148 16 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • IELE: A rigorously designed language and tool ecosystem for the blockchain

    Kasampalis, T., Guth, D., Moore, B., Șerbănuță, T. F., Zhang, Y., Filaretti, D., Șerbănuță, V., Johnson, R. & Roşu, G., 2019, Formal Methods – The Next 30 Years - 3rd World Congress, FM 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (eds.). Springer, p. 593-610 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11800 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Matching µ-logic: Foundation of K framework

    Chen, X. & Roşu, G., Nov 2019, 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019. Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 1. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 139).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Matching μ-Logic

    Chen, X. & Rosu, G., Jun 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. Institute of Electrical and Electronics Engineers Inc., 8785675. (Proceedings - Symposium on Logic in Computer Science; vol. 2019-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Runtime verification-17 years later

    Havelund, K. & Roşu, G., 2019, Runtime Verification- 18th International Conference, RV 2018, Proceedings. Colombo, C. & Leucker, M. (eds.). Springer, p. 3-17 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11237).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Techniques for evolution-aware runtime verification

    Legunsen, O., Zhang, Y., Hadzi-Tanovic, M., Rosu, G. & Marinov, D., Apr 2019, Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019. Institute of Electrical and Electronics Engineers Inc., p. 300-311 12 p. 8730172. (Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation, ICST 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2018

    A formal verification tool for ethereum VM bytecode

    Park, D., Zhang, Y., Saxena, M., Daian, P. & Roşu, G., Oct 26 2018, ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering. Garci, A., Pasareanu, C. S. & Leavens, G. T. (eds.). Association for Computing Machinery, Inc, p. 912-915 4 p. (ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A language-independent approach to smart contract verification

    Chen, X., Park, D. & Roşu, G., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 405-413 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11247 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A language-independent program verification framework

    Chen, X. & Roşu, G., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification - 8th International Symposium, ISoLA 2018, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 92-102 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11245 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Formal design, implementation and verification of blockchain languages

    Rosu, G., Jul 1 2018, 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018. Kirchner, H. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 108).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KEVM: A complete formal semantics of the ethereum virtual machine

    Hildenbrandt, E., Saxena, M., Rodrigues, N., Zhu, X., Daian, P., Guth, D., Moore, B., Park, D., Zhang, Y., Stefanescu, A. & Rosu, G., Aug 7 2018, Proceedings - IEEE 31st Computer Security Foundations Symposium, CSF 2018. IEEE Computer Society, p. 204-217 14 p. 8429306. (Proceedings - IEEE Computer Security Foundations Symposium; vol. 2018-July).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Program verification by coinduction

    Moore, B., Peña, L. & Rosu, G., 2018, Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. Ahmed, A. (ed.). Springer, p. 589-618 30 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10801 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2016

    Finite-trace linear temporal logic: Coinductive completeness

    Roşu, G., 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer, p. 333-350 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • How good are the specs? A study of the bug-finding effectiveness of existing Java api specifications

    Legunsen, O., Ul Hassan, W., Xu, X., Roşu, G. & Marinov, D., Aug 25 2016, ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering. Khurshid, S., Lo, D. & Apel, S. (eds.). Association for Computing Machinery, Inc, p. 602-613 12 p. (ASE 2016 - Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Program verification using reachability logic

    Roşu, G., Ştefănescu, A. & Ciobâcă, Ş., Jan 1 2016, Rewriting Logic and Its Applications - 11th International Workshop, WRLA 2016 Held as a Satellite Event of ETAPS 2016, Revised Selected Papers. Lucanu, D. (ed.). Springer, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9942 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Runtime verification at work: A tutorial

    Daian, P., Guth, D., Hathhorn, C., Li, Y., Pek, E., Saxena, M., Şerbănuţă, T. F. & Roşu, G., Jan 1 2016, Runtime Verification - 16th International Conference, RV 2016, Proceedings. Falcone, Y. & Sánchez, C. (eds.). Springer, p. 46-67 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10012 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • RV-match: Practical semantics-based program analysis

    Guth, D., Hathhorn, C., Saxena, M. & Roşu, G., 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer, p. 447-453 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Semantics-based program verifiers for all languages

    Stefánescu, A., Park, D., Yuwen, S., Li, Y. & Rosu, G., Oct 19 2016, OOPSLA 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications. Visser, E. & Smaragdakis, Y. (eds.). Association for Computing Machinery, p. 74-91 18 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA; vol. 02-04-November-2016).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Open Access
  • Towards a Kool Future

    Lucanu, D., Şerbănuţă, T. F. & Rosu, G., Jan 1 2016, Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Ábrahám, E., Bonsangue, M. & Johnsen, E. B. (eds.). Springer, p. 325-343 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9660).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2015

    A theoretical foundation for programming languages aggregation

    Ciobâcă, Ş., Lucanu, D., Rusu, V. & Roşu, G., 2015, Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Revised Selected Papers. Ţuţu, I., Codescu, M. & Diaconescu, R. (eds.). Springer, p. 30-47 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9463).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Defining the undefinedness of C

    Hathhorn, C., Ellison, C. & Roşu, G., Jun 3 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 336-345 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Evolution-Aware Monitoring-Oriented Programming

    Legunsen, O., Marinov, D. & Rosu, G., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 615-618 4 p. 7203026. (Proceedings - International Conference on Software Engineering; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • From rewriting logic, to programming language semantics, to program verification

    Roşu, G., Jan 1 2015, Logic, Rewriting and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday. Ölveczky, P. C., Talcott, C. & Martí-Oliet, N. (eds.). Springer, p. 598-616 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9200).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • GPredict: Generic predictive concurrency analysis

    Huang, J., Luo, Q. & Rosu, G., Aug 12 2015, Proceedings - 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, ICSE 2015. IEEE Computer Society, p. 847-857 11 p. 7194631. (Proceedings - International Conference on Software Engineering; vol. 1).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • K-Java: A complete semantics of Java

    Bogdənaş, D. & Roşu, G., Jan 14 2015, POPL 2015 - Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, p. 445-456 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages; vol. 2015-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • KJS: A complete formal semantics of JavaScript

    Park, D., Ştefənescu, A. & Roşu, G., Jun 3 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 346-356 11 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Matching logic - extended abstract

    Rosu, G., Jun 1 2015, 26th International Conference on Rewriting Techniques and Applications, RTA 2015. Fernandez, M. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 5-21 17 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 36).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • RV-android: Efficient parametric android runtime verification, a brief tutorial

    Daian, P., Falcone, Y., Meredith, P., Şerbǎnuţǎ, T. F., Shiriashi, SI., Akihito, A. I. & Rosu, G., 2015, Runtime Verification - 6th International Conference, RV 2015, Proceedings. Bartocci, E. & Majumdar, R. (eds.). Springer, p. 342-357 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9333).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2014

    A language-independent proof system for mutual program equivalence

    Ciobâcă, Ş., Lucanu, D., Rusu, V. & Roşu, G., 2014, Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Proceedings. Merz, S. & Pang, J. (eds.). Springer, p. 75-90 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8829).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • All-path reachability logic

    Ştefǎnescu, A., Ciobâč, Ş., Mereuta, R., Moore, B. M., Şerbǎnutǎ, T. F. & Rosu, G., Jan 1 2014, Rewriting and Typed Lambda Calculi - Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Proceedings. Springer, p. 425-440 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8560 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Maximal sound predictive race detection with control flow abstraction

    Huang, J., Meredith, P. O. N. & Rosu, G., 2014, PLDI 2014 - Proceedings of the 2014 ACM SIGPLAN Conference on Programming Language Design and Implementation. Association for Computing Machinery, p. 337-348 12 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • RV-monitor: Efficient parametric runtime verification with simultaneous properties

    Luo, Q., Zhang, Y., Lee, C., Jin, D., Meredith, P. ON., Şerbănuţă, T. F. & Roşu, G., 2014, Runtime Verification - 5th International Conference, RV 2014, Proceedings. Bonakdarpour, B. & Smolka, S. A. (eds.). Springer, p. 285-300 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8734 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2013

    Efficient parametric runtime verification with deterministic string rewriting

    Meredith, P. & Rosu, G., 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings. p. 70-80 11 p. 6693067. (2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • EnforceMOP: A runtime property enforcement system for multithreaded programs

    Luo, Q. & Roşu, G., 2013, 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings. p. 156-166 11 p. (2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Maximal causal models for sequentially consistent systems

    Serbanuta, T. F., Chen, F. & Rosu, G., 2013, Runtime Verification - Third International Conference, RV 2012, Revised Selected Papers. Springer, p. 136-150 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7687 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Specifying languages and verifying programs with K

    Roşu, G., 2013, Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013. IEEE Computer Society, p. 28-31 4 p. 6821127. (Proceedings - 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 2012

    An executable formal semantics of C with applications

    Ellison, C. & Roşu, G., Mar 12 2012, POPL'12 - Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. p. 533-544 12 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • A truly concurrent semantics for the double-struck K framework based on graph transformations

    Serbanuta, T. F. & Roşu, G., Oct 24 2012, Graph Transformations - 6th International Conference, ICGT 2012, Proceedings. p. 294-310 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7562 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Checking reachability using matching logic ?

    Rosu, G. & Stefanescu, A., Nov 27 2012, SPLASH 2012: OOPSLA'12 - Proceedings of the 2012 ACM International Conference on Object Oriented Programming SystemsLanguages and Applications. p. 555-574 20 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Double-struck K framework distilled

    Lucanu, D., Şerbǎnuţǎ, T. F. & Roşu, G., 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 31-53 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Executing Formal Semantics with the double-struck K Tool

    Lazar, D., Arusoaie, A., Şerbǎnuţǎ, T. F., Ellison, C., Mereuta, R., Lucanu, D. & Roşu, G., Sep 13 2012, FM 2012: Formal Methods - 18th International Symposium, Proceedings. p. 267-271 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7436 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • From Hoare logic to matching logic reachability

    Roşu, G. & Ştefǎnescu, A., Sep 13 2012, FM 2012: Formal Methods - 18th International Symposium, Proceedings. p. 387-402 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7436 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution