Ralf Treinen

Publication Activity (10 Years)

Years Active: 1990-2022
Publications (10 Years): 8

Top Venues

VSTTE

J. Comput. Syst. Sci.

GandALF

Int. J. Softw. Tools Technol. Transf.

Saarland University, Saarbrücken, Germany (PHD)

Education History

Saarland University, Saarbrücken, Germany

PHD

Publications

Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
The CoLiS platform for the analysis of maintainer scripts in Debian software packages. Int. J. Softw. Tools Technol. Transf. 24 (5) (2022)
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
Morbig: A Static parser for POSIX shell. J. Comput. Lang. 57 (2020)
Benedikt F. H. Becker, Nicolas Jeannerod, Claude Marché, Yann Régis-Gianas, Mihaela Sighireanu, Ralf Treinen
Analysing installation scenarios of Debian packages. TACAS (2) (2020)
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Logics for unordered trees with data constraints. J. Comput. Syst. Sci. 104 (2019)
Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen
Morbig: a static parser for POSIX shell. SLE (2018)
Nicolas Jeannerod, Ralf Treinen
Deciding the First-Order Theory of an Algebra of Feature Trees with Updates. IJCAR (2018)
Nicolas Jeannerod, Claude Marché, Ralf Treinen
A Formally Verified Interpreter for a Shell-Like Programming Language. VSTTE (2017)
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Automata for unordered trees. Inf. Comput. 253 (2017)
Pietro Abate, Roberto Di Cosmo, Louis Gesbert, Fabrice Le Fessant, Ralf Treinen, Stefano Zacchiroli
Mining Component Repositories for Installability Issues. MSR (2015)
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Logics for Unordered Trees with Data Constraints on Siblings. LATA (2015)
Adrien Boiret, Vincent Hugot, Joachim Niehren, Ralf Treinen
Deterministic Automata for Unordered Trees. GandALF (2014)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Learning from the future of component repositories. Sci. Comput. Program. 90 (2014)
Roberto Di Cosmo, Michael Lienhardt, Ralf Treinen, Stefano Zacchiroli, Jakub Zwolakowski, Antoine Eiche, Alexis Agahi
Automated synthesis and deployment of cloud applications. ASE (2014)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
A modular package manager architecture. Inf. Softw. Technol. 55 (2) (2013)
Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski
Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC (2013)
Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Formal Aspects of Free and Open Source Software Components - A Short Survey. FMCO (2012)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Dependency solving: A separate concern in component evolution management. J. Syst. Softw. 85 (10) (2012)
Cyrille Artho, Kuniyasu Suzaki, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Why do software packages conflict? MSR (2012)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
Learning from the future of component repositories. CBSE (2012)
Steve Kremer, Antoine Mercier, Ralf Treinen
Reducing Equational Theories for the Decision of Static Equivalence. J. Autom. Reason. 48 (2) (2012)
Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard
Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. TOSCA (2011)
Pietro Abate, Roberto Di Cosmo, Ralf Treinen, Stefano Zacchiroli
MPM: a modular package manager. CBSE (2011)
Steve Kremer, Antoine Mercier, Ralf Treinen
Reducing Equational Theories for the Decision of Static Equivalence. ASIAN (2009)
Ralf Treinen, Stefano Zacchiroli
Expressing advanced user preferences in component installation CoRR (2009)
Ralf Treinen, Stefano Zacchiroli
Description of the CUDF Format CoRR (2008)
Ralf Treinen, Stefano Zacchiroli
Solving package dependencies: from EDOS to Mancoosi CoRR (2008)
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
Symbolic protocol analysis for monoidal equational theories. Inf. Comput. 206 (2-4) (2008)
Steve Kremer, Antoine Mercier, Ralf Treinen
Proving Group Protocols Secure Against Eavesdroppers. IJCAR (2008)
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
Intruder deduction for the equational theory of Abelian groups with distributive encryption. Inf. Comput. 205 (4) (2007)
Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen
. ICALP (2) (2006)
Fabio Mancinelli, Jaap Boender, Roberto Di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, Ralf Treinen
Managing the Complexity of Large Free and Open Source Package-Based Software Distributions. ASE (2006)
Pascal Lafourcade, Denis Lugiez, Ralf Treinen
-Like Equational Theories with Homomorphisms. RTA (2005)
Hubert Comon-Lundh, Ralf Treinen
Easy Intruder Deductions. Verification: Theory and Practice (2003)
Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen
The first-order theory of subtyping constraints. POPL (2002)
Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
Grid structures and undecidable constraint theories. Theor. Comput. Sci. 258 (1-2) (2001)
Martin Müller, Joachim Niehren, Ralf Treinen
The first-order theory of ordering constraints over feature trees. Discret. Math. Theor. Comput. Sci. 4 (2) (2001)
Joachim Niehren, Sophie Tison, Ralf Treinen
On rewrite constraints and context unification. Inf. Process. Lett. 74 (1-2) (2000)
Ralf Treinen
Predicate Logic and Tree Automata with Tests. FoSSaCS (2000)
Jean-Pierre Jouannaud, Ralf Treinen
Constraints and Constraint Solving: An Introduction. CCL (1999)
Ralf Treinen
The First-Order Theory of Linear One-Step Rewriting is Undecidable. Theor. Comput. Sci. 208 (1-2) (1998)
Nachum Dershowitz, Ralf Treinen
An On-line Problem Database. RTA (1998)
Martin Müller, Joachim Niehren, Ralf Treinen
The First-Order Theory of Ordering Constraints over Feature Trees. LICS (1998)
Rolf Backofen, Ralf Treinen
How to Win a Game with Features. Inf. Comput. 142 (1) (1998)
Alexander Koller, Joachim Niehren, Ralf Treinen
Dominance Constraints: Algorithms and Complexity. LACL (1998)
Franck Seynhaeve, Marc Tommasi, Ralf Treinen
Grid Structure and Undecidable Constraint Theories. TAPSOFT (1997)
Hubert Comon, Ralf Treinen
The First-Order Theory of Lexicographic Path Orderings is Undecidable. Theor. Comput. Sci. 176 (1-2) (1997)
Ralf Treinen
The First-Order Theory of One-Step Rewriting is Undecidable. RTA (1996)
Ralf Treinen
Feature Trees over Arbitrary Structures. UNIF (1995)
Rolf Backofen, Ralf Treinen
How to Win a Game with Features. CCL (1994)
Hubert Comon, Ralf Treinen
Ordering Constraints on Trees. CAAP (1994)
Gert Smolka, Ralf Treinen
Records for Logic Programming. J. Log. Program. 18 (3) (1994)
Joachim Niehren, Andreas Podelski, Ralf Treinen
Equational and Membership Constraints for Finite Trees. RTA (1993)
Ralf Treinen
Feature Constraints with First-Class Features. MFCS (1993)
Jana Koehler, Ralf Treinen
Constraint Deduction in an Interval-based Temporal Logic. Executable Modal and Temporal Logics (1993)
Gert Smolka, Ralf Treinen
Records for Logic Programming. JICSLP (1992)
Ralf Treinen
A New Method for Undecidablity Proofs of First Order Theories. J. Symb. Comput. 14 (5) (1992)
Ralf Treinen
First Order Data Types and First Order Logic. TACS (1991)
Ralf Treinen
A New Method for Undecidability Proofs of First Order Theories. FSTTCS (1990)

Ralf Treinen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ralf Treinen