Book Contributions (1)

• J. M. Küster
  Konsistenzmanagement von objektorientierten Verhaltensmodellen
  In D. Wagner et al. (Eds.) Ausgezeichnete Informatikdissertationen 2004. GI-Edition, Lecture Notes in Informatics D5, Gesellschaft für Informatik 2005.
  
  

Journal Articles (6)

• K. Ehrig, J. M. Küster, G. Taentzer
  Generating Instance Models from Meta Models
  Software and Systems Modeling (SoSyM), to appear.
  
  
• R. Hauser, M. Friess, J. M. Küster and J. Vanhatalo
  An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees
  IEEE Transactions on Systems, Man, and Cybernetics, Part C, Volume 38, Issue 3, pages 347-359, May 2008.
  
  
• J. M. Küster
  Definition and Validation of Model Transformations
  Software and Systems Modeling (SoSyM), Volume 5, Number 3, pages 233-259, September 2006.
  
  
• G. Engels, J. M. Küster, L. Groenewegen
  Consistent Interaction of Software Components
  Transactions of the SDPS: Journal of Integrated Design & Process Science, Vol. 6 No. 4, pp. 2-22, December 2002.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Formal Agent-Oriented Modeling with Graph Transformation
  Science of Computer Programming, 44:229-252, 2002.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Roles in Agent-Oriented Modeling
  Int. Journal of Software Engineering and Knowledge Engineering, 11(3):281-302, 2001.
  
  

Conference Papers (25)

• J. M. Küster, C. Gerth, A. Förster and G. Engels
  Detecting and Resolving Process Model Differences in the Absence of a Change Log
  Proceedings 6th International Conference on Business Process Management, LNCS 5240, pages 244-260, Springer-Verlag, September 2008
  
  
• K. Wahler and J. M. Küster
  Predicting Coupling of Object-Centric Business Process Implementations
  Proceedings 6th International Conference on Business Process Management, LNCS 5240, pages 148-163, Springer-Verlag, September 2008.
  
  
• J. Küster, C. Gerth, A. Förster, G. Engels
  A Tool for Process Merging in Business-Driven Development
  Proceedings of the CAiSE'08 Forum at the 20th International Conference on Advanced Information Systems Engineering (CAISE'08), pages 89-92, Montpellier, France, June 2008.
  
  
• J. M. Küster and K. Ryndina
  Improving Inconsistency Resolution with Side-effect Evaluation and Costs
  In G. Engels, B. Opdyke, D. C. Schmidt, F. Weil (Eds.): Proceedings ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, LNCS 4735, Springer, pages 136-150, October 2007.
  
  
• J. M. Küster and K. Ryndina and H. Gall
  Generation of Business Process Models for Object Life Cycle Compliance
  G. Alonso, P. Dadam and M. Rosemann (Eds.), Proceedings 5th International Conference on Business Process Management, LNCS 4714, Springer, pages 165-181, October 2007.
  
  
• J. Koehler, T. Gschwind, J. Küster, C. Pautasso, K. Ryndina, J. Vanhatalo, H. Völzer
  Combining Quality Assurance and Model Transformations in Business-Driven Development
  Proceedings Applications of Graph Transformations with Industrial Relevance 2007 (AGTIVE 2007), pages 1-16, October 2007.
  
  
• O. Zimmermann, T. Gschwind, J. M. Küster, F. Leymann, N. Schuster
  Reusable Architectural Decision Models for Enterprise Application Development
  Proceedings Third International Conference on the Quality of Software-Architectures, July 2007.
  
  
