Matthias Raffelsieper

According to our database, Matthias Raffelsieper authored at least 15 papers between 2008 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

On the Random Structure of Behavioural Transition Systems.

Jan Friso Groote, Remco van der Hofstad, Matthias Raffelsieper

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Cosibon: an E-commerce like platform enabling bricks-and-mortar stores to use sophisticated product recommender systems.

Thorben Keller, Matthias Raffelsieper

Proceedings of the Eighth ACM Conference on Recommender Systems, 2014

2013

Efficient Encoding and Transmission of Digital Receipts for Mobile Commerce.

Matthias Raffelsieper, Alexander Ilic, Thorben Keller, Elgar Fleisch

Proceedings of the 12th International Conference on Mobile Business, 2013

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

Long-run order-independence of vector-based transition systems.

Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema

IET Comput. Digit. Tech., 2011

Process Algebra as a Common Framework for Hardware/Software Coverification.

Matthias Raffelsieper, Mohammad Reza Mousavi, J. Sleuters

IEEE Embed. Syst. Lett., 2011

Productivity of Non-Orthogonal Term Rewrite Systems

Matthias Raffelsieper

Proceedings of the Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, 2011

Symbolic Power Analysis of Cell Libraries.

Matthias Raffelsieper, Mohammad Reza Mousavi

Proceedings of the Formal Methods for Industrial Critical Systems, 2011

2010

Proving Productivity in Infinite Data Structures.

Hans Zantema, Matthias Raffelsieper

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

Checking and deriving module paths in Verilog cell library descriptions.

Matthias Raffelsieper, Mohammad Reza Mousavi, Chris W. H. Strolenberg

Proceedings of the Design, Automation and Test in Europe, 2010

Order-Independence of Vector-Based Transition Systems.

Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema

Proceedings of the 10th International Conference on Application of Concurrency to System Design, 2010

2009

Stream Productivity by Outermost Termination

Hans Zantema, Matthias Raffelsieper

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models.

Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

Model Checking Verilog Descriptions of Cell Libraries.

Matthias Raffelsieper, Jan-Willem Roorda, Mohammad Reza Mousavi

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

A Transformational Approach to Prove Outermost Termination Automatically.

Matthias Raffelsieper, Hans Zantema

Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008