Michel R. V. Chaudron

Orcid: 0000-0001-7517-6666

Affiliations:
  • Chalmers University of Technology, Gothenburg, Sweden


According to our database1, Michel R. V. Chaudron authored at least 183 papers between 1996 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Collaborative software design and modeling in virtual reality.
Inf. Softw. Technol., February, 2024

2023
A reflection on the impact of model mining from GitHub.
Inf. Softw. Technol., December, 2023

Integrating human values in software development using a human values dashboard.
Empir. Softw. Eng., June, 2023

Introduction to the special issue on program comprehension.
Empir. Softw. Eng., June, 2023

Design thinking and creativity of colocated versus globally distributed software developers.
J. Softw. Evol. Process., 2023

Enabling Analysis and Reasoning on Software Systems through Knowledge Graph Representation.
Proceedings of the 20th IEEE/ACM International Conference on Mining Software Repositories, 2023

Process Mining from Jira Issues at a Large Company.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2023

2022
Role stereotypes in software designs and their evolution.
J. Syst. Softw., 2022

Evaluating the layout quality of UML class diagrams using machine learning.
J. Syst. Softw., 2022

Human values in software development artefacts: A case study on issue discussions in three Android applications.
Inf. Softw. Technol., 2022

The influence of software design representation on the design communication of teams with diverse personalities.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Guiding Peer-feedback in Learning Software Design using UML.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022

Automatic Anti-Pattern Detection in Microservice Architectures Based on Distributed Tracing.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021
Emerging Software Engineering Research Networks in (East) Africa.
ACM SIGSOFT Softw. Eng. Notes, 2021

Design Thinking and Creativity of Co-located vs. Globally Distributed Software Developers.
CoRR, 2021

FeatureVista: interactive feature visualization.
Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

From Prose to Prototype: Synthesising Executable UML Models from Natural Language.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Towards a Human Values Dashboard for Software Development: An Exploratory Study.
Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

2020
Sustainable Capacity Building in Software Engineering Research in Africa: The Example of the BRIGHT Project.
ACM SIGSOFT Softw. Eng. Notes, 2020

Correction to: Software engineering whispers: The effect of textual vs. graphical software design descriptions on software design communication.
Empir. Softw. Eng., 2020

Software engineering whispers: The effect of textual vs. graphical software design descriptions on software design communication.
Empir. Softw. Eng., 2020

Interactive Role Stereotype-Based Visualization To Comprehend Software Architecture.
Proceedings of the Working Conference on Software Visualization, 2020

Comparison of Occurrence of Design Smells in Desktop and Mobile Applications.
Proceedings of the 2020 African Conference on Software Engineering (ACSE 2020), 2020

The design thinking of co-located vs. distributed software developers: distance strikes again!
Proceedings of the ICGSE '20: 15th IEEE/ACM International Conference on Global Software Engineering, 2020

Design Decisions by Voice: The Next Step of Software Architecture Knowledge Management.
Proceedings of the Human-Centered Software Engineering, 2020

2019
Raising Awareness for Potential Sustainability Effects in Uganda.
Proceedings of the 8th International Workshop on Requirements Engineering for Sustainable Systems co-located with 27th International Conference on Requirements Engineering, 2019

Does UML modeling associate with lower defect proneness?: a preliminary empirical investigation.
Proceedings of the 16th International Conference on Mining Software Repositories, 2019

Towards an infrastructure for empirical research into software architecture: challenges and directions.
Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 2019

Automated Classification of Class Role-Stereotypes via Machine Learning.
Proceedings of the Evaluation and Assessment on Software Engineering, 2019

Towards Automated Grading of UML Class Diagrams with Machine Learning.
Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), 2019

2018
Does Distance Still Matter? Revisiting Collaborative Distributed Software Design.
IEEE Softw., 2018

An industrial case study on the use of UML in software maintenance and its perceived benefits and hurdles.
Empir. Softw. Eng., 2018

Web-based educational ecosystem for automatization of teaching process and assessment of students.
Proceedings of the 8th International Conference on Web Intelligence, Mining and Semantics, 2018

OctoBubbles: A Multi-view interactive environment for concurrent visualization and synchronization of UML models and code.
Proceedings of the 25th International Conference on Software Analysis, 2018

