Ralf H. Reussner
Orcid: 0000-0002-9308-6290Affiliations:
- Karlsruhe Institute of Technology (KIT), Institute for Program Structures and Data Organization
According to our database1,
Ralf H. Reussner
authored at least 246 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Combining Knowledge Graphs and Large Language Models to Ease Knowledge Access in Software Architecture Research.
Proceedings of the Second International Workshop on Semantic Technologies and Deep Learning Models for Scientific, 2024
Proceedings of the Software Engineering 2024, Fachtagung des GI-Fachbereichs Softwaretechnik, Linz, Austria, February 26, 2024
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering.
Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, 2024
2023
Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0.
Autom., June, 2023
Softwaretechnik-Trends, February, 2023
Design-time Performability Evaluation of Runtime Adaptation Strategies (Work In Progress Paper).
Proceedings of the Companion of the 2023 ACM/SPEC International Conference on Performance Engineering, 2023
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023
Identifizierung von Vertraulichkeitsproblemen mithilfe von Angriffsausbreitung auf Architektur.
Proceedings of the Software Engineering 2023, 2023
Proceedings of the Software Engineering 2023, 2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Architecture-Based Attack Path Analysis for Identifying Potential Security Incidents.
Proceedings of the Software Architecture - 17th European Conference, 2023
2022
Detecting violations of access control and information flow policies in data flow diagrams.
J. Syst. Softw., 2022
A conceptual model for unifying variability in space and time: Rationale, validation, and illustrative applications.
Empir. Softw. Eng., 2022
Proceedings of the ICPE '22: ACM/SPEC International Conference on Performance Engineering, Bejing, China, April 9, 2022
Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022
Towards an integrated approach for managing the variability and evolution of both software and hardware components.
Proceedings of the SPLC '22: 26th ACM International Systems and Software Product Line Conference, Graz, Austria, September 12, 2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
Dataset - Architectural Attack Propagation Analysis for Identifying Confidentiality Issues.
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022
Proceedings of the 19th IEEE International Conference on Software Architecture, 2022
Replication Package of "Evaluation Methods and Replicability of Software Architecture Research Objects".
Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022
Preserving Consistency of Interrelated Models during View-Based Evolution of Variable Systems.
Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2022
Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022
Proceedings of the Software Architecture - 16th European Conference, 2022
Proceedings of the Digital Transformation, 2022
2021
A Layered Reference Architecture for Metamodels to Tailor Quality Modeling and Analysis.
IEEE Trans. Software Eng., 2021
IEEE Softw., 2021
J. Syst. Softw., 2021
Software Engineering und Software-Engineering-Forschung im Zeitalter der Digitalisierung.
Inform. Spektrum, 2021
A Unified Model to Detect Information Flow and Access Control Violations in Software Architectures.
Proceedings of the 18th International Conference on Security and Cryptography, 2021
Reliability Prediction of Self-Adaptive Systems Managing Uncertain AI Black-Box Components.
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Automatically Extracting Business Level Access Control Requirements from BPMN Models to Align RBAC Policies.
Proceedings of the 7th International Conference on Information Systems Security and Privacy, 2021
Proceedings of the E-Business and Telecommunications - 18th International Conference, 2021
Challenges in Aligning Enterprise Application Architectures to Business Process Access Control Requirements in Evolutional Changes.
Proceedings of the 18th International Conference on e-Business, 2021
Identifying Confidentiality Violations in Architectural Design Using Palladio (short paper).
Proceedings of the ECSA 2021 Companion Volume, 2021
Proceedings of the Composing Model-Based Analysis Tools, 2021
Challenges in the Evolution of Palladio - Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis.
Proceedings of the Composing Model-Based Analysis Tools, 2021
2020
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020
Proceedings of the Tagungsband des 17. Workshops "Software Engineering im Unterricht der Hochschulen" 2020, Innsbruck, Österreich, 26., 2020
Proceedings of the Software Engineering 2020, 2020
Digitalisierung technischer Innovationen - Eine besondere Chance für das Software Engineering oder sollte man lieber die Annahme seines Konferenzpapiers optimieren?
Proceedings of the Software Engineering 2020, 2020
Architektur-basierte Analyse von Änderungsausbreitung in Software-intensiven Systemen.
Proceedings of the Software Engineering 2020, 2020
Towards classes of architectural dependability assurance for machine-learning-based systems.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Design-Time Validation of Runtime Reconfiguration Strategies: An Environmental-Driven Approach.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
Proceedings of the Ernst Denert Award for Software Engineering 2020: Practice Meets Foundations, 2020
2019
Architecture-driven Maintainability Prediction of Software-intensive Technical Systems.
Softwaretechnik-Trends, 2019
Softwaretechnik-Trends, 2019
Softw. Syst. Model., 2019
Using internal domain-specific languages to inherit tool support and modularity for model transformations.
Softw. Syst. Model., 2019
J. Object Technol., 2019
Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering, 2019
Proceedings of the Model-Driven Engineering and Software Development, 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2019
Proceedings of the 2nd International Workshop on Establishing a Community-Wide Infrastructure for Architecture-Based Software Engineering, 2019
Proceedings of the IEEE International Conference on Software Architecture, 2019
Proceedings of the IEEE International Conference on Software Architecture Companion, 2019
Proceedings of the Ernst Denert Award for Software Engineering 2019, 2019
Proceedings of the Managed Software Evolution., 2019
Proceedings of the Managed Software Evolution., 2019
Proceedings of the Managed Software Evolution., 2019
2018
Softwaretechnik-Trends, 2018
Architecture-based change impact analysis in cross-disciplinary automated production systems.
J. Syst. Softw., 2018
Datenschutz und Datensicherheit, 2018
Rapid Testing of IaaS Resource Management Algorithms via Cloud Middleware Simulation.
Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
Investigating Performance Metrics for Scaling Microservices in CloudIoT-Environments.
Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
Variants and Versions Management for Models with Integrated Consistency Preservation.
Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems, 2018
Automated Consistency Preservation in Electronics Development of Cyber-Physical Systems.
Proceedings of the Software Technologies: Applications and Foundations, 2018
Proceedings of the Software Engineering und Software Management 2018, 2018
Proceedings of the Modellierung 2018, 21.-23. Februar 2018, Braunschweig, Germany, 2018
A Model-Based Approach to Calculate Maintainability Task Lists of PLC Programs for Factory Automation.
Proceedings of the IECON 2018, 2018
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018
The Current State of the Holistic Privacy and Security Modelling Approach in Business Process and Software Architecture Modelling.
Proceedings of the Information Systems Security and Privacy - 4th International Conference, 2018
Identifying Needs for a Holistic Modelling Approach to Privacy Aspects in Enterprise Software Systems.
Proceedings of the 4th International Conference on Information Systems Security and Privacy, 2018
Guidance of Architectural Changes in Technical Systems with Varying Operational Modes.
Proceedings of the Software Architecture, 2018
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018
2017
Softwaretechnik-Trends, 2017
Introduction: 8th Symposium on Software Performance (SSP), Karlsruhe, November 09-10, 2017.
Softwaretechnik-Trends, 2017
J. Intell. Robotic Syst., 2017
Proceedings of the Software Engineering 2017, 2017
Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Architecture-Based Change Impact Analysis in Information Systems and Business Processes.
Proceedings of the 2017 IEEE International Conference on Software Architecture, 2017
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017
2016
Softwaretechnik-Trends, 2016
Softwaretechnik-Trends, 2016
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
Automated workload characterization for I/O performance analysis in virtualized environments.
Proceedings of the Software Engineering 2016, 2016
Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016
Proceedings of the 3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2016), 2016
Towards a common classification of changes for information and automated production systems as precondition for maintenance effort estimation.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016
2015
Softwaretechnik-Trends, 2015
The CoCoME Platform: A Research Note on Empirical Studies in Information System Evolution.
Int. J. Softw. Eng. Knowl. Eng., 2015
The Storage Performance Analyzer: Measuring, Monitoring, and Modeling of I/O Performance in Virtualized Environments (Invited Demonstration Paper).
Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Austin, TX, USA, January 31, 2015
Architecture-Based Assessment and Planning of Software Changes in Information and Automated Production Systems State of the Art and Open Issues.
Proceedings of the 2015 IEEE International Conference on Systems, 2015
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015
Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures, 2015
A Modular Reference Structure for Component-based Architecture Description Languages.
Proceedings of the 2nd International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2015), 2015
Architectural run-time models for operator-in-the-loop adaptation of cloud applications.
Proceedings of the 9th IEEE International Symposium on the Maintenance and Evolution of Service-Oriented and Cloud-Based Environments, 2015
Proceedings of the Software Architecture - 9th European Conference, 2015
Quality-oriented Decision Support for maintaining Architectures of fault-tolerant Space Systems.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015
2014
Deriving performance-relevant infrastructure properties through model-based experiments with Ginpex.
Softw. Syst. Model., 2014
Guilt-based handling of software performance antipatterns in palladio architectural models.
J. Syst. Softw., 2014
Autom., 2014
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2014
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014
Integrating Run-time Observations and Design Component Models for Cloud System Analysis.
Proceedings of the 9th Workshop on Models@run.time co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014
Modeling of I/O Performance Interference in Virtualized Environments with Queueing Petri Nets.
Proceedings of the IEEE 22nd International Symposium on Modelling, 2014
Automated Modeling of I/O Performance and Interference Effects in Virtualized Storage Systems.
Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014
Enriching software architecture models with statistical models for performance prediction in modern storage environments.
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
Proceedings of the 13th International Conference on Modularity, 2014
Towards Reliability Estimation of Large Systems-of-Systems with the Palladio Component Model.
Proceedings of the Trusted Cloud Computing, 2014
2013
A generic approach for architecture-level performance modeling and prediction of virtualized storage systems.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013
Predictive performance modeling of virtualized storage systems using optimized statistical regression techniques.
Proceedings of the ACM/SPEC International Conference on Performance Engineering, 2013
The OMPCM simulator for model-based software performance prediction: poster abstract.
Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques, 2013
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013
Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013
Proceedings of the 2013 IEEE 21st International Symposium on Modelling, 2013
Proceedings of the Web Engineering - 13th International Conference, 2013
How the understanding of the effects of design decisions informs requirements engineering.
Proceedings of the 2nd International Workshop on the Twin Peaks of Requirements and Architecture, 2013
Proceedings of the Theory and Practice of Model Transformations, 2013
Proceedings of the 10th International Conference on Autonomic Computing, 2013
Using Queuing Models for Large System Migration Scenarios - An Industrial Case Study with IBM System z.
Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013
An Empirical Investigation of the Component-Based Performance Prediction Method Palladio.
Proceedings of the Perspectives on the Future of Software Engineering, 2013
2012
IEEE Trans. Software Eng., 2012
Workload-aware System Monitoring Using Performance Predictions Applied to a Large-scale E-Mail System.
Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012
Position paper: approach for architectural design and modelling with documented design decisions (ADMD3).
Proceedings of the 8th international ACM SIGSOFT conference on Quality of Software Architectures, 2012
Proceedings of the 34th International Conference on Software Engineering, 2012
Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems.
Proceedings of the Computer Performance Engineering - 9th European Workshop, 2012
2011
SIGMETRICS Perform. Evaluation Rev., 2011
From monolithic to component-based performance evaluation of software architectures - A series of experiments analysing accuracy and effort.
Empir. Softw. Eng., 2011
Proceedings of the 8th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2011
Proceedings of the ICPE'11, 2011
Proceedings of the ICPE'11, 2011
PerOpteryx: automated application of tactics in multi-objective software architecture optimization.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011
Ginpex: deriving performance-relevant infrastructure properties through goal-oriented experiments.
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011
Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011
Towards Performance Prediction for Cloud Computing Environments based on Goal-oriented Measurements.
Proceedings of the CLOSER 2011, 2011
Proceedings of the 14th International ACM Sigsoft Symposium on Component Based Software Engineering, 2011
2010
Using Genetic Search for Reverse Engineering of Parametric Behavior Models for Performance Prediction.
IEEE Trans. Software Eng., 2010
Perform. Evaluation, 2010
Automatically improve software architecture models for performance, reliability, and cost using evolutionary algorithms.
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010
Proceedings of the first joint WOSP/SIPEW International Conference on Performance Engineering, 2010
Proceedings of the Software Engineering 2010, 2010
A Hybrid Approach for Multi-attribute QoS Optimisation in Component Based Software Systems.
Proceedings of the Research into Practice, 2010
Proceedings of the Research into Practice, 2010
A Prediction Model for Software Performance in Symmetric Multiprocessing Environments.
Proceedings of the QEST 2010, 2010
Using quality of service bounds for effective multi-objective software architecture optimization.
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, 2010
Focussing Multi-Objective Software Architecture Optimization Using Quality of Service Bounds.
Proceedings of the Models in Software Engineering, 2010
Proceedings of the First International Workshop on Model-Driven Interoperability, 2010
Automatic Derivation of Performance Prediction Models for Load-balancing Properties Based on Goal-oriented Measurements.
Proceedings of the MASCOTS 2010, 2010
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010
Proceedings of the Fundamental Approaches to Software Engineering, 2010
Proceedings of the Computer Performance Engineering, 2010
Towards Self-Aware Performance and Resource Management in Modern Service-Oriented Systems.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2009
Reverse Engineering von Software-Komponentenverhalten mittels Genetischer Programmierung.
Softwaretechnik-Trends, 2009
J. Syst. Softw., 2009
Proceedings of the 1st international workshop on Quality of service-oriented software systems, 2009
Proceedings of the Software Engineering 2009, 2009
Proceedings of the QEST 2009, 2009
Performance evaluation of scheduling policies in symmetric multiprocessing environments.
Proceedings of the 17th Annual Meeting of the IEEE/ACM International Symposium on Modelling, 2009
Proceedings of the Quantitative Software Design, 20.10. - 23.10.2009, 2009
Proceedings of the Component-Based Software Engineering, 12th International Symposium, 2009
2008
Proceedings of the 5th International Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2008
Proceedings of the 7th International Workshop on Software and Performance, 2008
Proceedings of the Industrialisierung des Software-Managements: Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -Wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 12., 2008
A Model Transformation from the Palladio Component Model to Layered Queueing Networks.
Proceedings of the Performance Evaluation: Metrics, 2008
Towards Automatic Construction of Reusable Prediction Models for Component-Based Performance Engineering.
Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008
Towards supporting evolution of service-oriented architectures through quality impact prediction.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008
A case study evaluation of maintainability and performance of persistency techniques.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008
An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method.
Proceedings of the Computer Performance Engineering, 2008
An Empirical Investigation of the Effort of Creating Reusable, Component-Based Models for Performance Prediction.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008
Performance Prediction for Black-Box Components Using Reengineered Parametric Behaviour Models.
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008
Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008
2007
Bericht über den Workshop <i>Software-Architektur und Migration</i> im Rahmen der Software-Engineering 2007, 27. März 2007 in Hamburg.
Softwaretechnik-Trends, 2007
Proceedings of the 6th International Workshop on Software and Performance, 2007
Einführung.
Proceedings of the Software Engineering 2007, 2007
WG5: Workshop Softwarearchitektur und Migration.
Proceedings of the Software Engineering 2007, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
Proceedings of the Common Component Modeling Example: Comparing Software Component Models [result from the Dagstuhl research seminar for CoCoME, 2007
2006
Bericht vom Gründertreffen der Fachgruppe Software-Architektur am 12. und 13. Oktober 2006 in Karlsruhe.
Softwaretechnik-Trends, 2006
Proceedings of the Third International Workshop on Formal Aspects of Component Software, 2006
Obj. Logiciel Base données Réseaux, 2006
Proceedings of the Quality of Software Architectures, 2006
Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006
2005
Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005
ACM SIGSOFT Softw. Eng. Notes, 2005
Proceedings of the Software Engineering 2005, 2005
Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005
Modelling Parametric Contracts and the State Space of Composite Components by Graph Grammars.
Proceedings of the Fundamental Approaches to Software Engineering, 2005
Proceedings of the Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30, 2005
Proceedings of the Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30, 2005
Proceedings of the Dependability Metrics: Advanced Lectures [result from a Dagstuhl seminar, October 30, 2005
2004
Trans. SDPS, 2004
Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004
Applying Patterns to Develop a Product Line Architecture for Statistical Analysis Software.
Proceedings of the 4th Working IEEE / IFIP Conference on Software Architecture (WICSA 2004), 2004
Proceedings of the Object-Oriented and Internet-Based Technologies, 2004
The Dublo Architecture Pattern for Smooth Migration of Business Information Systems: An Experience Report.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004
Proceedings of the Enterprise Application Integration 2004, 2004
Proceedings of the Architecting Systems with Trustworthy Components, 12.-17. December 2004, 2004
Classifying Software Component Interoperability Errors to Support Component Adaption.
Proceedings of the Component-Based Software Engineering, 7th International Symposium, 2004
Proceedings of the Architekturen, Komponenten, Anwendungen, 2004
2003
J. Syst. Softw., 2003
A controlled experiment to evaluate how styles affect the understandability of requirements specifications.
Inf. Softw. Technol., 2003
Using SKaMPI for developing high-performance MPI programs with performance portability.
Future Gener. Comput. Syst., 2003
Future Gener. Comput. Syst., 2003
Proceedings of the 29th EUROMICRO Conference 2003, 2003
Proceedings of the Component-Based Software Quality - Methods and Techniques, 2003
2002
Sci. Program., 2002
Counter-Constrained Finite State Machines: A New Model for Component Protocols with Resource-Dependencies.
Proceedings of the SOFSEM 2002: Theory and Practice of Informatics, 2002
Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 9th European PVM/MPI Users' Group Meeting, Linz, Austria, September 29, 2002
Proceedings of the Computational Science - ICCS 2002, 2002
Generating Adapters for Concurrent Component Protocol Synchronisation.
Proceedings of the Formal Methods for Open Object-Based Distributed Systems V, 2002
Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002
2001
PhD thesis, 2001
Trust-by-Contract: Modelling, Analysing and Predicting Behaviour of Software Architectures.
Trans. SDPS, 2001
Proceedings of the Computational Science - ICCS 2001, 2001
Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001
Logos, ISBN: 978-3-89722-783-5, 2001
2000
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 2000
1999
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1999
1998
Proceedings of the Recent Advances in Parallel Virtual Machine and Message Passing Interface, 1998