Matthias Raffelsieper

16 papers A 2C 2Journal 5Unranked 7
YearRankTypeTitle / Venue / Authors
2016 J jnl
On the random structure of behavioural transition systems.
Sci. Comput. Program.
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
2014 A conf
Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems.
RecSys
Thorben Keller, Matthias Raffelsieper
2014 J jnl
On the Random Structure of Behavioural Transition Systems.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper
2013 — conf
Efficient Encoding and Transmission of Digital Receipts for Mobile Commerce.
ICMB
Matthias Raffelsieper, Alexander Ilic, Thorben Keller, Elgar Fleisch
2011 J jnl
Automated termination proofs for haskell by term rewriting.
ACM Trans. Program. Lang. Syst.
Jürgen Giesl, Matthias Raffelsieper, Peter Schneider-Kamp, Stephan Swiderski, René Thiemann
2011 J jnl
Long-run order-independence of vector-based transition systems.
IET Comput. Digit. Tech.
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema
2011 J jnl
Process Algebra as a Common Framework for Hardware/Software Coverification.
IEEE Embed. Syst. Lett.
Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters
2011 — conf
Productivity of Non-Orthogonal Term Rewrite Systems
WRS
Matthias Raffelsieper
2011 C conf
Symbolic Power Analysis of Cell Libraries.
FMICS
Matthias Raffelsieper, Mohammad Reza Mousavi
2010 A conf
Checking and deriving module paths in Verilog cell library descriptions.
DATE
Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg
2010 — conf
Order-Independence of Vector-Based Transition Systems.
ACSD
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema
2010 — conf
Proving Productivity in Infinite Data Structures.
RTA
Hans Zantema, Matthias Raffelsieper
2009 C conf
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.
FMICS
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema
2009 — conf
Model Checking Verilog Descriptions of Cell Libraries.
ACSD
Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi
2009 — conf
Stream Productivity by Outermost Termination
WRS
Hans Zantema, Matthias Raffelsieper
2008 — conf
A Transformational Approach to Prove Outermost Termination Automatically.
WRS@RTA
Matthias Raffelsieper, Hans Zantema