Diversity in UML Modeling Explained: Observations, Classifications and Theorizations.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018

Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

An Automated Approach for Classifying Reverse-Engineered and Forward-Engineered UML Class Diagrams.
Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications, 2018

Evaluating Didactic Approaches used by Teaching Assistants for Software Analysis and Design using UML.
Proceedings of the 3rd European Conference of Software Engineering Education, 2018

Automatic Identification of Component Roles in Software Design Networks.
Proceedings of the Complex Networks and Their Applications VII, 2018

2017
FLOrIDA: Feature LOcatIon DAshboard for extracting and visualizing feature traces.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

An extensive dataset of UML models in GitHub.
Proceedings of the 14th International Conference on Mining Software Repositories, 2017

OctoUML: an environment for exploratory and collaborative software design.
Proceedings of the 39th International Conference on Software Engineering, 2017

Practices and Perceptions of UML Use in Open Source Projects.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice Track, 2017

Empirical Studies into UML in Practice: Pitfalls and Prospects.
Proceedings of the 9th IEEE/ACM International Workshop on Modelling in Software Engineering, 2017

Exploring the Applicability of Software Startup Patterns in the Ugandan Context.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Dissecting Design Effort and Drawing Effort in UML Modeling.
Proceedings of the 43rd Euromicro Conference on Software Engineering and Advanced Applications, 2017

Teaching of Agile UML Modeling: Recommendations from Students' Reflections.
Proceedings of the XX Iberoamerican Conference on Software Engineering, 2017

Using Voice Commands for UML Modelling Support on Interactive Whiteboards: Insights and Experiences.
Proceedings of the XX Iberoamerican Conference on Software Engineering, 2017

2016
Impact of Introducing Domain-Specific Modelling in Software Maintenance: An Industrial Case Study.
IEEE Trans. Software Eng., 2016

Does the level of detail of UML diagrams affect the maintainability of source code?: a family of experiments.
Empir. Softw. Eng., 2016

Studying the Relation between Anti-Patterns in Design Models and in Source Code.
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Interactive Surfaces for Collaborative Software Design.
Proceedings of the 9th Nordic Conference on Human-Computer Interaction, Gothenburg, Sweden, October 23, 2016

Towards a New Generation of Software Design Environments: Supporting the Use of Informal and Formal Notations with OctoUML.
Proceedings of the Second International Workshop on Human Factors in Modeling co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

The quest for open source projects that use UML: mining GitHub.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

A Workshop for Integrating UML Modelling and Agile Development in the Classroom.
Proceedings of the Computer Science Education Research Conference 2016, 2016

2015
New degrees of freedom in metaheuristic optimization of component-based systems architecture: Architecture topology and load balancing.
Sci. Comput. Program., 2015

Timed-Gamma and its Coordination Language.
Nord. J. Comput., 2015

Investigating Architectural Technical Debt accumulation and refactoring over time: A multiple-case study.
Inf. Softw. Technol., 2015

Are Forward Designed or Reverse-Engineered UML diagrams more helpful for code maintenance?: A family of experiments.
Inf. Softw. Technol., 2015

Interactive User-Oriented Views for Better Understanding Software Systems.
Proceedings of the Post-proceedings of the 8th Seminar on Advanced Techniques and Tools for Software Evolution, 2015

First International Workshop on Human Factors in Modeling (HuFaMo 2015) - Preface.
Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Uncovering Students' Common Difficulties and Strategies During a Class Diagram Design Process: an Online Experiment.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

On the use of UML documentation in software maintenance: Results from a survey in industry.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

A Vision on a New Generation of Software Design Environments.
Proceedings of the First International Workshop on Human Factors in Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015

Revealing Students' UML Class Diagram Modelling Strategies with WebUML and LogViz.
Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications, 2015

Identifying Metrics' Biases When Measuring or Approximating Size in Heterogeneous Languages.
Proceedings of the 2015 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2015

Using Examples for Teaching Software Design: An Experiment Using a Repository of UML Class Diagrams.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
The impact of UML modeling on defect density and defect resolution time in a proprietary system.
Empir. Softw. Eng., 2014

