publications & professional activities

Michel R. V. Chaudron DBLP

 

scientific journals

1.                   A Visualization Framework for Task-Oriented Modeling using UML, Christian F.J. Lange, Martijn A.M. Wijns, and Michel R.V. Chaudron, in Journal of Visual Languages and Computing (Elsevier) Special Issue on "Visual Interactions in Software Artifacts", Vol 18 (4): pp. 399-419, 2007.

 

2.                   A language-based access control approach for component-based software applications, R. Su, J.J. Lukkien and M.R.V. Chaudron,
IET Software, Vol. 1(5), pp. 40-48, October 2007.

 

3.                   Adaptive runtime fault management for service instances in component-based software applications, R. Su, M.R.V. Chaudron and J.J. Lukkien, accepted by IET Software, January 7, 2007.

 

4.                   In practice: UML software architecture and design description,
Christian F.J. Lange, Michel R. V. Chaudron, Johan Muskens, IEEE Software, March-April 2006, Vol. 23, No: 2, pp. 40 - 46.

 

5.                   Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space, G. Russello, M.R.V. Chaudron, M. van Steen, Science of Computer Programming, Vol. 64, No. 2, January 2007.

 

6.                   Component-based Development Process and Component Lifecycle,
I. Crnkovic, S. Larsson and M.R.V. Chaudron, Journal of Computing and Information Technology - CIT Vol. 13, No. 4,  pp. 321-327,  2005

 

7.                   Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System - Revisiting Seven Myths of Formal Methods, Jan Tretmans, Klaas Wijbrans, Michel Chaudron, Formal Methods in System Design, Vol. 19, No. 2, September 2001, pp. 195-215.

 

8.                   The Formal Derivation of Parallel Triangular System Solvers using a Coordination-based Design Method, Parallel Computing, M.R.V. Chaudron, A. van Duin, Vol. 24, No. 7, pp 1005-1021, 1998.

 

professional journals

 

  1. ActiveLink: An embedded systems solution for generic cross-platform communication, Bernard M. Venemans, Michel Chaudron, and Harro S. Jacobs, PT Embedded Systems, November 2001

  2. Naar een evenwichtige verdeling in reisinformatie, B. Kleiss, P. Van Koningsbruggen, M.R.V. Chaudron, Verkeerskunde 6, juni 1998

  3. GSpace maakt omgeving intelligent met gedistribueerde data, Ibrahim Bokharous, Michel Chaudron, Giovanni Russello, Bits & Chips, 7e jaargang, nr. 5, 17 maart 2005.

 

books

1.      Component Based Software Engineering, M.R.V. Chaudron and Ivica Crnkovic, work-in-progress/under construction.

 

chapters  in books

1.       PARS: A Process Algebra with Resources and Schedulers, M.Mousavi, T. Basten, M. Reniers, M. Chaudron,  in Process Algebra for Parallel and Distributed Processing: Algebraic Languages in Specification-Based Software Development,  M. Alexander and W. Gardner (eds),  Computational Science Series by
Chapman and Hall/CRC, 2008.

2.      Component-based Software Engineering, with Ivica Crnkovic and Hans van Vliet in Software Engineering; Principles and Practice, Hans van Vliet, Wiley, 2008.

3.      Quality Assurance in Model-based Software Development, A. Nugroho, M.R.V. Chaudron, in Model-Driven Software Development: Integrating Quality Assurance, J. Reich and C. Bunse (eds), Premier Reference Sources series of Information Science Reference (Idea Group Reference), (to be published 2007).

4.       Runtime failure detection and adaptive repair for fault-tolerant component-based applications, R. Su, M.R.V. Chaudron and J.J. Lukkien, in Software Engineering of Fault Tolerant Systems, P. Pelliccione, H. Muccini, N. Guelfi, A. Romanovsky (eds), World Scientific Publishing, Series on Software Engineering and Knowledge Engineering (2007)

5.       Schedules for Multiset Transformer Programs, M.R.V. Chaudron, in: Coordination Programming: Mechanisms, Models and Semantics, J.-M. Andreoli, C. Hankin and D. Le Metayer (eds), Imperial College Press, 1996 (based on TR 94-36, Department of Computer Science, Leiden University)

