| A deductive reasoning approach for database applications using verification conditions | 0 | 0.34 | 2021 |
| Testing for Race Conditions in Distributed Systems via SMT Solving. | 1 | 0.35 | 2020 |
| Real-time MTL with durations as SMT with applications to schedulability analysis | 0 | 0.34 | 2020 |
| A generalized program verification workflow based on loop elimination and SA form | 0 | 0.34 | 2019 |
| A Generalized Approach to Verification Condition Generation | 0 | 0.34 | 2018 |
| Runtime verification of autopilot systems using a fragment of MTL- $${\int }$$ ∫. | 0 | 0.34 | 2018 |
| SMT-based schedulability analysis using RMTL-∫. | 0 | 0.34 | 2017 |
| A Single-Assignment Translation for Annotated Programs | 0 | 0.34 | 2016 |
| Formal Verification With Frama-C: A Case Study in the Space Software Domain. | 1 | 0.35 | 2016 |
| Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach. | 1 | 0.35 | 2016 |
| Logic-based schedulability analysis for compositional hard real-time embedded systems | 3 | 0.44 | 2015 |
| Studying Verification Conditions for Imperative Programs. | 0 | 0.34 | 2015 |
| Monitoring for a Decidable Fragment of MTL-∫. | 0 | 0.34 | 2015 |
| A Bounded Model Checker for SPARK Programs. | 0 | 0.34 | 2014 |
| CAOVerif: An open-source deductive verification platform for cryptographic software implementations. | 1 | 0.37 | 2014 |
| A Compositional Monitoring Framework for Hard Real-Time Systems. | 0 | 0.34 | 2014 |
| Formal Verification of kLIBC with the WP Frama-C Plug-in. | 3 | 0.42 | 2014 |
| Interactive Verification of Safety-Critical Software | 0 | 0.34 | 2013 |
| Towards a mostly-automated prover for bit-vector arithmetic | 0 | 0.34 | 2013 |
| Verification conditions for single-assignment programs | 1 | 0.36 | 2012 |
| Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation). | 0 | 0.34 | 2012 |
| An approach to model checking ada programs | 1 | 0.35 | 2012 |
| Verification conditions for source-level imperative programs | 15 | 0.76 | 2011 |
| GammaPolarSlicer. | 0 | 0.34 | 2011 |
| Assertion-based slicing and slice graphs | 6 | 0.44 | 2010 |
| A Deductive Verification Platform for Cryptographic Software | 5 | 0.49 | 2010 |
| Deductive verification of cryptographic software | 5 | 0.48 | 2010 |
| GamaSlicer: an online laboratory for program verification and analysis | 4 | 0.52 | 2010 |
| Program verification in SPARK and ACSL: a comparative case study | 0 | 0.34 | 2010 |
| Contract-Based Slicing Helps on Safety Reuse | 0 | 0.34 | 2010 |
| Safe Integration of Annotated Components in Open Source Projects | 0 | 0.34 | 2010 |
| Model-checking temporal properties of real-time HTL programs | 0 | 0.34 | 2010 |
| Iterators, Recursors and Interaction Nets | 0 | 0.34 | 2009 |
| Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures | 12 | 0.76 | 2009 |
| Verifying Cryptographic Software Correctness with Respect to Reference Implementations | 5 | 0.46 | 2009 |
| Deriving Sorting Algorithms | 0 | 0.34 | 2008 |
| Token-passing Nets for Functional Languages | 4 | 0.55 | 2008 |
| Lissom, a Source Level Proof Carrying Code Platform | 0 | 0.34 | 2008 |
| A Tool for Programming with Interaction Nets | 8 | 0.62 | 2008 |
| Visual Programming with Interaction Nets | 3 | 0.47 | 2008 |
| A Local Graph-rewriting System for Deciding Equality in Sum-product Theories | 1 | 0.36 | 2007 |
| A Higher-Order Calculus for Graph Transformation | 7 | 0.54 | 2007 |
| Visual Programming with Recursion Patterns in Interaction Nets | 3 | 0.39 | 2007 |
| Point-free Program Transformation | 7 | 0.54 | 2005 |
| Recursion patterns and time-analysis | 1 | 0.35 | 2005 |
| A framework for point-free program transformation | 8 | 0.53 | 2005 |
| Weak Reduction and Garbage Collection in Interaction Nets | 5 | 0.64 | 2003 |
| Encoding linear logic with interaction combinators | 13 | 0.69 | 2002 |
| Parallel Implementation Models for the lambda-Calculus Using the Geometry of Interaction | 6 | 0.54 | 2001 |
| Combining Interaction Nets with Externally Defined Programs | 2 | 0.39 | 2001 |