The Art of Software Design, a Video Game for Learning Software Design Principles.
CoRR, 2014

Technical Dependency Challenges in Large-Scale Agile Software Development.
Proceedings of the Agile Processes in Software Engineering and Extreme Programming, 2014

Model-Driven Development Processes and Practices: Foundations and Research Perspectives.
Proceedings of the 1st International Workshop on Model-Driven Development Processes and Practices co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

CASE Tools versus Pencil and Paper: A Student's Perspective on Modeling Software Design.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Condensing class diagrams by analyzing design and network metrics using optimistic classification.
Proceedings of the 22nd International Conference on Program Comprehension, 2014

Distributed optimization on super computers: case study on software architecture optimization framework.
Proceedings of the Genetic and Evolutionary Computation Conference, 2014

Architecture Technical Debt: Understanding Causes and a Qualitative Model.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Automated Prioritization of Metrics-Based Design Flaws in UML Class Diagrams.
Proceedings of the 40th EUROMICRO Conference on Software Engineering and Advanced Applications, 2014

Interactive Scalable Abstraction of Reverse Engineered UML Class Diagrams.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

Automatic Classification of UML Class Diagrams from Images.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Quality-driven optimization of system architecture: Industrial case study on an automotive sub-system.
J. Syst. Softw., 2013

Empirical studies concerning the maintenance of UML diagrams and their use in the maintenance of code: A systematic mapping study.
Inf. Softw. Technol., 2013

An Empirical Study into the Accuracy of IT Estimations and its Influencing Factors.
Int. J. Softw. Eng. Knowl. Eng., 2013

Model-based, composable simulation for the development of autonomous miniature vehicles.
Proceedings of the 2013 Spring Simulation Multiconference, SpringSim '13, 2013

Requirement Ambiguity Not as Important as Expected - Results of an Empirical Evaluation.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2013

UML Class Diagram Simplification - A Survey for Improving Reverse Engineered Class Diagram Comprehension.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Assessing Software Design Skills and their Relation with Reasoning Skills.
Proceedings of the Educators' Symposium co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

UML Usage in Open Source Software Development : A Field Study.
Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Online Img2UML Repository: An Online Repository for UML Models.
Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Exploring Costs and Benefits of Using UML on Maintenance: Preliminary Findings of a Case Study in a Large IT Department.
Proceedings of the 3rd International Workshop on Experiences and Empirical Studies in Software Modeling co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Combinations of Antipattern Heuristics in Software Architecture Optimization for Embedded Systems.
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

An Analysis of Machine Learning Algorithms for Condensing Reverse Engineered Class Diagrams.
Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

Img2UML: A System for Extracting UML Models from Images.
Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Are forward designed or reverse-engineered UML diagrams more helpful for code maintenance?: a controlled experiment.
Proceedings of the 17th International Conference on Evaluation and Assessment in Software Engineering, 2013

2012
How effective is UML modeling ? - An empirical perspective on costs and benefits.
Softw. Syst. Model., 2012

Quality Assurance in Model-Based Software Development: Challenges and Opportunities.
Proceedings of the Software Quality. Process Automation in Software Development, 2012

Problem-Specific Search Operators for Metaheuristic Software Architecture Design.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

The use of UML class diagrams and its effect on code change-proneness.
Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, 2012

UML class diagram simplification: what is in the developer's mind?
Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, 2012

EESSMOD 2012 Workshop Summary.
Proceedings of the Second Edition of the International Workshop on Experiences and Empirical Studies in Software Modelling, 2012

Automated prediction of defect severity based on codifying design knowledge using ontologies.
Proceedings of the First International Workshop on Realizing AI Synergies in Software Engineering, 2012

An Analysis of Accuracy and Learning in Software Project Estimating.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

Varying Topology of Component-Based System Architectures Using Metaheuristic Optimization.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011
A Classification Framework for Software Component Models.
IEEE Trans. Software Eng., 2011

Architecture-Based Testing and System Validation - Workshop Summary.
Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

A cognitive perspective on developer comprehension of software design documentation.
Proceedings of the 29th ACM international conference on Design of communication, 2011

Empirical investigation on the benefits of using UML in software maintenance.
Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement, Profes '11, Torre Canne, Brindisi, Italy, June 20-22, 2011, 2011

