2010 |
L. Aceto, A. Birgisson, A. Ingolfsdottir, M.R. Mousavi and M.A. Reniers.
Rule Formats for Determinism and Idempotence.
Science of Computer Programming, 2010.
doi
|
| | |
|
Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel A. Reniers.
A Rule Format for Unit Elements.
In Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokornı, Bernhard Rumpe,
editors,
SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and
Practice of Computer Science, Spindleruv Mlın, Czech Republic,
January 23-29, 2010, pages 141-152. Lecture Notes in Computer Science, volume 5901, Springer 2010.
doi
|
| | |
|
Michel A. Reniers and Tim A.C. Willemse.
Analysis of Boolean Equation Systems through Structure Graphs.
Electronic Proceedings in Theoretical Computer Science, 18:92-107, 2010.
Proceedings Sixth Workshop on
Structural Operational Semantics
Bologna, Italy, August 31, 2009.
Edited by: Bartek Klin and Pawel Sobocinski.
doi
|
| | |
2009 |
L. Aceto, A. Birgisson, A. Ingolfsdottir, M.R. Mousavi and M.A. Reniers.
Rule Formats for Determinism and Idempotency.
In, Farhad Arbab and
Marjan Sirjani, editors, Fundamentals of Software Engineering, Third IPM International
Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009,
Revised Selected Papers, pages 146-161.
Lecture Notes in Computer Science, volume 5961, Springer, 2010.
doi
|
| | |
|
F.P.M. Stappers and M.A. Reniers.
Verification of safety requirements for program code using data abstraction.
Electronic Communications of the EASST,
23, 2009.
Proceedings of the Ninth International Workshop on
Automated Verification of Critical Systems (AVoCS 2009),
Swansea, UK, September 23-25, 2009.
|
| | |
|
Maarten Damen, Wouter Geurts and Michel Reniers.
Testing based Modelling,
De 15e Nederlandse Testdag, November 4, 2009, Eindhoven, The Netherlands.
|
| | |
|
M.A. Reniers.
Behavioural visualization of model based systems,
Presentation at QA & Test 2009,
8th International Conference on Software QA and Testing
on Embedded Systems,
21-22-23 October - Bilbao, Spain.
|
| | |
|
Luca Aceto, Anna Ingolfsdottir, MohammadReza Mousavi and Michel A. Reniers.
Algebraic Properties for Free!
In: The Concurrency Column (L. Aceto, editor),
Bulletin of the EATCS, 99:81-104, October 2009. EATCS.
|
| | |
|
M.A. Reniers and T.A.C. Willemse.
Analysis of Boolean Equation Systems
through Structure Graphs.
In Bartek Klin and Pawel Sobocinski, editors,
Structural Operational Semantics (SOS'09),
Preliminary Proceedings, Bologna, Italy. August 31, 2009, pages 94-108.
|
| | |
|
Muck van Weerdenburg and Michel Reniers.
Structural Operational Semantics with First-Order Logic.
Electronic Notes in Theoretical Computer Science,
229(4):85-106, August 6, 2009.
Proceedings of the Fifth Workshop on Structural
Operational Semantics (SOS 2008),
Rejkjavik, Iceland, July 6, 2008.
Edited by M. Hennessy and B. Klin.
doi
|
| | |
|
D.A. van Beek, M.A. Reniers, J.E. Rooda, and R.R.H. Schiffelers. Interchange formats and tool integration.
In Jan Lunze and Françoise Lamnabhi-Lagarrigue, editors,
Handbook of Hybrid Systems Control: Theory, Tools, Applications, Chapter 12, pages 361-374, 2009, Cambridge University Press.
|
| | |
|
Frank P.M. Stappers, Lou J.A.M. Somers, and Michel A. Reniers.
La modélisation multidisciplinaire: État d'avancements et attentes du projet néerlandais TWINS.
Génie Logiciel, 88:26-35, March 2009.
|
| | |
| MohammadReza Mousavi, Iain Phillips, M.A. Reniers, and Irek Ulidowski.
Semantics and Expressiveness of Ordered SOS.
Information and Computation, 207:85-119, March 3, 2009.
doi |
| | |
|
Jan Friso Groote, Aad Mathijssen, Michel A. Reniers, Yaroslav S.
Usenko and Muck van Weerdenburg.
Analysis of Distributed Systems with mCRL2.
In M. Alexander and W. Gardner, editors, Process Algebra for Parallel and Distributed Processing
, Chapter 4, pages 99-128, CRC Press, 2009.
|
| | |
|
MohammadReza Mousavi, Michel A. Reniers, Twan Basten, and Michel Chaudron.
PARS: A Process Algebraic
Approach to Resources and
Schedulers.
In M. Alexander and W. Gardner, editors, Process Algebra for Parallel and Distributed Processing
, Chapter 10, pages 331-358, CRC Press, 2009. |
| | |
2008 |
F.P.M. Stappers, L.J.A.M. Somers, and M.A. Reniers.
Multidisciplinary modelling: Current status and expectations in the Dutch TWINS consortium.
In Proceedings of 21st International Conference on Software and Systems Engineering and their Applications (ICSSEA 2008),
Paris, France, December 9-11, 2008.
|
| | |
|
Sjoerd Cranen, MohammadReza Mousavi, and Michel A. Reniers.
A Rule Format for Associativity.
In Franck van Breugel and Marsha Chechik, editors,
CONCUR 2008 - Concurrency Theory, 19th International Conference,
CONCUR 2008, Toronto, Canada, August 19-22, 2008, pages 447-461.
Lecture Notes in Computer Science, volume 5201, Springer, 2008.
doi
|
| | |
|
Muck van Weerdenburg and Michel Reniers.
Structural Operational Semantics with First-Order Logic.
In Matthew Hennessy and Bartek Klin, editors,
Structural Operational Semantics (SOS'08),
Preliminary Proceedings, Reykjavik, Iceland. July 6, 2008, pages 48-62.
|
| | |
|
F.P.M. Stappers, L.J.A.M. Somers and M.A. Reniers.
Multidisciplinary Modelling in the Netherlands.
In Davide Falessi and Jens Heidrich, editors, Product Focused Software Process Improvement
(PROFES 2008), Short Paper Session Proceedings, Frascati, Rome, Italy, June 23-25, 2008,
pages 25-28. ISBN: 978-88-95244-13-6
|
| | |
|
D.A. van Beek, M.A. Reniers, J.E. Rooda, and R.R.H. Schiffelers.
Concrete syntax and semantics of the compositional
interchange format for hybrid systems. In
The 17th IFAC World Congress
(IFAC '08)
, Seoul, Korea. July 11-16, 2008.
|
| | |
|
P.J.L. Cuijpers and M.A. Reniers.
Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions.
In M. Egerstedt and B. Mishra, editors, 11th International Conference
on Hybrid Systems: Computation and Control (HSCC'08), St. Louis, USA, April 22-24, 2008, pages 116–129.
Lecture Notes in Computer Science, volume 4981, Springer, 2008.
doi
|
| | |
| Jan Friso Groote, Michel A. Reniers, and Yaroslav S. Usenko.
Verification of Networks of Timed Automata using mCRL2.
In 22nd IEEE International Symposium on Parallel and Distributed
Processing (IPDPS 2008), Miami, Florida, USA. April 14-18, 2008, pages 1-8. IEEE
doi
|
| | |
|
J.C.M. Baeten, D.A. van Beek, P.J.L. Cuijpers, M.A. Reniers, J.E. Rooda, R.R.H. Schiffelers and R.J.M. Theunissen.
Model-based engineering of embedded systems using the hybrid process algebra Chi.
Electronic Notes in Theoretical Computer Science,
209:21-53, April 24, 2008. Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006)
Paris, France, November 13-15, 2006.
Edited by C. Palamidessi and F.D. Valencia.
doi
|
| | |
2007 |
M.R. Mousavi and M.A. Reniers.
A Congruence Rule Format with Universal Quantification.
Electronic Notes in Theoretical Computer Science,
192(1):109-124, November 8, 2007. Proceedings of the Fourth Workshop on Structural
Operational Semantics (SOS 2007),
Wroclaw, Poland, July 9, 2007.
Edited by R.J. van Glabbeek and M. Hennessy.
doi |
| | |
|
D.A. van Beek, A.T. Hofkamp, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers.
Co-simulation of Chi and Simulink models.
Proceedings of the Sixth EUROSIM Congres on Modelling and Simulation, Ljubljana, Slovenia, September 9 - 13, 2007.
|
|
|
| | |
|
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, Proceedings of International Symposium on Fundamentals of Software Engineering (FSEN 2007), Tehran, Iran, April
17-19, 2007, Tehran, Iran, April 17-19, 2007, pages 287-301.
Lecture Notes in Computer Science, volume 4767, 2007, Springer.
doi
|
|
|
| | |
|
K. Klai, L. Petrucci, and M.A. Reniers.
An Incremental and Modular Technique for checking LTL\X properties of Petri nets.
In J. Derrick and J. Vain, editors, Proceedings of 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2007), Tallinn, Estonia, June 27-29, 2007, pages 280-295.
Lecture Notes in Computer Science, Vol. 4574, 2007, Springer.
doi
|
|
|
| | |
|
M.R. Mousavi, M.A. Reniers. On Well-Foundedness and Expressiveness of Promoted Tyft:
Being Promoted Makes a Difference.
Electronic Notes in Theoretical Computer Science,
175(1):45-56, May 14, 2007. Proceedings of the Third Workshop on Structural
Operational Semantics (SOS 2006),
Bonn, Germany, August 26, 2006.
Edited by R.J. van Glabbeek and P.D. Mosses.
doi |
| | |
|
D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers.
Relating Hybrid Chi to other formalisms.
Electronic Notes in Theoretical Computer Science,
191:85-113, October 2007.
Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference (IFM 2005)
Eindhoven, The Netherlands
29 November 2005
Edited by J. Romijn, G. Smith and J. van de Pol
doi |
|
|
| | |
|
D.A. van Beek, M.A. Reniers, R.R.H. Schiffelers and J.E. Rooda.
Foundations of a Compositional Interchange Format for Hybrid Systems.
In A. Bemporad, A. Bicchi, and G. Buttazzo, editors, 10th International Conference
on Hybrid Systems: Computation and Control (HSCC'07), April 3-5 2007,
Pisa, Italy, pages 587-600.
Lecture Notes in Computer Science, volume 4416, 2007, Springer.
doi
|
| | |
|
J.F. Groote, A.H.J. Mathijssen, M.A. Reniers, Y.S. Usenko, and M.J. van Weerdenburg.
The Formal Specification Language mCRL2.
In E. Brinksma, D. Harel, A. Mader, P. Stevens, and R. Wieringa, editors,
Methods for Modelling Software Systems (MMOSS),
number 06351 in Dagstuhl Seminar Proceedings, 2007.
pdf
|
| | |
|
M.R. Mousavi, M.A. Reniers and J.F. Groote.
SOS Formats and Meta-Theory: 20 Years After.
Theoretical Computer Science,
373(3):238-272, April 2007.
doi
|
| | |
|
J.C.M. Baeten and M.A. Reniers.
Duplication of Constants in Process Algebra.
Journal of Logic and Algebraic Programming,
70(2):151-171, February 2007.
doi
|
| | |
2006 |
M.R. Mousavi, I.C.C. Phillips, M.A. Reniers, and I. Ulidowski.
The Meaning of Ordered SOS.
In S. Arun-Kumar and N. Garg, editors, Proceedings of the 26th Conference
on Foundations of Software Technology and
Theoretical Computer Science (FSTTCS'06) , Kolkata, India, pages 334-345.
Lecture Notes in Computer Science, volume 4337, 2006, Springer-Verlag.
doi
|
| | |
|
J.F. Groote, M.A. Reniers and Y.S. Usenko.
Discretization of Timed Automata in Timed mCRL à la Regions and Zones.
Electronic Notes in Theoretical Computer Science,
162:197-202, September 2006. Proceedings of the Workshop
"Essays on Algebraic Process Calculi" (APC 25)
Bertinoro, Italy
01-05 August 2005
Edited by L. Aceto and A.D. Gordon.
doi |
| | |
|
P.J.L. Cuijpers and M.A. Reniers.
Topological Aspects of Hybrid Processes: a proposed treatment
using non-standard analysis.
Electronic Notes in Theoretical Computer Science,
162:153-158, September 2006. Proceedings of the Workshop
"Essays on Algebraic Process Calculi" (APC 25)
Bertinoro, Italy
01-05 August 2005
Edited by L. Aceto and A.D. Gordon.
doi |
| | |
|
M.R. Mousavi, M.A. Reniers. On Well-Foundedness and Expressiveness of Promoted Tyft.
In R.J. van Glabbeek and P.D. Mosses, editors,
Preliminary Proceedings of the 3rd Workshop on Structural Operational Semantics (SOS'06),
Bonn, Germany, 26th August 2006, pages 13-24, August 2006.
pdf
|
| | |
|
D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers.
Deriving Simulators for Hybrid Chi Models.
IEEE Internaational Symposium on Computer-Aided Control Systems Design (CACSD'07), October 4-6, 2006,
Munich, Germany.
pdf
|
| | |
|
P.J.L. Cuijpers and M.A. Reniers.
Modelling an Impact control Strategy using HyPA.
In C.G. Cassandras, A. Giua, C. Seatzu, and J. Zaytoon, editors,
Second IFAC Conference on Analysis and
Design of Hybrid Systems 2006, Alghero, Italy, June 7-9, 2006, pages 56-63.
pdf
|
| | |
|
M.R. Mousavi and M.A. Reniers.
Prototyping SOS Meta-theory in Maude.
Electronic Notes in Theoretical Computer Science,
156(1):135-150, May 15, 2006.
Proceedings of the Second Workshop on Structural Operational
Semantics (SOS 2005),
Lisbon, Portugal, 10 July 2005.
Edited by P. Mosses and I. Ulidowski.
doi |
| | |
|
J.F. Groote, M.R. Mousavi and M.A. Reniers.
A hierarchy of SOS rule formats.
Electronic Notes in Theoretical Computer Science,
156(1):3-25, May 15, 2006.
Proceedings of the Second Workshop on Structural Operational
Semantics (SOS 2005),
Lisbon, Portugal, 10 July 2005.
Edited by P. Mosses and I. Ulidowski.
doi |
| | |
|
J.F. Groote, M.A. Reniers and Y.S. Usenko.
Time Abstraction in Timed mCRL à la Regions.
20th International Parallel and
Distributed Processing Symposium 2006 (IPDPS'06).
Island of Rhodes, Greece,
April 25-26, 2006.
doi
pdf
|
| | |
|
P.C.W. van den Brand, M.A. Reniers and P.J.L. Cuijpers.
Linearization of Hybrid Processes.
Journal of Logic and Algebraic Programming,
68(1-2):54-104, June-July 2006.
Special issue on Process Theory for Hybrid Systems.
doi
|
| | |
|
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.
Journal of Logic and Algebraic Programming,
68(1-2):129-210, June-July 2006.
Special issue on Process Theory for Hybrid Systems.
doi
|
| | |
|
D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers.
Formal verification of Chi models using PHAVer.
In I. Troch and F. Breitenecker, editors,
Proceedings of the Fifth MATHMOD Conference,
February 8 - 10, 2006.
Vienna University of Technology
Vienna, Austria, February 2006.
Published in the series ARGESIM-Reports with ISBN 3-901608-25-7.
pdf
|
|
|
| | |
2005 |
J.C.M. Baeten, M.R. Mousavi and M.A. Reniers.
Timing the Untimed: Terminating Successfully while Being Conservative.
In A. Middeldorp, V. van Oostrom, F. van Raamsdonk and R. de Vrijer, editors,
Processes, Terms and Cycles: Steps on the Road to Infinity,
Essays Dedicated to Jan Willem Klop on the Occasion of His 60th Birthday, pages 251 - 279.
Lecture Notes in Computer Science, volume 3838, 2005, Springer-Verlag Berlin Heidelberg, 2005.
doi
|
| | |
|
M.R. Mousavi, M.J. Gabbay and M.A. Reniers.
SOS for Higher Order Processes.
In M. Abadi and L. de Alfaro, editors, CONCUR 2005, 16th International Conference on Concurrency Theory,
San Francisco, CA, USA, August 23-26, 2005, pages 308-322.
Lecture Notes in Computer Science, volume 3653, 2005, Springer-Verlag.
doi |
| | |
|
M.R. Mousavi and M.A. Reniers.
Orthogonal Extensions in Structural Operational Semantics.
In L. Caires, G.F. Italiano, L. Monteiro, C. Palamidessi and M. Yung, editors,
Automata, Languages and Programming, Proceedings of the 32th International Colloquium,
ICALP 2005,
Lisbon, Portugal, July 11-15, 2005, pages 1214-1225.
Lecture Notes in Computer Science, volume 3580, 2005, Springer-Verlag.
doi
|
| | |
|
J.F. Groote, M.A. Reniers and Y.S. Usenko.
Discretization of Timed Automata in Timed mCRL à la Regions and Zones.
In L. Aceto and A.D. Gordon, editors,
Short Contributions from the Workshop on Algebraic Process Calculi:
The First Twenty Five Years and Beyond PA'05,
Bertinoro, Forlì, Italy, August 1-5, 2005, pages 132-136.
BRICS Notes Series NS-05-03, June 2005.
pdf
|
|
|
| | |
|
P.J.L. Cuijpers and M.A. Reniers.
Topological Aspects of Hybrid Processes (a treatment using non-standard analysis).
In L. Aceto and A.D. Gordon, editors,
Short Contributions from the Workshop on Algebraic Process Calculi:
The First Twenty Five Years and Beyond PA'05,
Bertinoro, Forlì, Italy, August 1-5, 2005, pages 95-99.
BRICS Notes Series NS-05-03, June 2005.
pdf
|
|
|
| | |
|
M.R. Mousavi and M.A. Reniers.
Prototyping SOS Meta-theory in Maude.
In P.D. Mosses and I. Ulidowski, editors,
SOS 2005, Preliminary proceedings of the 2nd workshop on
Structural Operational Semantics,
Lisbon, Portugal, July 10, pages 123-138, 2005.
|
|
|
| | |
|
J.F. Groote, M.R. Mousavi and M.A. Reniers.
A hierarchy of SOS rule formats (preliminary).
In P.D. Mosses and I. Ulidowski, editors,
SOS 2005, Preliminary proceedings of the 2nd workshop on
Structural Operational Semantics,
Lisbon, Portugal, July 10, pages 1-18, 2005.
|
|
|
| | |
|
M.A. Reniers and Y.S. Usenko.
Analysis of timed processes with data using algebraic transformations.
In The 12th International Symposium
on Temporal Representation and Reasoning (TIME 2005),
Burlington, Vermont, USA, June 23-25, 2005, pages 192-194.
IEEE Computer Society.
doi
|
| | |
|
M.R. Mousavi, M.A. Reniers and J.F. Groote.
Notions of Bisimulation and Congruence Formats for SOS with Data.
Information & Computation, 200(1):107-147, 2005.
doi
|
| | |
|
K.L. Man, M.A. Reniers and P.J.L. Cuijpers.
Case Studies in the Hybrid Process Algebra HyPA.
International Journal of Software Engineering & Knowledge Engineering,
15(2):299-305, 2005. Special issue with papers from International Embedded and Hybrid Systems Conference
(IEHSC 2005), Singapore, May 10-13, 2005.
doi
|
| | |
|
M.R. Mousavi and M.A. Reniers.
Congruence for Structural Congruence.
In V. Sassone, editor, Foundations of Software
Science and Computational Structures (FOSSACS 2005),
Edinburg, Scotland, April 2-10, 2005, pages 47-62.
Lecture Notes in Computer Science, volume 3441, 2005, Springer-Verlag.
doi
|
| | |
|
M.R. Mousavi, M.A. Reniers and J.F. Groote.
A Syntactic Commutativity Format for SOS.
Information Processing Letters, 93(5):217-223,
March 2005.
doi |
| | |
|
P.J.L. Cuijpers and M.A. Reniers.
Hybrid Process Algebra.
Journal of Logic and Algebraic Programming, 62(2):191-245.
February 2005.
doi
|
| | |
2004 |
P.J.L. Cuijpers and M.A. Reniers.
Topological (Bi-)Simulation.
Electronic Notes in Theoretical Computer Science,
100:49-64, October 2004.
T. Hildebrandt et al., editors, Proceedings Fifth Workshop on
Geometric and Topological Methods in Concurrency (GETCO 2003, Marseille, France).
|
|
| | |
|
J.C.M. Baeten and M.A. Reniers.
Timed Process Algebra (with a Focus on Explicit Termination
and Relative-Timing).
In M. Bernardo and F. Corradini, editors, Formal Methods
for the Design of Real-Time Systems,
International School on Formal methods for the Design of Computer,
Communication, and Software Systems, SFM-RT 2004, Betinoro, Italy,
September 2004, pages 59-97.
Lecture Notes in Computer Science 3185, Springer-Verlag.
pdf
doi |
|
| | |
|
R.R.H. Schiffelers, D.A. van Beek, K.L. Man, M.A. Reniers, J.E. Rooda.
Formal Semantics of Hybrid Chi.
In K.G. Larsen and P. Niebert, editors, Formal Modeling and Analysis of Timed
Systems: First International Workshop, FORMATS 2003, Marseille, France,
September 6-7, 2003, Revised Papers, pages 151-165.
Lecture Notes in Computer Science, volume 2791, 2004, Springer-Verlag.
pdf |
| | |
|
M.R. Mousavi, M.A. Reniers, A.A. Basten, M.R.V. Chaudron.
PARS: A Process Algebra with Resources and Schedulers.
In K.G. Larsen and P. Niebert, editors, Formal Modeling and Analysis of Timed
Systems: First International Workshop, FORMATS 2003, Marseille, France,
September 6-7, 2003, Revised Papers, pages 134-150.
Lecture Notes in Computer Science, volume 2791, 2004, Springer-Verlag.
pdf |
| | |
|
M.R. Mousavi, M.A. Reniers and J.F. Groote.
Congruence for SOS with data.
In Proceedings of the 19th Annual IEEE Symposium on Logic
in Computer Science (LICS 2004),Turku, Finland, July 13-17, 2004, pages 303-312.
IEEE Computer Society.
doi
CSR-04-05
|
| | |
|
W.J. Fokkink, J.F. Groote and M.A. Reniers.
Process algebra needs proof methodology,
The Concurrency Column (L. Aceto, editor),
Bulletin of the EATCS, 82:108-125, February 2004. EATCS.
pdf |
| | |
2003 |
J.J.T. Kleijn, M.A. Reniers and J.E. Rooda.
Analysis of an Industrial System.
Formal Methods in System Design, 22(3):249-282, May 2003.
pdf |
| | |
|
D.A. van Beek, N. G. Jansen, K.L. Man, M.A. Reniers, J.E. Rooda and R.R.H. Schiffelers.
Relating Chi to Hybrid Automata.
In S. Chick, P. Sánchez, D. Ferrin, and D.J. Morrice, editors,
Proceedings of the 35th Conference on Winter Simulation: Driving Innovation,
New Orleans, Louisiana, USA,
December 7-10, 2003, pages 632-640.
pdf |
| | |
|
M.R. Mousavi, M.A. Reniers, T. Basten and M.R.V. Chaudron.
Separation of Concerns in the Formal Design of Real-Time Shared
Data-Space Systems.
In J. Lilius, F. Balarin and R.J. Mchado, editors, Third International Conference on Application
of Concurrency to System Design (ACSD 2003),
Guimarães, Portugal, June 18-20, 2003, pages 71-81.
IEEE Computer Society Press.
pdf
ps |
| | |
|
R.R.H. Schiffelers, D.A. van Beek, K.L. Man, M.A. Reniers and J.E. Rooda.
A hybrid language for modelling, simulation and verification.
In S. Engell, H. Guéguen and J. Zaytoon, editors,
IFAC
Conference on Analysis and Design of Hybrid Systems (ADHS03),
Saint-Malo, Brittany, France, June 16-18, 2003, pages 235-240.
Elsevier Science Ltd.
pdf
ps |
| | |
|
P.J.L. Cuijpers and M.A. Reniers.
Topological (Bi-)Simulation.
In P. Cousot et al., editors,
Preliminary Proceedings of the Workshop on Geometry
and Topology in Concurrency Theory (GETCO 2003), Marseilles,
France, September 6, 2003, pages 1-15. Volume BRICS-NS-03-1 of BRICS Notes Series.
pdf |
| | |
2002 |
A.G. Engels, S. Mauw and M.A. Reniers.
A hierarchy of communication models for Message Sequence Charts.
Science of Computer Programming, 44(3):253-292, September 2002.
pdf |
| | |
|
M.A. Reniers, J.F. Groote, M.B. van der Zwaag, and J. van Wamel.
Completeness of Timed mCRL.
Fundamenta Informaticae, 50(3-4):361-402, April-May 2002.
pdf
ps |
| | |
|
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.
Using Aspect-GAMMA in Design of Embedded Systems,
Proceedings of the Seventh Annual IEEE International Workshop on High Level Design, Verification and Testing (HLDVT'02),
Cannes, France, October 27-29, 2002, pages 69-75.
IEEE Computer Society Press, Los Alamitos CA, USA
pdf
ps |
| | |
|
P.J.L. Cuijpers, A. Juloski, , M.A. Reniers, W.P.M.H. Heemels, J.F. Groote, and P. van den Bosch.
Analysis and Synthesis of Systems with Discrete and Continuous Control,
Third Progress Workshop on Embedded Systems, Networked Embedded Systems Everywhere,
Utrecht, The Netherlands, October 24, 2002, pages 28-33. STW Technology Foundation.
pdf |
| | |
|
M.R. Mousavi, G. Russello, M.R.V. Chaudron, A.A. Basten, M.A. Reniers.
Separation of Quality Concerns in the Development of Distributed
Real-time Systems,
Third Progress Workshop on Embedded Systems, Networked Embedded Systems Everywhere,
Utrecht, The Netherlands, October 24, 2002, pages 124-127. STW Technology Foundation.
pdf |
| | |
|
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.
Early Aspects: Aspect-Oriented Requirements Engineering and
Architecture Design, Enschede, The Netherlands, 2002.
pdf
ps |
| | |
2001 |
S. Mauw, M.A. Reniers, and T.A.C. Willemse.
Message Sequence Charts in the Software Engineering Process.
In S.K. Chang, editor, Handbook of
Software Engineering & Knowledge Engineering, Vol. 1 Fundamentals,
pages 437-463, World Scientific Publishing Co. Pte. Ltd., December 2001.
CSR-00-12 |
| | |
|
S. Mauw and M.A. Reniers.
A process algebra for Interworkings.
In J.A. Bergstra, A. Ponse and S.A. Smolka, editors, Handbook of
Process Algebra. Chapter 19, pages 1269-1327, Elsevier Science
B.V., March 2001.
CSR-00-03 |
| | |
|
J.F. Groote and M.A. Reniers.
Algebraic Process Verification
In J.A. Bergstra, A. Ponse and S.A. Smolka, editors, Handbook of
Process Algebra. Chapter 17, pages 1151-1208, Elsevier Science
B.V., March 2001.
CSR-00-05 |
| | |
2000 |
J.C.M. Baeten, J.A. Bergstra and M.A. Reniers.
Discrete Time Process Algebra with Silent Step.
In G. Plotkin, C. Stirling and M. Tofte, editors,
Proof, Language, and Interaction: Essays in Honour
of Robin Milner.Chapter 18, pages 535 - 569.
MIT Press, May 2000.
pdf
ps |
| | |
1999 |
S. Mauw and M.A. Reniers.
Operational Semantics for MSC'96.
Computer Networks and ISDN Systems, 31(17):1785-1799, 1999.
Elsevier Science B.V.
pdf |
| | |
|
M.A. Reniers.
Message Sequence Chart: Syntax and Semantics.
PhD Thesis, Eindhoven University of Technology,
June 1999.
pdf
ps |
| | |
1998 |
J.J.T. Kleijn, M.A. Reniers and J.E. Rooda.
A Process Algebra Based Verification of a Production System.
In J. Staples, M.G. Hinchley and S. Liu, editors,
Second IEEE International Conference on Formal Engineering Methods (ICFEM'98),
Brisbane, Australia, December 9-11, 1998, pages 90-99.
IEEE Computer Society Press.
pdf
ps |
| | |
|
ITU-TS.
ITU-TS Recommendation Z.120 Annex B: Semantics of Message Sequence Charts.
ITU-TS, Geneva, April, 1998.
|
| | |
1997 |
L.M.G. Feijs and M.A. Reniers.
Lazy Functional Programs in a Concurrent Environment.
The Computer Journal, 40(9):572-584, 1997.
pdf
ps |
| | |
|
S.H.J. Bos and M.A. Reniers.
The I2C-bus in Discrete-Time Process Algebra.
Science of Computer Programming, 29(1-2):235-258, 1997.
Special issue on COST 247, Verification and Validation Methods for Formal Descriptions.
Guest editors: J.F. Groote and M. Rem.
pdf
ps |
| | |
|
A. Engels, S. Mauw and M.A. Reniers.
A Hierarchy of Communication Models for Message Sequence Charts.
In T. Mizuno, N. Shiratori, T. Higashino and A. Togashi, editors,
Formal Description Techniques and Protocol Specification, Testing
and Verification, Proceedings of FORTE X and PSTV XVII '97,
Osaka, Japan, 18-21 November, 1997, pages 75-90. Chapman & Hall.
pdf
ps |
| | |
|
S. Mauw and M.A. Reniers.
High-Level Message Sequence Charts.
In A. Cavalli and A. Sarma, editors,
SDL'97: Time for Testing - SDL, MSC and Trends,
Proceedings of the Eighth SDL Forum,
Evry, France, 23-26 September, 1997, pages 291-306.
Elsevier Science Publishers B.V.
pdf
ps |
| | |
|
S. Mauw and M.A. Reniers.
Operational Semantics for MSC'96.
In A. Cavalli and D. Vincent, editors,
Tutorials of the Eighth SDL Forum SDL'97: Time for Testing - SDL, MSC and
Trends, Evry, France, September 22, 1997, pages 135-152.
Institut national des télécommunications.
pdf
ps |
| | |
1996 |
S. Mauw and M.A. Reniers.
Refinement in Interworkings.
In U. Montanari and V. Sassone, editors, CONCUR'96,
Proceedings of the Seventh Conference on Concurrency Theory, Pisa, Italy,
1996, pages 671-686.
Lecture Notes in Computer Science, volume 1119.
Springer-Verlag.
pdf
ps |
| | |
|
ITU-TS.
ITU-TS Recommendation Z.120 Annex C: Syntax Requirements of Message Sequence Charts.
ITU-TS, Geneva, 1996.
CSR-96-19
|
| | |
1995 |
ITU-TS.
ITU-TS Recommendation Z.120 Annex B: Algebraic semantics of
Message Sequence Charts.
ITU-TS, Geneva, 1995.
CSN-94-23
|
| | |
|
S. Mauw and M.A. Reniers.
Reply to comments on a proposed semantics for BMSCs.
The Computer Journal, 37(9), January 1995.
pdf
ps |
| | |
|
M.A. Reniers.
Syntax requirements of Message Sequence Charts.
In R. Braek and A. Sarma, editors,
SDL'95 with MSC in CASE,
Proceedings of the Seventh SDL Forum, Oslo, Norway, 1995, pages 63-74.
Elsevier Science Publishers B.V.
pdf
ps |
| | |
|
S. Mauw and M.A. Reniers.
Empty interworkings and refinement - semantics of interworkings revised.
In A. Ponse, C. Verhoef and S.F.M. van Vlijmen, editors,
ACP95 , Proceedings of the Second Workshop on Algebra of Communicating
Processes, Computing Science Reports 95-14,
Department of Computing Science,
Eindhoven University of Technology, 1995, pages 367-385.
pdf
ps |
|
1994 |
S. Mauw and M.A. Reniers.
An algebraic semantics of Basic Message Sequence Charts.
The Computer Journal, 37(4):269-277, 1994.
pdf
ps
|