6.       Component Models for Dependable Systems, J. Muskens, M.R.V. Chaudron, J. Lukkien, in: Embedded System Development with Components, Atkinson et.al (ed), 2005, Springer.

7.      Component-based Software Engineering en Hergebruik, ICT Zakboek, Reed Business Information (in progress), to be published 2006.

 

conferences

 

  1. Evaluating RUP Software Development Processes Through Visualization of Effort Distribution, W. Heijstek and Michel R. V. Chaudron, 34th Euromicro Conference on Software Engineering and Advanced Applications (SPPI) Parma, Italy, 2008.

 

  1. An Empirical Study into Current Practices and Challenges in IT Project Portfolio Management, Egon Gleisberg, Hendrik Zondag, Michel R.V. Chaudron, 34th Euromicro Conference on Software Engineering and Advanced Applications (SPPI) Parma, Italy, 2008.

 

  1. Encrypted Shared Data Spaces, Giovanni Russello, Changyu Dong, Naranker Dulay, Michel Chaudron and Maarten Van Steen, 10th international conference on Coordination Models and Languages (Coordination'08), June 4-6, Oslo, Norway, LNCS.

  2. COTS Selection Best Practices in Literature and in Industry, Rikard Land, Laurens Blankers, Ivica Crnkovic, Michel Chaudron, 10th International Conference on Software Reuse, 25 - 29 May 2008, Beijing China.

  3. Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture, I. Radovanovic, A. Ray, J. Lukkien, M. R. V. Chaudron, in Proceedings ICSOC 2007, 5th Int. Conf on Service-Oriented Computing - ICSOC 2007, B. J. Krämer, K-J Lin, P. Narasimhan (Eds.), LNCS 4749,  Springer 2007, Vienna, Austria, September 17-20, 2007

  4. A Survey of the Practice of Design – Code Correspondence amongst Professional Software Engineers, Ariadi Nugroho and Michel Chaudron, ESEM 2007, 1st International Symposium on Empirical Software Engineering and Measurement Incorporating ISESE and Metrics, 20-21 September 2007, Madrid, Spain

 

  1. Improving Architectural Quality Properties Through Model Transformation, F. Maswar, M. R. V. Chaudron, I. Radovanovic, Int. Conf. on Software Engineering Research and Practice (SERP'07), June 25-28, Las Vegas, USA, 2007

  2.  Interactive Views to Improve the Comprehension of UML Models - An Experimental Validation, C.F.J. Lange, M. Wijns, M.R.V. Chaudron, IEEE International Conference on Program Comprehension (ICPC 2007), Banff, Canada, June 2007.

 

  1. CARAT: a Toolkit for Design and Performance Analysis of Component-Based Embedded Systems, E. Bondarev, M.R.V. Chaudron, P. de With, Design Automation and Test (DATE) Conference, April 2007, Nice, France.

 

  1. MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality, C.F.J. Lange, M. Wijns, M.R.V. Chaudron, 11th European Conference on Software Maintenance and Reengineering, March 21-23, 2007, Amsterdam, the Netherlands.
  2. A Visualization Framework for Task-oriented Modelling using UML, C.F.J. Lange, M. Wijns, M.R.V. Chaudron,  Proceedings of the 40th Annual Hawaii International Conference on System Sciences (HICSS'07). January 2007.
  3. Adaptive Runtime Fault Management for Services in Component-Based Software Applications, R. Su, M.R.V. Chaudron, IASTED International Conference on Software Engineering and Applications (SEA 2006), 13-15 Nov 2006, Dallas, USA
  4. A Language-Based Access Control Approach for Component-Based Software Applications, R. Su, M.R.V. Chaudron, J. J. Lukkien, IASTED International Conference on Software Engineering and Applications (SEA 2006), 13-15 Nov 2006, Dallas, USA.
  5. An Experimental Investigation of UML Modeling Conventions, C.F.J. Lange, B. Du Bois, M.R.V. Chaudron, S. Demeyer, MODELS/UML, October 2006, Genova.
  6. Self-adjusting Component-based Fault Management, R. Su, M.R.V. Chaudron, 32nd Euromicro Conference 2006, Component-based Software Engineering Track,  30 aug – 1 sept 2006, Cavtat/Dubrovnic, Croatia.
  7. Compositional Performance Analysis of Component-Based Systems on Heterogeneous Multiprocessor Platforms, E. Bondarev, M.R.V. Chaudron, P. de With, Euromicro Conference 2006, Component-based Software Engineering Track, 30 aug – 1 sept 2006, Cavtat/Dubrovnic, Croatia.

 

  1. Effects of Defects in UML Models? An Experimental Investigation, C.F.J. Lange, M.R.V. Chaudron, Proceedings of the 28th International Conference on Software Engineering (ICSE'06), ACM Press, 2006.

 

  1. Generalizing Consistency Checking Between Software Views, J. Muskens, R. Bril, M.R.V. Chaudron, Working Conferenc 5th IEEE/IFIP Working Conference on Software Architecture, 6-9 Nov 2005, Pittsburg,  

 

  1. Visual Exploration of Combined Architectural and Metric Information
    M. Termeer, C.F.J. Lange, A. Telea, M.R.V. Chaudron, Proc.     VISSOFT’05, IEEE CS Press, 2005

 

  1. Modelling of Input-Parameter Dependency for Performance Predictions of Component-Based Embedded Systems, Egor Bondarev, Peter de With, Michel Chaudron, Johan Muskens, Proceedings of 31th Euromicro Conference; Component-based Software Engineering Track; Aug 2005.

 

  1. Component-based Development Process and Component Lifecycle, I. Crnkovic, S. Larsson, M.R.V. Chaudron, 27th Int. Conf. on Information Technology Interfaces (ITI) 2005, Croatia, June 2005, IEEE CS Press. DOI 10.1109/ITI.2005.1491195

 

  1. Version-Centric Visualization of Code Evolution, L. Voinea, A. Telea, M. R. V. Chaudron, Proc. IEEE EuroVis, 2005

  2. Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space, Giovanni Russello, Michel Chaudron, Maarten van Steen, Coordination 2005, LNCS 3454. DOI 10.1007/11417019_8

 

  1. Combining Metrics Data and the Structure of UML Models using GIS Visualization Approaches; Christian Lange, Michel Chaudron; Proceedings of the International Conference on Information Technology, Las Vegas, April 2005.

 

  1. Predicting Real-Time Properties of Component Assemblies: a Scenario-Simulation Approach, Egor Bondarev, Johan Muskens, Peter de With, Michel Chaudron, Johan Lukkien; in Proceedings of 30th Euromicro Conference; Component-based Software Engineering Track; 31 Aug 2004

 

  1. Investigations in Applying Metrics to Multi-View Architecture Models; J. Muskens, C.F.J. Lange and M.R.V. Chaudron; in proceedings 30th Euromicro Conference, Rennes France, August 2004.

 

  1. Integrity Management in Component-based Systems, Muskens, J., Chaudron, M.R.V., Euromicro Conference, 2004. Procs. 30th , Aug. 31 - Sept. 3, 2004, pp. 611 - 619

 

  1. Adapting Strategies for Distributing Data in Shared Data Space Systems, G. Russello, M.R.V. Chaudron, M. van Steen, ACM EuroPar 2004, Pisa, 31 aug – 3 sept 2004, Pisa, Italy.

 

  1. Exploiting Differentiated Distribution in Shared Data Spaces, G. Russello, M.R.V. Chaudron, M. van Steen, 2004, International Symposium on Distributed Objects and Applications (DOA) 2004, Larnaca, Cyprus, Oct 25-29, LNCS, Springer Verlag.

 

  1. An Empirical Assesment of Completeness in UML Designs, C. Lange, M.R.V. Chaudron, 8th Int’l Conference on Evaluation & Assessment in Software Engineering (EASE 2004), Edinburgh, 24-25 May 2004. DOI 10.1049/ic:20040404

 

  1. Prediction of Run-time Resource Consumption in Multi-task Component-Based Software Systems, J. Muskens, M.R.V. Chaudron, Symposium on Component Based Software Engineering (CBSE7), Edinburgh,  24-25 May 2004, LNCS, Springer, 2004

 

  1. Customizable Data Distribution for Shared Data Spaces, G. Russello, M. van Steen (VU), M.R.V. Chaudron, Proceedings Int. Conference on Parallel and Distributed Processing Techniques and Applications, Coordination and Component-Oriented Computing track, Las Vegas, June 23 - 26, CSREA Press, 2003.

 

  1. PARS: A Process Algebra with Resources and Schedulers, M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron, Proceedings of The International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03), Marseille, France, Lecture Notes in Computer Science, Springer-Verlag, September 2003.

 

  1. Use Cases as Workflows, M.R.V. Chaudron, K. van Hee, L. Somers, International Conference on Business Process Management, Eindhoven, The Netherlands, June 26-27, 2003, LNCS 2678, pp. 88–103, Springer-Verlag

 

  1. Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems, M.R. Mousavi, M.A. Reniers, T. Basten, M.R.V. Chaudron, Third International Conference on Application of Concurrency to System Design, Proceedings IEEE Press, 18-20 June, 2003 Guimarães, Portugal.

 

  1. Evaluation of Static Properties for Component-Based Architectures, A. V. Fioukov, E. M. Eskenazi, D.K. Hammer, M.R.V. Chaudron, 28th EUROMICRO conference on Component-based Software Engineering, Dortmund, Germany, September 4th – 6th, 2002 (received Euromicro Best Paper Award)

 

  1. Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System, M.R.V. Chaudron, J. Tretmans and K. Wijbrans, in J.M. Wing and J. Davies (eds), FM’99 World Congress on Formal Methods in the Development of Computing Systems, LNCS 1709, pp. 1511-1526, Springer-Verlag 1999

 

  1. Convergence of Model Based Shape from Shading M. Lew, M.R.V. Chaudron, D.P. Huijsmans, A. She, T. Huang, International Conference on Image Analysis & Processing, September 1997, Florence, Italy.

 

  1. A Method for the Design of Parallel Algorithms - A Case Study: Solving Triangular Systems". M.R.V. Chaudron, A.C.N. van Duin, Hawaii International Conference on System Sciences - 30, 7-10 Januari 1997, Proceedings IEEE

 

  1. Towards a Compositional Method for Coordinating Gamma Programs, M.R.V. Chaudron, Proceedings of the 1st International Conference Coordination 1996, Cesena, Italy Lecture Notes in Computer Science 1061, P. Ciancarini and C. Hankin (eds), Springer 1996.

 

 

workshops

 

  1. van Amstel, M. F., Lange, C. F. J., & Chaudron, M. R. V. (2007). Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams. 1st IEEE International Workshop Quality-Oriented Reuse of Software (QUORS'07), Beijing.

  2. Exploring Performance Trade-Offs of a JPEG Decoder using the DeepCompass Framework, E. Bondarev, M.R.V. Chaudron, E. de Kock, P. de With, 6th International Workshop on Software and Performance (WOSP), February 2007, Buenos Aires, Argentina.

 

  1. Towards Task-Oriented Modeling using UML. C.F.J. Lange, M.A.M. Wijns, M.R.V. Chaudron. Proceedings of the 10th QAOOSE workshop, co-located with ECOOP2006. July 2006.

 

  1. Managing Model Quality in UML-based Software development.
    C.F.J. Lange, M.R.V. Chaudron. IEEE Conference on Software Technology and Engineering Practice 2005 (STEP), in the "Workshop on Software Process Improvement, Quality Assurance and Measurement.     September 2005.

 

  1. Quantitative Techniques for the Assessment of Correspondence between UML Designs and Implementations, Dennis van Opzeeland, Christian F.J. Lange, Michel R.V. Chaudron, 9th ECOOP Workshop on Quantitative Approaches in Object-Oriented Software Engineering (QAOOSE 2005).

 

  1. An Exploratory Study on the Industrial Use of UML: Improving Control over Design Quality; Christian Lange, Michel Chaudron; Proc. of the JACQUARD Conference, Zeist, Netherlands, February 2005.

 

  1. Towards Proving Preservation of Behaviour of Refactoring of UML Models, Marc van Kempen, Derrick Kourie, Michel Chaudron, Andrew Boake, Proc. of the JACQUARD Conference, Zeist, Netherlands, February 2005.

 

  1. Predicting Real-Time Properties of Component Assemblies, Egor Bondarev, Peter de With, Michel Chaudron, workshop on Component Models for Dependable Systems, Proceedings Euromicro, 2004.

 

  1. An Empirical Investigation in Quantifying Inconsistency and Incompleteness of UML Designs, C. Lange, M.R.V. Chaudron, J. Muskens, L.J. Somers, H.M. Dortmans, 2nd workshop on consistency problems in UML-based software development, October 20, 2003, in San Francisco, USA as part of the International Conference on Unified Modeling Language <<UML>> 2003

 

  1. Software Systems Scenario-Based Prediction of Run-time Resource Consumption in Component-Based, M. de Jonge, J. Muskens, M.R.V. Chaudron, 6th International Conference on Software Engineering (ICSE) Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction, May 3-4, 2003, Portland, Oregon, USA.

 

  1. A Dynamic Upgrade Mechanism Based on Publish/Subscribe Interaction, M.R.V. Chaudron, F. v.d. Laar, Workshop on Dependable On-line Upgrading of Distributed Systems, 26th COMPSAC, 26-29 Aug 2002, Oxford, UK.

 

  1. Aspects + Gamma = AspectGAMMA, M. Mousavi, G. Russello, M. Chaudron, M. Reniers, T. Basten, A. Corsaro, S. Shukla, R. Gupta, D. C. Smith, Early Aspects: Aspect-Oriented Requirements Engineering and Architecture Design, co-located with the 1st Int. Conf. On Aspect Oriented Software Development, April 2002, Enschede, Netherlands.

 

  1. Estimation of Static Memory Consumption for Systems Built from Source Code Components, E.M. Eskenazi, A.V. Fioukov, D.K. Hammer, M.R.V. Chaudron, Workshop On Component-Based Software Engineering: Composing Systems From Components, 9th IEEE Conference and Workshops on Engineering of  Computer-Based Systems, April 8-11 2002 at Lund University, Lund, Sweden

 

  1. A Framework for Formal Component-Based Software Architecting, M.R.V. Chaudron, E.M. Eskenazi, A.V. Fioukov, D.K. Hammer, OOPSLA 2001 Workshop on Specification and Verification of Component-Based Systems, Tampa, Florida, October 2001

 

  1. A Framework for Formal Component-Based Software Architecting, M.R.V. Chaudron, E.M. Eskenazi, A.V. Fioukov, D.K. Hammer, Progress workshop, October 2001, Veldhoven, The Netherlands

 

  1. ActiveLink: An embedded systems solution for generic cross-platform communication, Bernard M. Venemans, Michel Chaudron, and Harro S. Jacobs, Progress workshop, October 2001, Veldhoven, The Netherlands (also appeared in XOOTIC magazine).

 

  1. Reflections on the Anatomy of Software Composition Mechanisms, M.R.V. Chaudron, Workshop on Composition Languages, 11 sept 2001, Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, September 2001, Vienna, Austria.

 

  1. D. K. Hammer and M.R.V. Chaudron, Component-Based Software Engineering for Resource-Constraint Systems: What are the Needs?, Workshop on Object-Oriented Real-time Distributed Systems, 2001.

 

  1. Composability of Architectures, D.K. Hammer and M.R.V. Chaudron, International Software Architecture Workshop, ICSE 2000, Limerick, Ireland.

 

  1. Components are from Mars, M. R.V. Chaudron and E. de Jong, Workshop on Parallel and Distributed Real Time Systems, LNCS 1800, 2000, Cancun, Mexico.

 

  1. Software engineering with Formal Methods: The Development of a Storm Surge Barrier Control System – Seven Myths of Formal Methods Revisited, J. Tretmans, K. Wijbrans and M.R.V. Chaudron, in Fourth International ECRIM Workshop on Formal Methods for Industrial Critical Systems (FMICS ’99) – Proceedings of the FLoC workshop, S. Gnesi and D. Latella (eds), volume II, pp. 225-237, Pisa, Italy

 

  1. A Toolkit for Procurement of Road Pricing Systems, M.R.V. Chaudron, R. Postema, G. Meijer, 5th World Congress on Intelligent Transport Systems, 12-16 October 1998, Seoul, Korea

 

  1. A Separation of Concerns Approach to the Design of Parallel Algorithms for Solving Triangular Systems, M.R.V. Chaudron, A.C.N. van Duin, Advanced School of Computing and Imaging (ASCI), 5-7 June 1996, Lommel, Belgium.

 

  1. Notions of Refinement for a Coordination Language for Gamma, M.R.V. Chaudron, Theory and Formal Methods of Computing, Proceedings of the Third Imperial College Workshop, A. Edalat, S. Jourdan and G. McCusker (eds), Christ Church, Oxford, 1-3 April 1996.

 

 

technical reports

 

1.       M.R.V. Chaudron, J.F. Groote, K.M. van Hee, C. Hemerik, L.J.A.M. Somers and T. Verhoeff. Software Engineering Reference Framework. Technical Report CS-Report 04-039, Computer Science Reports, Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands, 2004.

 

2.       Separating Distribution Policies in a Shared Data SpaceSystem, Giovanni Russello, Michel Chaudron, Maarten van Steen, Internal Report IR-497, Department of Mathematicsand Computer Science, Vrije Universiteit, June 2002.

 

3.       Aspects + Gamma = AspectGAMMA, M. Mousavi, G. Russello, M. Chaudron, M. Reniers, T. Basten, A. Corsaro, S. Shukla, R. Gupta, D. C. Smith, Center for Embedded Computer Systems at Univ. California at Irvine, TR # CECS-02-01.

 

4.       Software engineering with Formal Methods: The Development of a Storm Surge Barrier Control System, J. Tretmans, K. Wijbrans and M.R.V. Chaudron, October 2000, System Validation Center, Telematics Institute, SVC II-06-a-1.1.

 

5.       A Method for the Design of Parallel Algorithms - A Case Study: Solving Triangular Systems, M.R.V. Chaudron, A.C.N. van Duin, Technical report 96-08, Departement of Computer Science, Leiden University, 1996

 

6.       Notions of Refinement for a Coordination Language for Gamma, M.R.V. Chaudron, Technical Report no 96-23, Departement of Computer Science, Leiden University, August 1996

 

7.       Towards a Compositional Method for Coordinating Gamma Programs, M.R.V. Chaudron, Technical Report no 95-32,  Departement of Computer Science, Leiden University, November 1995

 

8.       Schedules for Multiset Transformer Programs, M.R.V. Chaudron, Technical Report no 94-36, Department of Computer Science, Leiden University, December 1994

 

9.       Separation of Correctness and Complexity in Algorithm Design, M.R.V. Chaudron, Technical Report no 93-20,  Departement of Computer Science, Leiden University, July 1993

 

theses

 

  • Separating Computation and Coordination in the Design of Parallel and Distributed Systems, Ph.D. Thesis, Leiden University, The Netherlands, 1998,

      (paper/electronic versions available on request)

 

  • Specification and Verification in Transaction-based Parallel Programming,

Technical Report no 92- ITI 295, TNO Institute of Applied Computer Science, Delft, M.Sc. Thesis, Leiden University, March 1992, The Netherlands

 

 

Conference &

Worskhop

Organization

 

  • International Symposium on Distributed Objects and Applications (DOA) Cyprus, Oct 25-29, 2004
  • PC member of CBSE7 Symposium colocated with ICSE 2004, 23-28 May 2004, Edinburgh, Scotland
  • PC member of COMPONENT-BASED SOFTWARE ENGINEERING, Antalya - Turkey, September 3rd–5th, 2003. This is a Track of the 29th EUROMICRO CONFERENCE

      http://www.idt.mdh.se/ecbse/2003     

 

 

 

 

 

more info on

 to departement

 

 Last edited

 14-mei-08

 

m.r.v.chaudron at tue.nl