| [CSR 10-03] |
L. Aceto, M. Cimini, A. Ingolfsdottir, M. Mousavi, and M.A. Reniers.
On Rule Formats for Zero and Unit Elements.
Computer Science Reports 10-03,
Department of Computer Science, TU/e, April, 2010.
pdf |
| | |
| [Chi2] |
D.A. van Beek, A.T. Hofkamp, M.A. Reniers, J.E. Rooda, and R.R.H. Schiffelers.
Syntax and Formal Semantics of Chi 2.0.
SE Report 2008-01, Eindhoven University of Technology, Department of Mechanical Engineering, 2008. pdf
|
| | |
| [HYCON D3.6.3] |
D.A. van Beek, M.A. Reniers, J.E. Rooda, and R.R.H. Schiffelers.
Revised hybrid system interchange format.
HYCON Deliverable D3.6.3. HYCON Network of Excellence, 2007.
pdf
|
| | |
| [IPM Report] |
M.A. Reniers and M. van Weerdenburg.
Action Abstraction in Timed Process Algebra :
The Case for an Untimed Silent Step.
In F. Arbab and M. Sirjani, editors, Pre-proceedings of IPM Internationaal Symposium on Fundamentals
of Software Engineering (FSEN'07), Tehran, Iran, April 17-19, 2007, pages 302-317.
School of Computer Science,
Institute for Studies in Theoretical Physiscs and Mathematics (IPM).
pdf
|
| | |
|
[CSR-07-07] |
MohammadReza Mousavi, Iain Phillips, Michel A. Reniers, and Irek Ulidowski.
Semantics and Expressiveness of Ordered SOS.
Computer Science Reports 07-07,
Department of Computer Science, TU/e, March, 2005.
|
| | |
|
[CSR-06-33] |
D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers, and J.E. Rooda.
Foundations of a compositional interchange format
for hybrid systems.
Computer Science Reports 06-33,
Department of Computer Science, TU/e, November , 2006.
|
| | |
|
[CSR-06-32] |
M.A. Reniers and M. van Weerdenburg.
Action Abstraction in Timed Process Algebra :
The Case for an Untimed Silent Step.
Computer Science Reports 06-32,
Department of Computer Science, TU/e, November , 2006.
|
| | |
|
[SE Report 2006-05] |
D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers, and J.E. Rooda.
Foundations of a compositional interchange format for hybrid systems.
SE Report 2006-05,
Systems Engineering Group,
Department of Mechanical Engineering, TU/e, October 2006.
pdf
|
|
| | |
|
[CSR-05-32] |
J.C.M. Baeten and M.A. Reniers.
Duplication of constants in process algebra.
Computer Science Reports 05-32,
Department of Computer Science, TU/e, December , 2005.
|
| | |
|
[CSR-05-22] |
M.A. Reniers and Y.S. Usenko.
Analysis of timed processes with data using algebraic transformations.
Computer Science Reports 05-22,
Department of Computer Science, TU/e, 2005.
|
| | |
|
[CSR-05-21] |
J.C.M. Baeten, M.R. Mousavi and M.A. Reniers.
Timing the Untimed: Terminating Successfully while Being Conservative.
Computer Science Reports 05-21,
Department of Computer Science, TU/e, July , 2005.
|
| | |
|
[CSR-05-16] |
M.R. Mousavi and M.A. Reniers.
Orthogonal Extensions in Structural Operational Semantics.
Computer Science Reports 05-16,
Department of Computer Science, TU/e, May, 2005.
|
| | |
|
[CSR-05-09] |
D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda and
R.R.H. Schiffelers.
Syntax and Semantics of Timed Chi.
Computer Science Reports 05-09,
Department of Computer Science, TU/e, March, 2005.
|
| | |
|
[CSR-04-37] |
D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda and
R.R.H. Schiffelers.
Syntax and Consistent Equation Semantics of Hybrid Chi.
Computer Science Reports 04-37,
Department of Computer Science, TU/e, December, 2004.
|
| | |
|
[CSR-04-29] |
P.C.W. van den Brand, M.A. Reniers, and P.J.L. Cuijpers.
Linearization of Hybrid Processes.
Computer Science Reports 04-29,
Department of Computer Science, TU/e, October, 2004.
|
| | |
|
[CSR-04-28] |
M.R. Mousavi and M.A. Reniers.
Structural Congruences and Structural Operational Semantics.
Computer Science Reports 04-28,
Department of Computer Science, TU/e, October, 2004.
|
| | |
|
[CSR-04-25] |
M.R. Mousavi, M.A. Reniers and J.F. Groote.
A Syntactic Commutativity Format for SOS.
Computer Science Reports 04-25,
Department of Computer Science, TU/e, September, 2004.
pdf
ps
|
| | |
|
[CSR-04-10] |
P.J.L. Cuijpers and M.A. Reniers.
Action and Predicate Safety of Hybrid Processes.
Computer Science Reports 04-10,
Department of Computer Science, TU/e, April, 2004.
pdf
|
| | |
|
[CSR-04-05] |
M.R. Mousavi, M.A. Reniers and J.F. Groote.
Congruence for SOS with Data.
Computer Science Reports 04-05,
Department of Computer Science, TU/e, January, 2004.
pdf
ps
|
| | |
|
[CSR-04-04] |
W.J. Fokkink, J.F. Groote and M.A. Reniers.
Process algebra needs proof methodology.
Computer Science Reports 04-04,
Department of Computer Science, TU/e, January, 2004.
pdf
ps
|
| | |
| [CSR-03-07] |
P.J.L. Cuijpers and M.A. Reniers.
Hybrid Process Algebra.
Computer Science Reports 03-07,
Department of Computer Science, TU/e, 2003.
pdf
ps
|
| | |
| [CSR-02-12] |
P.J.L. Cuijpers, M.A. Reniers and W.P.M.H. Heemels.
Hybrid Transition Systems.
Computer Science Reports 02-12,
Department of Computer Science, TU/e, 2002.
pdf
ps
|
| | |
| [CSR-02-10] |
J.C.M. Baeten, C.A. Middelburg, and M.A. Reniers.
A New
Equivalence for Processes with Timing -- With an
Application to Protocol Verification.
Computer Science Reports 02-10,
Department of Computer Science,
TU/e, 2002.
pdf
ps
|
| | |
| [CSR-02-09] |
M.R. Mousavi, A.A. Basten, M.A. Reniers, M.R.V. Chaudron, G. Russello.
Separating Functionality, Behavior and Timing in the Design
of Reactive Systems: (GAMMA + Coordination) + Time.
Computer Science Reports 02-09,
Department of Computer Science,
TU/e, 2002.
pdf
|
| | |
| [CSR-02-04] |
P.J.L. Cuijpers and M.A. Reniers.
Topological (Bi-)Simulation.
Computer Science Reports 02-04,
Department of Computer Science,
TU/e, 2002.
pdf
|
| | |
| [CECS-02-01] |
M.R. Mousavi, G. Russello, M.R.V. Chaudron, M.A. Reniers,
A.A. Basten, A. Corsaro, S. Shukla, R. Gupta and D.C. Schmidth.
Aspects + GAMMA = AspectGAMMA: A formal framework for aspect-oriented specification.
Technical Report CECS-02-01, Center for Embedded Computer Systems,
University of California at Irvine, April, 2002.
pdf
|
| | |
| [CSR-01-05] |
D.K. Hammer, J. Hooman, M.A. Reniers, O. van Roosmalen, and A. Sintotski.
Design of the mine pump control system.
Computer Science Reports 01-05,
Department of Computer Science,
TU/e, 2001.
pdf
|
| | |
| [CSR-01-04] |
P.J.L. Cuijpers, M.A. Reniers, and A.G. Engels.
Beyond Zeno-behaviour.
Computer Science Reports 01-04,
Department of Computer Science,
TU/e, 2001.
pdf
|
| | |
| [SEN-R0034] |
J.F. Groote, M.A. Reniers, J. van Wamel, and M.B. van der Zwaag.
Completeness of Timed mCRL.
Report SEN-R0034, Cluster Software Engineering, Centrum voor Wiskunde
en Informatica, November 2000.
pdf
|
| | |
| [CSR-00-13] |
J.C.M. Baeten and M.A. Reniers.
Termination in Timed Process Algebra.
Computing Science Reports 00-13,
Department of Computing Science,
Eindhoven University of Technology, 2000.
pdf
ps
|
| | |
| [CSR-00-12] |
S. Mauw, M.A. Reniers, and T.A.C. Willemse.
Message Sequence Charts in the Software Engineering Process.
Computing Science Reports 00-12,
Department of Computing Science,
Eindhoven University of Technology, 2000.
pdf
ps
|
| | |
| [CSR-00-05] |
J.F. Groote and M.A. Reniers.
Algebraic Process Verification.
Computing Science Reports 00/05,
Department of Computing Science,
Eindhoven University of Technology, 2000.
pdf
ps
|
| | |
| [CSR-00-03] |
S. Mauw and M.A. Reniers.
A process algebra for Interworkings.
Computing Science Reports 00/03,
Department of Computing Science,
Eindhoven University of Technology, 2000.
pdf
ps
|
| | |
| [CSR-97-11] |
A. Engels, S. Mauw and M.A. Reniers.
A Hierarchy of Communication Models for Message Sequence Charts.
Computing Science Reports 97-11,
Department of Computing Science,
Eindhoven University of Technology, 1997.
pdf
ps
|
| | |
| [CSR-96-19] |
M.A. Reniers.
Static Semantics of Message Sequence Charts.
Computing Science Reports 96-19,
Department of Computing Science,
Eindhoven University of Technology, 1996.
pdf
ps
|
| | |
| [RWB-510-ir-95048] |
M.A. Reniers.
Evaluation of the SDT Validator.
Technical Report IST RWB-510-ir-95048, Philips, 1996.
|
|
| | |
| [CSR-96-15] |
M.A. Reniers and J.J. Vereijken.
Completeness in Discrete-Time Process Algebra.
Computing Science Reports 96-15,
Department of Computing Science,
Eindhoven University of Technology, 1996.
pdf
ps
|
| | |
| [CSR-96-14] |
S.H.J. Bos and M.A. Reniers.
The I2C-bus in Discrete-Time Process Algebra.
Computing Science Reports 96-14,
Department of Computing Science,
Eindhoven University of Technology, 1996.
pdf
ps
|
| | |
| [CSR-95-12] |
S. Mauw and M.A. Reniers.
Empty Interworkings and Refinement: Semantics of Interworkings Revised.
Computing Science Notes 95-12,
Department of Computing Science,
Eindhoven University of Technology, 1995.
pdf
ps
|
| | |
| [CSN-94-23] |
S. Mauw and M.A. Reniers.
An algebraic semantics of Message Sequence Charts.
Computing Science Notes 94-23,
Department of Computing Science,
Eindhoven University of Technology, 1994.
pdf
ps
|
| | |
| [CSN-94-17] |
S. Mauw and M.A. Reniers.
An algebraic semantics of Basic Message Sequence Charts.
Computing Science Notes 94-17,
Department of Computing Science,
Eindhoven University of Technology, 1994. pdf
ps
|