• R. Hauser, M. Friess, J. M. Küster, J. Vanhatalo
  Combining Analysis of Unstructured Workflows with Transformation to Structured Workflows
  Proc. 10th IEEE International EDOC Enterprose Computing Conference (EDOC'06), Hong Kong, China, pages 129-140, October 2006.
  
  
• K. Ehrig, J. Küster, G. Taentzer, J. Winkelmann
  Generating Instance Models from Meta Models
  Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pages 156-170, June 2006.
  
  
• J. M. Küster, G. Engels
  Consistency Management within Model-Based Object-Oriented Development of Components
  Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures, LNCS 3188, pages 157-176, October 2004
  
  
• J. Eden, M. Weber, M.-O. Reiser, T. Wierczoch, U. Freund, O. Gurrieri, J.Küster, H. Lönn, J. Migge
  An Architecture Description Language for Developing Automotive ECU-Software
  Proceedings 14th International Symposium 4th European Systems Engineering Conference (INCOSE 2004), Toulouse, France
  
  
• J. Küster, R. Heckel, G. Engels
  Defining and and Validating Transformations of UML Models
  Proceedings of the IEEE Symposium on Visual Languages and Formal Methods, Auckland, New Zealand, October 28-31, 2003, IEEE Computer Society, pp. 145-152
  
  
• G. Engels, R. Heckel, J. Küster
  The Consistency Workbench: A Tool for Consistency Management in UML-based Development
  In Proceedings UML 2003 - The Unified Modeling Language. Modeling Languages and Applications. 6th International Conference, San Francisco, October 20-24, USA, LNCS 2863, Springer, 2003, pp. 356-359
  
  
• R. Heckel, J. Küster, S. Thöne, H. Voigt
  Towards Consistency of Web Service Architectures
  Proc. of the 7th World Multiconference on Systemics, Cybernetics, and Informatics (SCI 2003), Orlando, Florida USA, July 2003
  
  
• G. Engels, R. Heckel, J. M. Küster, L. Groenewegen
  Consistency-preserving model evolution
  In J.-M. Jézéquel, H. Hussmann, S. Cook: Proc. UML 2002, The Unified Modeling Language, Dresden, Germany, LNCS 2460 Springer-Verlag, pp. 212 - 226, Oktober 2002.
  
  
• R. Heckel, J. Küster, G. Taentzer
  Confluence of Typed Attributed Graph Transformation Systems
  In A. Corradini, H.-J. Kreowski (Editoren): Proc. 1st Int. Conference on Graph Transformation (ICGT 02), Barcelona, Spain, Lecture Notes in Comp. Science. Springer-Verlag, Oktober 2002.
  
  
• G. Engels, J. Küster, L. Groenewegen,
  Consistent Interaction of Software Components
  In Proc (eds.), Proc. Sixth International Conference on Integrated Design and Process Technology (IDPT 2002) , June 23-28, 2002, Pasadena, CA, USA
  
  
• G. Engels, R. Heckel, J. M. Küster
  Rule-Based Specification of Behavioral Consistency based on the UML Meta-Model
  In M. Gogolla, C. Kobryn, editors, Proceedings of the 4th International Conference on the Unified Modeling Language (UML'2001), pages 272 -287, LNCS 2185, Toronto, Canada, October 2001
  
  
• G. Engels, J. M. Küster, L. Groenewegen, R. Heckel,
  A Methodology for Specifying and Analyzing Consistency of Object-Oriented Behavioral Models
  In V. Gruhn (ed.): Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-9), ACM Press, Vienna, Austria, September 2001, pp.186-195.
  
  
• J. M. Küster
  Towards Behavior Consistent Modeling in UML-RT
  In Proceedings of the Forum on Design Languages (FDL'01), Lyon, France, September 2001.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Improving the Agent-Oriented Modeling Process with Roles.
  In Proc. Fifth Int. Conference on Autonomous Agents (AGENTS-2001), Seiten 640-647, Montreal, Canada, Juni 2001. ACM, 2001
  
  
• J. M. Küster, J. Stroop
  Consistent Design of Embedded Real-time Systems with UML-RT
  Proceedings of 4th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'2001), Magdeburg, May 2001
  
  
• C. Geiger, S. Flake, J. M. Küster
  Towards UML-based Analysis and Design of Multi-Agent Systems
  Proceedings of ENAIS'2001, Dubai, March 2001.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Integrating Visual Modeling of Agent-Based and Object-Oriented Systems
  In Proc. Fourth Intern. Conference on Autonomous Agents (AGENTS-2000), Seiten 82-83, Barcelona, Spain, Juni 2000. ACM, 2000.
  
  
• D. Deugo, J. M. Küster, F. Oppacher, I. von Otte.
  Patterns As a Means for Intelligent Software Engineering
  Proceedings International Conference of Artificial Intelligence (IC-AI), 1999
  
  

Workshop Papers (25)

• K. Anastasakis, B. Bordbar and J. M. Küster
  Analysis of Model Transformations via Alloy
  Proceedings 4th Workshop on Model-Driven Engineering, Verification and and Validation (MoDeVVA'07), pages 47-56, October 2007.
  
  
• K. Ryndina, J. Küster, H. Gall
  A Tool for Integrating Object Life Cycle and Business Process Modeling
  In Proceedings of the BPM Demonstration Program at the 5th International Conference on Business Process Management (BPM). CEUR-WS, October 2007.
  
  
• J. M. Küster and M. Abd-El-Razik
  Validation of Model Transformations - First Experiences using a White Box Approach
  Proc. of the 3rd Workshop on Model Design and Validation (MoDeV2a), pages 62-77, October 2006.
  
  
• K. Ryndina and J. M. Küster and H. Gall
  Consistency of Business Process Models and Object Life Cycles
  Proceedings 1st Workshop Quality in Modeling, October 2006
  
  
• J. M. Küster, J. Koehler, K. Ryndina
  Improving Business Process Models with Reference Models in Business-Driven Development
  2nd Workshop on Business Processes Design (BPD'06), LNCS, Springer-Verlag, September 2006.
  
  
• J. Koehler, R. Hauser, J. Küster, K. Ryndina, J. Vanhatalo, M. Wahler
  The Role of Visual Modeling and Model Transformations in Business-driven Development
  Proceedings of the 5th International Workshop on Graph Transformation and Visual Modeling Techniques, 2006.
  
  
• J. M. Küster, S. Sendall, M. Wahler
  Comparing Two Model Transformation Approaches
  Proceedings UML 2004 Workshop OCL and Model Driven Engineering, Lisbon, Portugal, October 12, 2004.
  
  
• J. M. Küster
  Systematic Validation of Model Transformations
  Proceedings 3rd UML Workshop in Software Model Engineering (WiSME 2004), Lisbon, Portugal, October 2004.
  
  
• S. Sendall, J. M. Küster
  Taming Model Round-Trip Engineering
  Proceedings of Workshop on Best Practices for Model-Driven Software Development (part of 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications), Vancouver, Canada, 25th October 2004.
  
  
• S. Sendall, R. Hauser, J. Koehler, J. M. Küster, M. Wahler
  Understanding Model Transformation by Classification and Formalization
  Proceedings of Workshop on Software Transformation Systems (part of 3rd International Conference on Generative Programming and Component Engineering), Vancouver, Canada, 24th October 2004.
  
  
• J. M. Küster
  Towards Inconsistency Handling of Object-Oriented Behavioral Models
  International Workshop on Graph Transformation (GT-VMT'04), Barcelona, Spain
  
  
• J. M. Küster, J. Stehr
  Towards Explicit Behavioral Consistency Concepts in the UML
  Proceedings of the 2nd International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools. Portland, USA.
  
  
• G. Engels, J. M. Küster, R. Heckel, M. Lohmann
  Model Based Verification and Validation of Properties
  In R. Bardohl, H. Ehrig (Editors), UNIGRA'03, Uniform Approaches to Graphical Process Specification Techniques (Satellite Event for ETAPS 2003), Warsaw, Poland, 5-6 April 2003, Volume 82, Issue 7 of Electronic Notes in Theoretical Computer Science, pages 1-18, Elsevier B.V., June 2003
  
  
• G. Engels, J. M. Küster, R. Heckel
  Towards Consistency-Preserving Model Evolution
  In Proceedings ICSE Workshop on Model Evolution, Florida, USA, May 2002
  
  
• R. Heckel, J.M. Küster, G. Taentzer
  Towards Automatic Translation of UML Models into Semantic Domains
  In H.-J. Kreowski (Editor): Proc. ETAPS 2002 Workshop on Application of Graph Transformation, Grenoble, France, April 2002.
  
  
• R. Depke, R. Heckel, J.M. Küster
  Agent-Oriented Modeling with Graph Transformation
  In P. Ciancarini, M.J. Wooldridge (Editoren): Proc. 1st Int. Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick, Ireland, June 2000, Band 1957 der Reihe Lecture Notes in Comp. Science, Seiten 105-120. Springer-Verlag, Berlin, 2001.
  
  
• R. Heckel, J.M. Küster
  Behavioral Constraints for Visual Models
  In Proc. ICALP2001 Workshop on Graph Transformation and Visual Modelling Techniques (GT-VMT 2001), Heraklion, Greece, Band 50.3 der Reihe Electronic Notes in TCS. Elsevier Science, 2001
  
  
• J. H. Hausmann, J. M. Küster, S. Sauer
  Identifiying Semantic Dimensions of (UML) Sequence Diagrams
  In A. Evans, R. France, A. Moreira, B. Rumpe (eds.), Practical UML-Based Rigorous Development Methods - Countering or Integrating the eXtremists, UML 2001 Workshop, pp. 142-157. Gesellschaft für Informatik, 2001.
  
  
• G. Engels, J. M. Küster
  Enhancing UML-RT Concepts for Behavioral Consistent Architecture Models
  In Proceedings of the 1st ICSE Workshop on Describing Software Architecture with UML, Toronto, Canada, May 2001.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Rollenbasierte Modellierung autonomer Agenten
  In H. Giese, S. Philippi (Editoren): Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objekt-orientierte Software-Entwicklung. Universität Münster, November 2000
  
  
• G. Engels, J. M. Küster, L. Groenewegen
  Modeling Concurrent Behavior through Consistent Statechart Views
  Proceedings of the Workshop Dynamic Behaviour in UML Models: Semantic Questions, pages 44-49. G. Reggio and A. Knapp and B. Rumpe and B. Selic and R. Wieringa (editors), Technical Report No 6, LMU München, October 2000
  
  
• J. M. Küster, J. Stroop
  Towards Consistency of Dynamic Models and Analysis of Timing Constraints
  1st Workshop on Formal Design Techniques for Real-time Systems at UML'2000, York, UK, October 2000.
  
  
• R. Depke, R. Heckel,J. M. Küster
  Requirement Specification and Design of Agent-Based Systems with Graph Transformation,Roles and UML
  In P. Ciancarini, M.J. Wooldridge (Editoren): Proc. 1st Int. Workshop on Agent-Oriented Software Engineering (ICSE-2000 Workshop), Limerick, Ireland, Juni 2000. University of Limerick,2000.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Deploying Agents in an Electronic Banking Environment
  In Workshop on Agents in Industry during the 4th International Conference on Autonomous Agents (Agents 2000), Barcelona, Spain, Juni 2000.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Modeling Agent-Based Systems with Graph Transformation and UML: From Requirement Specifcation to Object-Oriented Design
  In H. Ehrig, G. Taentzer (Editoren): Joint APPLIGRAPH/GETGRATS Workshop on Graph Transformation Systems (GraTra 2000), Berlin, Germany, March 2000.
  
  

Diploma Theses (1)

• J. M. Küster
  Visual Modeling of Agent-Based Systems: A Role-Oriented Approach Using the UML.
  Diplomarbeit, University of Paderborn, Germany, January 2000.
  
  

PhD Theses (1)

• J. M. Küster
  Consistency Management of Object-Oriented Behavioral Models
  Dissertation, University of Paderborn, March 2004
  
  

Technical Reports (4)

• R. Heckel, J. M. Küster, N. Bandener, B. Güldali, I. Jahnich, C. Köpke, M. Weking
  Automatische Qualitätssicherung von UML Modellen. Bericht der Projektgruppe
  Technischer Bericht TR-RI-03-245, Universität Paderborn
  
  
• G. Engels, J. M. Küster, L. Groenewegen
  On the Specification and Analysis of Protocols in UML-RT
  Technical Report No. 01-221 , University of Paderborn, Dep. of Comp. Sci., January 2001.
  
  
• R. Depke, R. Heckel, J. M. Küster
  Modeling agent-based systems with graph transformation
  Technical Report tr-ri-00-213, University of Paderborn, Germany, August 2000
  
  
• R. Depke, G. Engels, J. M. Küster.
  On the integration of roles in the UML
  Technical Report tr-ri-00-214, University of Paderborn, Germany, August 2000
  
  

Miscellaneous (1)

• R. Depke, R. Heckel, J. M. Küster, M. Langham
  Agenten im Auftrag des Bankkunden
  Geldinstitute, 31(1-2):32-33, Februar 2000