A Transformational Approach to Prove Outermost Termination Automatically. - Matthias Raffelsieper; Hans Zantema (WRS@RTA, 2008)

Model Checking Verilog Descriptions of Cell Libraries. - Matthias Raffelsieper; Jan-Willem Roorda; Mohammad Reza Mousavi 001 (ACSD, 2009)

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Jan-Willem Roorda; Chris W. H. Strolenberg; Hans Zantema (FMICS, 2009)

Stream Productivity by Outermost Termination - Hans Zantema; Matthias Raffelsieper (WRS, 2009)

Order-Independence of Vector-Based Transition Systems. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Hans Zantema (ACSD, 2010)

Checking and deriving module paths in Verilog cell library descriptions. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Chris W. H. Strolenberg (DATE, 2010)

Proving Productivity in Infinite Data Structures. - Hans Zantema; Matthias Raffelsieper (RTA, 2010)

Symbolic Power Analysis of Cell Libraries. - Matthias Raffelsieper; Mohammad Reza Mousavi 001 (FMICS, 2011)

Productivity of Non-Orthogonal Term Rewrite Systems - Matthias Raffelsieper (WRS, 2011)

Process Algebra as a Common Framework for Hardware/Software Coverification. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; J. Sleuters (IEEE Embed. Syst. Lett., 2011)

Long-run order-independence of vector-based transition systems. - Matthias Raffelsieper; Mohammad Reza Mousavi 001; Hans Zantema (IET Comput. Digit. Tech., 2011)

Automated termination proofs for haskell by term rewriting. - Jürgen Giesl; Matthias Raffelsieper; Peter Schneider-Kamp; Stephan Swiderski; René Thiemann (ACM Trans. Program. Lang. Syst., 2011)

Efficient Encoding and Transmission of Digital Receipts for Mobile Commerce. - Matthias Raffelsieper; Alexander Ilic; Thorben Keller; Elgar Fleisch (ICMB, 2013)

Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems. - Thorben Keller; Matthias Raffelsieper (RecSys, 2014)

On the random structure of behavioural transition systems. - Jan Friso Groote; Remco van der Hofstad; Matthias Raffelsieper (Sci. Comput. Program., 2016)