Does the Level of Detail of UML Models Affect the Maintainability of Source Code?
Proceedings of the Models in Software Engineering, 2011

Summary of the First International Workshop on Experiences and Empirical Studies in Software Modelling.
Proceedings of the Models in Software Engineering, 2011

Moving from Waterfall to Iterative Development: An Empirical Evaluation of Advantages, Disadvantages and Risks of RUP.
Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30, 2011

Experimental Analysis of Textual and Graphical Representations for Software Architecture Design.
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

An evolutionary multiobjective optimization approach to component-based software architecture design.
Proceedings of the IEEE Congress on Evolutionary Computation, 2011

2010
Providing data confidentiality against malicious hosts in Shared Data Spaces.
Sci. Comput. Program., 2010

Assessing UML design metrics for predicting fault-prone classes in a Java system.
Proceedings of the 7th International Working Conference on Mining Software Repositories, 2010

A Comparison of Industrial Process Descriptions for Global Custom Software Development.
Proceedings of the 5th IEEE International Conference on Global Software Engineering, 2010

Towards automated software architectures design using model transformations and evolutionary algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference, 2010

The Impact of Model Driven Development on the Software Architecture Process.
Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications, 2010

2009
Quality of UML models.
Inf. Softw. Technol., 2009

Evaluating the Impact of UML Modeling on Software Quality: An Industrial Case Study.
Proceedings of the Model Driven Engineering Languages and Systems, 2009

Empirical Investigations of Model Size, Complexity and Effort in a Large Scale, Distributed Model Driven Development Process.
Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008
GSpace: an architectural approach for self-managing extra-functional concerns.
Proceedings of the CSTST 2008: Proceedings of the 5th International Conference on Soft Computing as Transdisciplinary Science and Technology, 2008

Evaluating RUP Software Development Processes Through Visualization of Effort Distribution.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

An Empirical Study into the State of Practice and Challenges in IT Project Portfolio Management.
Proceedings of the 34th Euromicro Conference on Software Engineering and Advanced Applications, 2008

Empirical Analysis of the Relation between Level of Detail in UML Models and Defect Density.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

Workshops at MODELS 2008.
Proceedings of the Model Driven Engineering Languages and Systems, 2008

COTS Selection Best Practices in Literature and in Industry.
Proceedings of the High Confidence Software Reuse in Large Systems, 2008

A survey into the rigor of UML use and its perceived impact on quality and productivity.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

Exploring effort distribution in RUP projects.
Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, 2008

Encrypted Shared Data Spaces.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

2007
Supporting task-oriented modeling using interactive UML views.
J. Vis. Lang. Comput., 2007

An experimental evaluation of self-managing availability in shared data spaces.
Sci. Comput. Program., 2007

Language-based access control approach for component-based software applications.
IET Softw., 2007

Adaptive runtime fault management for service instances in component-based software applications.
IET Softw., 2007

Exploring performance trade-offs of a JPEG decoder using the deepcompass framework.
Proceedings of the 6th International Workshop on Software and Performance, 2007

Improving Architectural Quality Properties Through Model Transformations.
Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Second International Workshop on Model Size Metrics.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

Interactive Views to Improve the Comprehension of UML Models - An Experimental Validation.
Proceedings of the 15th International Conference on Program Comprehension (ICPC 2007), 2007

Facilitating Mobile Service Provisioning in IP Multimedia Subsystem (IMS) Using Service Oriented Architecture.
Proceedings of the Service-Oriented Computing, 2007

Enhancing End-to-End QoS for Multimedia Streaming in IMS-Based Networks.
Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), 2007

A Visualization Framework for Task-Oriented Modeling Using UML.
Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

A Survey of the Practice of Design - Code Correspondence amongst Professional Software Engineers.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

CARAT: a toolkit for design and performance analysis of component-based embedded systems.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

MetricViewEvolution: UML-based Views for Monitoring Model Evolution and Quality.
Proceedings of the 11th European Conference on Software Maintenance and Reengineering, 2007

Four Automated Approaches to Analyze the Quality of UML Sequence Diagrams.
Proceedings of the 31st Annual International Computer Software and Applications Conference, 2007

