An Extended Account of Trace-relating Compiler Correctness and Secure Compilation von Abate, Carmine, Blanco, Roberto, Ciobâcă, Ştefan, Durier, Adrien, Garg, Deepak, Hriţcu, Cătălin, Patrignani, Marco, Tanter, Éric, Thibault, Jérémy

Volltext

Securing Verified IO Programs Against Unverified Code in F von Andrici, Cezar-Constantin, Ciobâcă, Ștefan, Hriţcu, Cătălin, Martínez, Guido, Rivas, Exequiel, Tanter, Éric, Winterhalter, Théo

Volltext

A Coinductive Approach to Proving Reachability Properties in Logically Constrained Term Rewriting Systems von Ciobâcă, Ştefan, Lucanu, Dorel

Volltext

Verifying the Conversion into CNF in Dafny von Iordache, Viorel, Ciobâcă, Ştefan

Volltext

Unification Modulo Builtins von Ciobâcă, Ştefan, Arusoaie, Andrei, Lucanu, Dorel

Volltext

A Language-Independent Proof System for Mutual Program Equivalence von Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore

Volltext

A language-independent proof system for full program equivalence von Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore

Volltext

Operationally-based program equivalence proofs using LCTRSs von Ciobâcă, Ştefan, Lucanu, Dorel, Buruiană, Andrei Sebastian

Volltext

A Theoretical Foundation for Programming Languages Aggregation von Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore

Volltext

One-Path Reachability Logic von Rosu, Grigore, Stefanescu, Andrei, Ciobâcá, Stefan, Moore, Brandon M.

Volltext

All-Path Reachability Logic von Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon Moore, Traian Florin Serbanuta, Grigore Rosu

Volltext

Automated Verification of Equivalence Properties of Cryptographic Protocols von Chadha, Rohit, Cheval, Vincent, Ciobâcă, Ştefan, Kremer, Steve

Volltext

Computing Knowledge in Security Protocols Under Convergent Equational Theories von Ciobâcă, Ştefan, Delaune, Stéphanie, Kremer, Steve

Volltext

A Verified Implementation of the DPLL Algorithm in Dafny von Andrici, Cezar-Constantin, Ciobâcă, Ștefan

Volltext

Reducing Total Correctness to Partial Correctness by a Transformation of the Language Semantics von Buruiană, Andrei-Sebastian, Ciobâcă, Ştefan

Volltext

A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals von Motroi, Valeriu, Ciobaca, Stefan

Volltext bestellen

A Typo in the Paterson-Wegman-de Champeaux algorithm von Motroi, Valeriu, Ciobaca, Stefan

Volltext bestellen

Verifying the DPLL Algorithm in Dafny von Andrici, Cezar-Constantin, Ciobâcă, Ştefan

Volltext

Automated Verification of Equivalence Properties of Cryptographic Protocols von Chadha, Rohit, Ciobâcă, Ştefan, Kremer, Steve

Volltext

A Note on the Performance of Algorithms for Solving Linear Diophantine Equations in the Naturals von Motroi, Valeriu, Ciobaca, Stefan

Volltext