2006
In Practice: UML Software Architecture and Design Description.
IEEE Softw., 2006

An Experimental Investigation of UML Modeling Conventions.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

A Qualitative Investigation of UML Modeling Conventions.
Proceedings of the Models in Software Engineering, 2006

A Toolkit for Design and Performance Analysis of Real-Time Component-Based Software Systems.
Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), October 28, 2006

Effects of defects in UML models: an experimental investigation.
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Self-adjusting Component-Based Fault Management.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

Compositional Performance Analysis of Component-Based Systems on Heterogeneous Multiprocessor Platforms.
Proceedings of the 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2006), August 29, 2006

A Process for Resolving Performance Trade-Offs in Component-Based Architectures.
Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005
A Component Framework for Consumer Electronics Middleware.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Component-based Development Process and Component Lifecycle.
J. Comput. Inf. Technol., 2005

Generalizing Consistency Checking between Software Views.
Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Version-Centric Visualization of Code Evolution.
Proceedings of the 7th Joint Eurographics, 2005

Visual Exploration of Combined Architectural and Metric Information.
Proceedings of the 3rd International Workshop on Visualizing Software for Understanding and Analysis, 2005

Managing Model Quality in UML-Based Software Development.
Proceedings of the 13th International Workshop on Software Technology and Engineering Practice (STEP 2005), 2005

Combining Metrics Data and the Structure of UML Models using GIS Visualization Approaches.
Proceedings of the International Symposium on Information Technology: Coding and Computing (ITCC 2005), 2005

Modelling of Input-Parameter Dependency for Performance Predictions of Component-Based Embedded Systems.
Proceedings of the 31st EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO-SEAA 2005), 30 August, 2005

Dynamically Adapting Tuple Replication for Managing Availability in a Shared Data Space.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
Konsistenz und Vollständigkeit industrieller UML Modelle.
Proceedings of the Modellierung 2004, Proceedings zur Tagung, 23.-26. März 2004, 2004

Exploiting Differentiated Tuple Distribution in Shared Data Spaces.
Proceedings of the Euro-Par 2004 Parallel Processing, 2004

Investigations in Applying Metrics to Multi-View Architecture Models.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Integrity Management in Component Based Systems.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Introduction from Session Chair: Component Models for Dependable Systems.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Towards Predicting Real-Time Properties of a Component Assembly.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Predicting Real-Time Properties of Component Assemblies: A Scenario-Simulation Approach.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Dynamic Adaptation of Data Distribution Policies in a Shared Data Space System.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004

2003
Customizable Data Distribution for Shared Data Spaces.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2003

PARS: A Process Algebra with Resources and Schedulers.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

Use Cases as Workflows.
Proceedings of the Business Process Management, International Conference, 2003

Separation of Concerns in the Formal Design of Real-Time Shared Data-Space Systems.
Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002
Using Aspect-GAMMA in the design of embedded systems.
Proceedings of the Seventh IEEE International High-Level Design Validation and Test Workshop 2002, 2002

Evaluation of Static Properties for Component-Based Architectures.
Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

A Dynamic Upgrade Mechanism Based on Publish/Subscribe Interaction.
Proceedings of the 26th International Computer Software and Applications Conference (COMPSAC 2002), 2002

2001
Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods.
Formal Methods Syst. Des., 2001

Component-Based Software Engineering for Resource-Constraint Systems: What are the Needs?
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

2000
Components Are from Mars.
Proceedings of the Parallel and Distributed Processing, 2000

1999
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.
Proceedings of the FM'99 - Formal Methods, 1999

1998
The Formal Derivation of Parallel Triangular System Solvers Using a Coordination-Based Design Method.
Parallel Comput., 1998

1997
Convergence of Model Based Shape from Shading.
Proceedings of the Image Analysis and Processing, 9th International Conference, 1997

A Method for the Design of Parallel Algorithms A Case Study: Solving Triangular Systems.
Proceedings of the 30th Annual Hawaii International Conference on System Sciences (HICSS-30), 1997

1996
Towards a Compositional Method for Coordinating Gamma Programs.
Proceedings of the Coordination Languages and Models, First International Conference, 1996


  Loading...