Search
Search with catchwords
Publikationen des Lehrstuhls
2021 (1) [ | ||
2020 (8) [ | ||
2019 (22) [ | ||
2018 (27) [ | ||
2017 (26) [ | ||
2016 (18) | ||
1. | Birgit Demuth Harry Sneed | 2016 : Ein Modell für natursprachliche Anforderungsdokumente |
Informatik-Spektrum, 5/2016, DOI: 10.1007/s00287-015-0942-5 | ||
[web] - web | ||
2. | Somayeh Malakuti | 2016 : Programming with Emergent Gummy Modules |
Transactions on Aspect-Oriented Software Development | ||
3. | Steffen Huber Ronny Seiger Thomas Schlegel | 2016 : Using Semantic Queries to Enable Dynamic Service Invocation for Processes in the Internet of Things |
IEEE International Conference on Semantic Computing (ICSC) 2016 | ||
4. | Ronny Seiger Steffen Huber Peter Heisig Uwe Aßmann | 2016 : Enabling Self-adaptive Workflows for Cyber-physical Systems |
Proceedings of the 17th International Conference on Business Process Modeling, Development, and Support BPMDS), 2016. DOI: 10.1007/978-3-319-39429-9_1 | ||
5. | Johannes Mey René Schöne Daniel Langner Christoff Bürger | 2016 : Using Reference Attribute Grammar-Controlled Rewriting for Runtime Resource Management |
CEUR-WS | ||
[pdf] - PDF at CEUR-WS [web] - RES4Ant at CEUR-WS [bibtex] | ||
6. | Ronny Seiger Steffen Huber Thomas Schlegel | 2016 : Toward an execution system for self-healing workflows in cyber-physical systems |
Software & Systems Modeling, 2016, 1-22. DOI: 10.1007/s10270-016-0551-z | ||
7. | Steffen Huber Ronny Seiger André Kühnert Vasileios Theodorou Thomas Schlegel | 2016 : Goal-Based Semantic Queries for Dynamic Processes in the Internet of Things |
International Journal of Semantic Computing, vol 10, no. 2, 2016, 269-293. DOI: 10.1142/S1793351X16400109 | ||
8. | René Schöne Sebastian Götz Uwe Assmann Christoff Bürger | 2016 : Incremental Runtime-generation of Optimisation Problems using RAG-controlled Rewriting |
Proceedings of the 11th International Workshop on Models@run.time | ||
[web] - web | ||
9. | Ronny Seiger Diana Lemme Susann Struwe Thomas Schlegel | 2016 : An interactive mobile control center for cyber-physical systems |
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. DOI: 10.1145/2968219.2971410 | ||
10. | Steffen Huber Ronny Seiger André Kühnert Thomas Schlegel | 2016 : A context-adaptive workflow engine for humans, things and services |
Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct. DOI: 10.1145/2968219.2971369 | ||
11. | Sebastian Götz Nelly Bencomo Kirstie Bellmann Gordon Blair | 2016 : Preface of the 1st International Workshop on Models@run.time for Self-aware Computing Systems |
Proceedings of the IEEE International Conference on Autonomic Computing (ICAC), 2016, IEEE. | ||
[pdf] - pdf | ||
12. | Birgit Demuth | 2016 : Constructive Alignment in Teaching Modeling |
Educators Symposium at MODELS 2016, http://ceur-ws.org/Vol-1835/ | ||
[pdf] - http://ceur-ws.org/Vol-1835/ | ||
13. | Tobias Jäkel Thomas Kühn Hannes Voigt Wolfgang Lehner | 2016 : Towards a Role-Based Contextual Database |
20th East-European Conference on Advances in Databases and Information Systems | ||
[web] - SpringerLink [bibtex] | ||
14. | Thomas Kühn Walter Cazzola | 2016 : Apples and Oranges: Comparing Top-down and Bottom-up Language Product Lines |
Proceedings of the 20th International Systems and Software Product Line Conference | ||
[web] - ACM [bibtex] | ||
15. | Thomas Kühn Kay Bierzynski Sebastian Richly Uwe Aßmann | 2016 : FRaMED: Full-fledge Role Modeling Editor (Tool Demo) |
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering | ||
[web] - ACM [bibtex] | ||
16. | Romina Kühn Mandy Korzetz Lukas Büschel Christina Korger Philip Manja Thomas Schlegel | 2016 : Natural Voting Interactions for Collaborative Work with Mobile Devices |
Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '16) | ||
[web] | ||
17. | Mandy Korzetz Romina Kühn Peter Heisig Thomas Schlegel | 2016 : Natural Collocated Interactions for Merging Results with Mobile Devices |
Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct (MobileHCI '16) | ||
[web] | ||
18. | Romina Kühn Mandy Korzetz Lukas Büschel Franz-Wilhelm Schumann Thomas Schlegel | 2016 : Device-Based Interactions for Anonymous Voting and Rating with Mobile Devices in Collaborative Scenarios |
Proceedings of the 15th International Conference on Mobile and Ubiquitous Multimedia (MUM '16) | ||
[web] | ||
2015 (26) [ | ||
2014 (26) [ | ||
2013 (22) [ | ||
2012 (31) | ||
1. | Sebastian Götz Claas Wilke Sebastian Cech Uwe Aßmann | 2012 : Architecture and Mechanisms for Energy Auto Tuning |
Sustainable Green Computing: Practices, Methodologies and Technologies, IGI Global | ||
[web] - Verlagshomepage [bibtex] | ||
2. | Julia Schroeter Sebastian Cech Sebastian Götz Claas Wilke Uwe Aßmann | 2012 : Towards Modeling a Variable Architecture for Multi-Tenant SaaS-Applications |
Proceedings of Sixth International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS 2012) | ||
[bibtex] | ||
3. | Mario Pukall Christian Kästner Walter Cazzola Sebastian Götz Alexander Grebhahn Reimar Schöter and Gunter Saake | 2012 : JavAdaptor - Flexible Runtime Updates of Java Applications |
Software: Practice and Experience | ||
4. | Claas Wilke Andreas Bartho Julia Schroeter Sven Karol Uwe Aßmann | 2012 : Extended Version of Elucidative Development for Model-Based Documentation and Language Specification |
Technical Report TUD-FI12-01-Januar 2012, Technische Universität Dresden, ISSN 1430-211X | ||
[pdf] - Paper as PDF [bibtex] | ||
5. | Sebastian Götz Max Leuthäuser Christian Piechnick Jan Reimann Sebastian Richly Julia Schroeter Claas Wilke Uwe Aßmann | 2012 : Entwicklung Cyber-Physikalischer Systeme am Beispiel des NAO-Roboters |
In: Chemnitzer Linux-Tage 2012 - Tagungsband, Universitätsverlag Chemnitz, 2012 | ||
[web] - Workshop Website [bibtex] | ||
6. | Claas Wilke Andreas Bartho Julia Schroeter Sven Karol Uwe Aßmann | 2012 : Elucidative Development for Model-Based Documentation |
TOOLS Europe 2012, LNCS 7304, pp. 321--336. Springer, Heidelberg (2012). | ||
[pdf] - Presentation slides [web1] - Conference Website [web2] - PDF via Springerlink [bibtex] | ||
7. | Sven Karol Christoff Bürger Uwe Aßmann | 2012 : Towards Well-formed Fragment Composition with Reference Attribute Grammars |
To appear in Proceedings of the 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012) | ||
[web] - Conference Website | ||
8. | Jan Reimann Mirko Seifert Uwe Aßmann | 2012 : On the reuse and recommendation of model refactoring specifications |
Software and Systems Modeling (SoSyM) Journal Online First version since 19th April 2012 | ||
[pdf] [bibtex] | ||
9. | Christian Piechnick Sebastian Richly Sebastian Götz Claas Wilke Uwe Aßmann | 2012 : Using Role-Based Composition to Support Unanticipated, Dynamic Adaptation - Smart Application Grids |
To appear in Proceedings of ADAPTIVE 2012, The Fourth International Conference on Adaptive and Self-adaptive Systems and Applications July 22-27, 2011 - Nice, France | ||
[bibtex] | ||
10. | Claas Wilke | 2012 : Energieverbrauchsermittlung von Android-Applikationen |
Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ Beiträge zum Fachforum, Technischer Bericht TUD-FI12-05-Mai 2012, Technische Universität Dresden, pp. 70-74. | ||
[pdf] - Workshop Proceedings [web] - Workshop Website [bibtex] | ||
11. | Steffen Zschaler Birgit Demuth Lothar Schmitz | 2012 : SalesPoint: A Java framework for teaching object-oriented software development. |
Science of Computer Programming 79(2014)189203, http://dx.doi.org/10.1016/j.scico.2012.04.005 | ||
[pdf] - pdf [web] - DOI [bibtex] | ||
12. | Christian Piechnick | 2012 : Auf dem Weg zu autonomer, unantizipierter und dynamischer Adaption mit Smart Application Grids |
Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ Beiträge zum Fachforum, Technischer Bericht TUD-FI12-05-Mai 2012, Technische Universität Dresden, pp. 50--54 | ||
[pdf] [web] [bibtex] | ||
13. | Sebastian Götz Claas Wilke Sebastian Richly Uwe Aßmann | 2012 : Approximating Quality Contracts for Energy Auto-Tuning Software |
Proceedings of First International Workshop on Green and Sustainable Software (GREENS 2012) | ||
[web] - Homepage [bibtex] | ||
14. | Claas Wilke Sebastian Richly Georg Püschel Christian Piechnick Sebastian Götz Uwe Aßmann | 2012 : Energy Labels for Mobile Applications |
Proceedings des 1. Workshop zur Entwicklung energiebewusster Software (EEbS 2012) | ||
[bibtex] | ||
15. | Julia Schroeter Malte Lochau Tim Winkelmann | 2012 : Conper: Consistent Perspectives on Feature Models |
Joint Proceedings of the 8th European Conference on Modelling Foundations and Applications (ECMFA '12), July 2012 | ||
16. | Karsten Saller Sebastian Oster Andy Schürr Julia Schroeter Malte Lochau | 2012 : Reducing Feature Models to Improve Runtime Adaptivity on Resource Limited Devices |
Proceedings of the 16th International Software Product Line Conference (SPLC '12), Volume 2, September 2012 | ||
17. | Julia Schroeter Peter Mucha Marcel Muth Kay Jugel Malte Lochau | 2012 : Dynamic Configuration Management of Cloud-based Applications |
Proceedings of the 16th International Software Product Line Conference (SPLC '12), Volume 2, September 2012 | ||
18. | Julia Schroeter Malte Lochau Tim Winkelmann | 2012 : Multi-Perspectives on Feature Models |
Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012 (MODELS'12), October 2012 | ||
19. | Josef Spillner Christian Piechnick Claas Wilke Uwe Aßmann Alexander Schill | 2012 : Autonomous Participation in Cloud Services |
The 5th IEEE/ACM International Conference on Utility and Cloud Computing, Chicago, Illinois, USA | ||
20. | Claas Wilke Sebastian Richly Georg Püschel Christian Piechnick Sebastian Götz Uwe Aßmannn | 2012 : Energy Labels for Mobile Applications |
Proceedings of First Workshop for the Development of Energy-aware Software (EEbS 2012), Lecture Notes in Informatics, Vol. 208 | ||
[pdf] - Presentation Slides [web] - Workshop Website [bibtex] | ||
21. | Christoph Seidl Florian Heidenreich Uwe Aßmann | 2012 : Co-Evolution of Models and Feature Mapping in Software Product Lines |
Proceedings of the 16th International Software Product Line Conference (SPLC), 2012 | ||
[bibtex] | ||
22. | Christoph Seidl | 2012 : Modular sicherheitszertifizierte Anwendungen für cyber-physikalische Systeme |
Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ Beiträge zum Fachforum, Technischer Bericht TUD-FI12-05-Mai 2012, Technische Universität Dresden, pp. 70-74. | ||
[bibtex] | ||
23. | Georg Püschel | 2012 : Testmodellierung für mobile Anwendungen |
Innovationsforum open4INNOVATION2012 regional kooperativ-global innovativ Beiträge zum Fachforum, Technischer Bericht TUD-FI12-05-Mai 2012, Technische Universität Dresden, pp. 50--54 | ||
[pdf] [web] [bibtex] | ||
24. | Georg Püschel Ronny Seiger Thomas Schlegel | 2012 : Test Modeling for Context-aware Ubiquitous Applications with Feature Petri Nets |
Modiquitous workshop | ||
[pdf] [bibtex] | ||
25. | Uwe Aßmann Andreas Bartho Christoff Bürger Sebastian Cech Birgit Demuth Florian Heidenreich Jendrik Johannes Sven Karol Jan Polowinski Jan Reimann Julia Schroeter Mirko Seifert Michael Thiele Christian Wende Claas Wilke | 2012 : DropsBox: the Dresden Open Software Toolbox |
In: Vol. 11 of Software & Systems Modeling (SoSyM), Springer, November 2012, pp 1-37. | ||
[pdf] - PDF via Springerlink [bibtex] | ||
26. | Jan Reimann Claas Wilke Birgit Demuth Michael Muck and Uwe Aßmann | 2012 : Tool Supported OCL Refactoring Catalogue |
2012 Workshop on OCL and Textual Modelling (OCL 2012) | ||
[bibtex] | ||
27. | Birgit Demuth | 2012 : How Should Teaching Modeling and Programming Intertwine? |
Educators Symposium @ MODELS 2012, Innsbruck, 2012 | ||
[bibtex] | ||
28. | Claas Wilke Sebastian Richly Christian Piechnick Sebastian Götz Georg Püschel Uwe Aßmann. | 2012 : Comparing Mobile Applications' Energy Consumption |
Technical Report TUD-Fl12-10 Dezember 2012, Technische Universität Dresden, 2012. | ||
[pdf] - PDF [bibtex] | ||
29. | André Gräning Simone Röttger | 2012 : Innovationsforum open4INNOVATION2012: regional kooperativ - global innovativ |
Technical Report TUD-FI12-05 Mai 2012, Technische Universität Dresden, 2012. | ||
[web] - pdf via Qucosa [bibtex] | ||
30. | Nelly Bencomo Gordon Blair Sebastian Götz Brice Morin Bernhard Rumpe | 2012 : Summary of the 7th International Workshop on Models@run.time |
Proceedings of The 7th Workshop on Models@run.time (MRT12) | ||
[pdf] - ACM DL | ||
31. | Stephan Murer Bruno Bonati Frank J. Furrer | 2012 : The silo effect: losing the game with a decoupled IT strategy |
SimCorp Journal of Applied IT and Investment Management, Volume 4, No. 1, May 2012, pp. 12-15 | ||
[pdf] | ||
2011 (18) [ | ||
2010 (25) | ||
1. | Uwe Aßmann Andreas Bartho Christian Wende | 2010 : Reasoning Web Summer School papers |
Reasoning Web. Semantic Technologies for Software Engineering, 6th International Summer School 2010 | ||
[bibtex] | ||
2. | Sven Karol Steffen Zschaler | 2010 : Providing Mainstream Parser Generators with Modular Language Definition Support |
Technical Report TUD-FI10-01, January 2010, Technische Universität Dresden, ISSN 1430-211X | ||
[pdf] [bibtex] | ||
3. | Sebastian Richly Dirk Habich Birgit Demuth Franziska Gietl Joachim Spilke Wolfgang Lehner Uwe Aßmann | 2010 : Joining Business Rules and Business Processes |
Proceedings of the 16th Int. Conference on Information and Software technologies (IT 2010), ed. by A. Targamadze et al, Kaunas, Lithuania, April 21-23, 2010, ISSN 2029-0020 | ||
[pdf] - Proceedings [web] - IT 2010 | ||
4. | Claas Wilke Jens Dietrich Birgit Demuth | 2010 : Event-Driven Verification in Dynamic Component Models |
Proceedings of the “Fifteenth International Workshop on Component-Oriented Programming” (WCOP2010), June 22, Prague, Czechia, 2010 | ||
[pdf] [bibtex] | ||
5. | Christoff Bürger Sven Karol | 2010 : Towards Attribute Grammars for Metamodel Semantics |
Technical Report TUD-FI10-03, March 2010, Technische Universität Dresden, ISSN 1430-211X | ||
[pdf] [bibtex] | ||
6. | Sebastian Richly Sebastian Götz Uwe Aßmann Sandro Schmidt | 2010 : Role-based Multi-Purpose Workflow Engine Architecture |
Proceedings of 5th International Workshop on Technologies for Context-Aware Business Process Management - TCoB 2010 | ||
[bibtex] | ||
7. | Sebastian Richly Georg Püschel Dirk Habich and Sebastian Götz | 2010 : MapReduce for Scalable Neural Nets Training |
IEEE Proceedings of Congress on Services (SERVICES 2010-I) | ||
[bibtex] | ||
8. | Sven Karol Matthias Niederhausen Uwe Aßmann Klaus Meißner Martin Steinfeldt | 2010 : Towards Generic Weaving of Adaptation Aspects for XML |
Proceedings of International Conference on Internet Computing (ICOMP), July 2010, Las Vegas, USA | ||
[pdf] - Authors Version [bibtex] | ||
9. | Sebastian Götz Claas Wilke Matthias Schmidt Sebastian Cech Uwe Aßmann | 2010 : Towards Energy Auto Tuning |
Proceedings of First Annual International Conference on Green Information Technology (GREEN IT 2010) | ||
[pdf] - authors version [bibtex] | ||
10. | Sven Karol Martin Heinzerling Florian Heidenreich Uwe Aßmann | 2010 : Using Feature Models for Creating Families of Documents |
Proceedings of the 10th ACM symposium on Document engineering, Manchester, UK, Pages 259-262 (DocEng2010) | ||
[web] - ACM Digital Library [bibtex] | ||
11. | Claas Wilke Michael Thiele Christian Wende | 2010 : Extending Variability for OCL Interpretation |
Petriu, D. C., Rouquette, N. and Haugen, Ø. (Eds.): Extending Variability for OCL Interpretation Model Driven Engineering Languages and Systems, 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I. LNCS Series (6394), Springer, Berlin Heidelberg, 2010, pages 361-375. | ||
[pdf] [web] - Conference Website [bibtex] | ||
12. | Florian Heidenreich Jendrik Johannes Mirko Seifert Michael Thiele Christian Wende Claas Wilke | 2010 : Integrating OCL and Textual Modelling Languages |
In proceedings of the Workshop on OCL and Textual Modelling (OCL2010), Oslo, Norwegen, October 3, 2010. | ||
[pdf] [bibtex] | ||
13. | Jan Reimann Mirko Seifert Uwe Aßmann | 2010 : Role-Based Generic Model Refactoring |
Model Driven Engineering Languages and Systems Lecture Notes in Computer Science, 2010, Volume 6395/2010, 78-92, DOI: 10.1007/978-3-642-16129-2_7 | ||
[pdf] [bibtex] | ||
14. | Christoff Bürger Sven Karol Christian Wende | 2010 : Applying Attribute Grammars for Metamodel Semantics |
Proceedings of International Workshop on Formalization of Modeling Languages Colocated with ECOOP 2010 June 21, 2010 - Maribor, Slovenia | ||
[web] - ACM Digital Library | ||
15. | Christoff Bürger Sven Karol Christian Wende Uwe Aßmann | 2010 : Reference Attribute Grammars for Metamodel Semantics |
In Proceedings of the 3rd International Conference on Software Language Engineering (SLE 2010), Eindhoven, The Netherlands, October 12-13, 2010 | ||
[pdf1] - Authors version [pdf2] - Presentation at SLE 2010 [web] - SpringerLink [bibtex] | ||
16. | Jendrik Johannes Uwe Aßmann | 2010 : Concern-based (de)composition of Model-Driven Software Development Processes. |
In Proc. of ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS’10), volume 6395 of LNCS. Springer, 2010. | ||
[pdf] - Authors' version [web] - SpringerLink [bibtex] | ||
17. | Jendrik Johannes Miguel A. Fernández | 2010 : Adding Abstraction and Reuse to a Network Modelling Tool using the Reuseware Composition Framework |
In Proc. of 6th European Conference on Modelling Foundations and Applications (ECMFA’10), volume 6138 of LNCS. Springer, 2010. | ||
[pdf] - Authors' version [web] - SpringerLink [bibtex] | ||
18. | Matthias Schmidt Jan Polowinski Jendrik Johannes Miguel A. Fernández | 2010 : An Integrated Facet-based Library for Arbitrary Software Components |
In Proc. of 6th European Conference on Modelling Foundations and Applications (ECMFA’10), volume 6138 of LNCS. Springer, 2010. | ||
[pdf] - Authors' version [web] - SpringerLink [bibtex] | ||
19. | Joanna Chimiak-Opoka Birgit Demuth | 2010 : A Feature Model for an IDE4OCL |
Workshop on OCL and Textual Modelling, 2010, ACM/IEEE 13th International Conference on Model Driven Engineering, Languages and Systems (MODELS 2010) | ||
[pdf] - EASST 36(2010) | ||
20. | Joanna Chimiak-Opoka Birgit Demuth | 2010 : Teaching OCL Standard Library: First Part of an OCL 2.x Course |
6th Educators' Symposium @ MODELS 2010: Software Modeling in Education | ||
[pdf] - EASST 34(2010) [web] - Model 2010 EduSymp | ||
21. | Stefan Pietschmann Vincent Tietz Jan Reimann Christian Liebing Michèl Pohle and Klaus Meißner | 2010 : A Metamodel for Context-Aware Component-Based Mashup Applications |
Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS 2010) | ||
[pdf] [bibtex] | ||
22. | Sebastian Götz Claas Wilke Matthias Schmidt Sebastian Cech Johannes Waltsgott Ronny Fritzsche | 2010 : THEATRE Resource Manager Interface Specification v. 1.0 |
Technical Report TUD-FI10-08, December 2010, Technische Universität Dresden, ISSN 1430-211X | ||
[pdf] - pdf [bibtex] | ||
23. | Mirko Seifert Christian Wende and Uwe Aßmann | 2010 : Anticipating Unanticipated Tool Interoperability using Role Models |
In Proceedings of the 1st Workshop on Model Driven Interoperability (MDI'2010) (co-located with MODELS 2010), 5th October 2010, Oslo, Norway | ||
24. | Federico Rieckhof Mirko Seifert and Uwe Aßmann | 2010 : Ontology-based Model Synchronisation |
In Proceedings of the "Third Workshop on Transforming and Weaving OWL Ontologies in MDE/MDA (TWOMDE 2010)", 30 June 2010, at TOOLS 2010 federated conferences, Malaga, Spain | ||
25. | Sebastian Richly Sandro Schmidt Uwe Aßmann | 2010 : A Semantic-BDI-Based Approach to Realize Cooperative, Reflexive Workflows |
CICA 2010 USB Memory Stick Proceedings, 8th World Congress on Intelligent Control and Automation (WCICA), 2010, Volume 1, Number 1, Jinan, Shandong, China, 1680 - 1685, IEEE Service Center, Edition 1, ISBN 978-1-4244-67, DOI http://dx.doi.org/10.1109/WCICA.2010.5554771, Juli 2010 | ||
[bibtex] | ||
2009 (31) | ||
1. | Birgit Demuth Daniel Weigel | 2009 : Web Based Software Modeling Exercises in Large-Scale Software Engineering Courses. |
IEEE Proceedings of the 22nd Conference on Software Engineering Education and Training, February, 2009 | ||
[web] | ||
2. | Birgit Demuth Claas Wilke | 2009 : Model and Object Verification by Using Dresden OCL |
Proc. of the Russian-German Workshop \"Innovation Information Technologies: Theory & Practice\", Ufa, Russia, July 25-31, 2009, ISBN 978-5-86911-964-3 | ||
[pdf] | ||
3. | Norbert Siegmund Christian Kästner Marko Rosenmüller Florian Heidenreich Sven Apel and Gunter Saake | 2009 : Bridging the Gap between Variability in Client Application and Database Schema |
In Proceedings of the 13th GI-Fachtagung Datenbanksysteme für Business, Technologie und Web (BTW) (Münster, Germany), Lecture Notes in Informatics. Gesellschaft für Informatik (GI), March 2009. | ||
[pdf] [bibtex] | ||
4. | Florian Heidenreich Jendrik Johannes Sven Karol Mirko Seifert and Christian Wende | 2009 : Derivation and Refinement of Textual Syntax for Models |
In Proceedings of the 5th European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009). Enschede, The Netherlands, June 2009. | ||
[web] - Springer [bibtex] | ||
5. | Christian Wende and Florian Heidenreich | 2009 : A Model-based Product-Line for Scalable Ontology Languages |
In Proceedings of the 1st International Workshop on Model-Driven Product-Line Engineering (MDPLE 2009) collocated with ECMDA-FA 2009. Enschede, The Netherlands, June 2009 | ||
[pdf] [bibtex] | ||
6. | Florian Heidenreich Jendrik Johannes Mirko Seifert Christian Wende and Marcel Böhme | 2009 : Generating Safe Template Languages |
In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE 2009). Denver, Colorado, USA, October 2009. | ||
[bibtex] | ||
7. | Florian Heidenreich | 2009 : Towards Systematic Ensuring Well-Formedness of Software Product Lines |
In Proceedings of the Workshop on Feature-Oriented Software Development (FOSD 2009) co-located with GPCE/MODELs/SLE, Denver, Colorado. | ||
[bibtex] | ||
8. | Sebastian Götz and Mario Pukall | 2009 : On Performance of Delegation in Java |
In Proceedings of 2nd Workshop on Hot Topics of Software Upgrades, HotSWUp 2009, co-located with OOPSLA 2009 | ||
[pdf] [bibtex] | ||
9. | Jan Polowinski | 2009 : Widgets for Faceted Browsing |
In Human Interface and the Management of Information. Designing Information Environments, 2009, 601-610. | ||
[pdf] | ||
10. | Yuan Ren Jens Lemcke Andreas Friesen Tirdad Rahmani Srdjan Zivkovic Boris Gregorcic Andreas Bartho Yuting Zhao Jeff Z. Pan | 2009 : Task Representation and Retrieval in an Ontology-Guided Modelling System |
CEUR Workshop Proceedings, Volume 529 | ||
[pdf] | ||
11. | Jendrik Johannes Roland Samlaus Mirko Seifert | 2009 : Round-trip Support for Invasive Software Composition Systems |
Proceedings of the "International Conference on Software Composition 2009", SC 2009 | ||
[bibtex] | ||
12. | Florian Heidenreich Jendrik Johannes Sven Karol Mirko Seifert Christian Wende | 2009 : EMFText and JaMoPP - Tool Presentation |
Tool demonstration at the \"Fifth European Conference on Model-Driven Architecture Foundations and Applications\", ECMDA-FA 2009 | ||
13. | Florian Heidenreich Jendrik Johannes Mirko Seifert Christian Wende | 2009 : Closing the Gap between Modelling and Java |
Tool demonstration at the "2nd International Conference on Software Language Engineering", SLE'09 | ||
[bibtex] | ||
14. | Florian Heidenreich Jendrik Johannes Mirko Seifert Christian Wende | 2009 : Construct to Reconstruct - Reverse Engineering Java Code with JaMoPP |
Proceedings of the "International Workshop on Reverse Engineering Models from Software Artifacts", R.E.M.'09 | ||
[bibtex] | ||
15. | Mirko Seifert Christian Werner | 2009 : Specification of Triple Graph Grammar Rules using Textual Concrete Syntax |
Proceedings of the 7th International Fujaba Days, 2009 | ||
[bibtex] | ||
16. | Christian Wende Nils Thieme Steffen Zschaler | 2009 : A Role-based Approach Towards Modular Language Engineering |
2nd Int'l Conf. on Software Language Engineering 2009 | ||
[pdf] [bibtex] | ||
17. | Jendrik Johannes | 2009 : Controlling Model-Driven Software Development through Composition Systems |
In Proceedings of the 7th Nordic Workshop on Model Driven Software Engineering (NW-MODE'09), Tampere, Finland, 2009 | ||
[pdf] [bibtex] | ||
18. | Jendrik Johannes Steffen Zschaler Miguel A. Fernández Antonio Castillo Dimitrios S. Kolovos Richard F. Paige | 2009 : Abstracting Complex Languages through Transformation and Composition |
In Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009), Denver, Colorado, 2009. | ||
[bibtex] | ||
19. | Jendrik Johannes Steffen Zschaler Miguel A. Fernández Antonio Castillo Dimitrios S. Kolovos Richard F. Paige | 2009 : Abstracting Complex Languages through Transformation and Composition |
Technical Report TUD-FI09-08 July 2009, Technische Universität Dresden | ||
[pdf] | ||
20. | Florian Heidenreich Jendrik Johannes Mirko Seifert Christian Wende | 2009 : JaMoPP: The Java Model Parser and Printer |
Technical Report TUD-FI09-10 September 2009, Technische Universität Dresden | ||
[pdf] | ||
21. | Jendrik Johannes Karsten Gaul | 2009 : Towards a Generic Layout Composition Framework for Domain Specific Models |
Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 2009 | ||
[pdf] [bibtex] | ||
22. | Jendrik Johannes | 2009 : Developing a Model Composition Framework with Fujaba - An Experience Report |
Proceedings of the 7th International Fujaba Days, 2009 | ||
[bibtex] | ||
23. | Joanna Chimiak-Opoka Birgit Demuth Darius Silingas Nicolas F. Rouquette | 2009 : Requirements Analysis for an Integrated OCL Development Environment |
OCL 2009 Workshop - The Pragmatics of OCL and other textual specification languages, ACM/IEEE MoDELS International Conference, Denver, Colorado, USA, October, 2009 | ||
[pdf1] - Publication in ECASST [pdf2] | ||
24. | Mathias Fritzsche Jendrik Johannes Sebastian Cech Wasif Gilani | 2009 : MDPE - A Workbench providing Performance related Decision Support for BPM Environments |
Proceedings of the Business Process Management Demonstration Track (BPMDemos2009), Ulm, Germany, September 8, 2009. | ||
[web] - weblink [bibtex] | ||
25. | Matthias Niederhausen Sven Karol Uwe Aßmann Klaus Meißner | 2009 : HyperAdapt: Enabling Aspects for XML |
Proceedings of the 9th International Conference on Web Engineering (ICWE 2009), San Sebastian (Spain) | ||
[pdf] [web] [bibtex] | ||
26. | Jakob Henriksson Uwe Aßmann | 2009 : Component Models for Semantic Web Languages |
Lecture Notes in Computer Science, Vol. 5500, p. 233-275 | ||
27. | Jean Bezivin Richard F. Paige Uwe Aßmann Bernhard Rumpe Doug Schmidt | 2009 : Model Engineering for Complex Systems - Dagstuhl Manifesto |
Informatik Spektrum, Vo. 32, Number 5, 2009 | ||
28. | Mario Pukall Christian Kästner Sebastian Götz Walter Cazzola Gunther Saake | 2009 : Flexible Runtime Program Adaptations in Java - A Comparision |
Technischer Report FIN-014-2009, Otto-von-Guericke-Universität Magdeburg | ||
[pdf] - TR [bibtex] | ||
29. | Florian Heidenreich Jakob Henriksson Jendrik Johannes Steffen Zschaler | 2009 : On Language-Independent Model Modularisation |
Transactions on Aspect-Oriented Development VI, Special Issue on Aspects and MDE. LNCS 5560, pp. 39--82, Springer | ||
[web] - DOI [bibtex] | ||
30. | Jakob Henriksson | 2009 : A Lightweight Framework for Universal Fragment Composition — with an application in the Semantic Web. |
Dissertation, Technische Universität Dresden, Fakultät Informatik, Januar 2009 | ||
[web] | ||
31. | Andreas Bartho | 2009 : Creating and Maintaining Tutorials with DEFT |
ICPC 2009 | ||
[bibtex] | ||
2008 (30) [ | ||
2007 (31) | ||
1. | Hermann Härtig Steffen Zschaler Martin Pohlack Ronald Aigner Steffen Göbel Christoph Pohl Simone Röttger | 2007 : Enforceable Component-Based Realtime Contracts -- Supporting Realtime Properties from Software Development to Execution |
In Springer Real-Time Systems Journal, Volume 35, Number 1, Springer, January, 2007 | ||
[web] - Article at Springer | ||
2. | Ilie Şavga Michael Rudolf Jacek Sliwerski Jan Lehmann Harald Wendel | 2007 : API Changes — How Far Would You Go? |
11th European Conference on Software Maintenance and Reengineering “Software Evolution in Complex Software Intensive Systems”, March 21-23, 2007, Amsterdam, the Netherlands | ||
3. | Dirk Habich Sebastian Richly Steffen Preissler Wolfgang Lehner Uwe Aßmann Mike Grasselt Albert Maier | 2007 : Data-Grey-Bos Web Services in Data-Centric Environments |
International Conference on Web Services (ICWS), July 9-13, 2007, Salt Lake City, Utah, USA | ||
4. | Dirk Habich Sebastian Richly Wolfgang Lehner Uwe Aßmann Mike Grasselt Albert Maier Christian Pilarsky | 2007 : Data-aware SOA for Gene Expression Analysis Processes |
The Ist IEEE International Workshop on Service Oriented Technologies for Biological Databases and Tools (SOBDAT 2007) (with ICWS/SCC 2007), July 13- 2007, Salt Lake City, Utah | ||
5. | Sebastian Richly Dirk Habich Sebastian Götz Maik Thiele Stefan Hartung | 2007 : Supporting Gene Expression Analysis Processes by a Service-Oriented Platform |
2007 IEEE International Services Computing Contest (SCContest 2007), 2007 IEEE International Conference on Services Computing (SCC 2007), July 13- 2007, Salt Lake City, Utah | ||
6. | Jakob Henriksson Jendrik Johannes Steffen Zschaler Uwe Aßmann | 2007 : Reuseware — Adding Modularity to Your Language of Choice |
In Proc. of TOOLS Europe 2007 | ||
[pdf] [web] [bibtex] | ||
7. | Dan Chiorean Birgit Demuth Martin Gogolla and JosWarmer | 2007 : OCL for (Meta-)Models in Multiple Application Domains |
LNCS 4364 - Models in Software Engineering, Springer, 2007, p. 152-158 | ||
[web] - SpringerLink | ||
8. | Alessandro Costa Pereira Falk Hartmann Kay Kadner | 2007 : A Distributed Staged Architecture for Multimodal Applications (Extended Abstract) |
Software Engineering 2007 (SE 2007). Lecture Notes in Informatics (LNI) 105. | ||
9. | Jakob Henriksson Florian Heidenreich Jendrik Johannes Steffen Zschaler Uwe Aßmann | 2007 : How dark should a component black-box be? The Reuseware Answer. |
Twelfth International Workshop on Component-Oriented Programming (WCOP 2007) co-located with the 21st European Conference on Object-Oriented Programming (ECOOP 2007), Berlin, Germany, July 2007. | ||
[pdf] [web] [bibtex] | ||
10. | Florian Heidenreich Christian Wende Birgit Demuth | 2007 : A Framework for Generating Query Language Code from OCL Invariants |
In Proceedings of the Workshop Ocl4All: Modelling Systems with OCL co-located with the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, Tennessee, October 2007. To appear. | ||
[web] - ECEASST, Volume 9 | ||
11. | Florian Heidenreich Jendrik Johannes Steffen Zschaler | 2007 : Aspect-Orientation for Your Language of Choice |
In Proceedings of the 11th International Workshop on Aspect-Oriented Modeling (AOM@Models’07) co-located with the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, Tennessee, October 2007. Available at: http://www.aspect-modeling.org/published_papers.html | ||
[pdf] [bibtex] | ||
12. | Florian Heidenreich Christian Wende | 2007 : Bridging the Gap Between Features and Models |
In Proceedings of the Second Workshop on Aspect-Oriented Product Line Engineering (AOPLE'07) co-located with the International Conference on Generative Programming and Component Engineering (GPCE\\'07), Salzburg, Austria, October 2007. | ||
13. | Alessandro Costa Pereira Falk Hartmann Kay Kadner | 2007 : A Distributed Staged Architecture for Multimodal Applications |
in Oquendo, Flavio (Ed.): Software Architecture First European Conference, ECSA 2007, Madrid, Spain, September 24-26, 2007, Proceedings, Volume 4758 of LNCS | ||
14. | Jendrik Johannes Mathias Fritzsche | 2007 : Putting Performance Engineering into Model-Driven Engineering: Model-Driven Performance Engineering |
In Proceedings of MoDeVVa 2007: integrating V&V in MDE co-located with the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, Tennessee, October 2007. | ||
[pdf] - MoDeVVa 2007 proceedings [web] - MoDeVVa 2007 program [bibtex] | ||
15. | Jendrik Johannes | 2007 : Tool Demo: Source Code Composition with the Reuseware Composition Framework |
In Proc. of SCAM 2007 | ||
[web] [bibtex] | ||
16. | Birgit Demuth Hans-Bernhard Liebau | 2007 : An Approach for Bridging the Gap Between Business Rules and the Semantic Web |
Advances in Rule Interchange and Applications. Proceedings of the International Symposium, RuleML 2007, Orlando, Florida, October 2007, Springer, LNCS 4824 | ||
[pdf] - RuleML 2007 [web] - Springer | ||
17. | Birgit Demuth Matthias Bräuer | 2007 : Model-Level Integration of the OCL Standard Library Using a Pivot Model with Generics Support |
In Proceedings of the Workshop Ocl4All: Modeling Systems with OCL co-located with the 10th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2007), Nashville, Tennessee, October 2007. To appear. | ||
[web] - ECEASST, Volume 9 | ||
18. | Ilie Şavga Michael Rudolf | 2007 : Refactoring-Based Adaptation |
Proc. 4th Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT\\'07) at ECOOP’07. Berlin, Germany, 2007 | ||
19. | Ilie Şavga Uwe Aßmann (supervisor) | 2007 : Refactoring-Based Support for Binary Compatibility in Evolving Frameworks |
Proc. Doctoral Symposium at ECOOP’07, Berlin University of Technology, Technical Report ISSN 1436-9915. Berlin, Germany, 2007 | ||
20. | Ilie Şavga Michael Rudolf | 2007 : Refactoring-Driven Adaptation in Evolving Frameworks |
Proc. 1st Workshop on Refactoring Tools (WRT'07) at ECOOP’07. Berlin, Germany, 2007 | ||
21. | Ilie Şavga Michael Rudolf | 2007 : Refactoring-Based Support for Binary Compatibility in Evolving Frameworks |
Proc. 6th International Conference on Generative Programming and Component Engineering (GPCE'07). Salzburg, Austria, 2007 | ||
22. | Claude-Joachim Hamann Steffen Zschaler | 2007 : Scheduling Real-Time Components Using Jitter-Constrained Streams |
Journal of Object Technology, Special Issue on Quality of Service Management. 6(11)2007 | ||
[pdf] - Article [web] - Journal Issue | ||
23. | Mirko Stölzel Steffen Zschaler Leif Geiger | 2007 : Integrating OCL and Model Transformations in Fujaba |
Proceedings of the Sixth OCL Workshop OCL for (Meta-)Models in Multiple Application Domains (OCLApps 2006). Extended versions of selected papers. Electronic Communications of the EASST, volume 5, 2007 | ||
[pdf] - Article | ||
24. | Holger Kampffmeyer Steffen Zschaler | 2007 : Finding the Pattern You Need: The Design Pattern Intent Ontology |
Model Driven Engineering Languages and Systems (Proc. MODELS 2007), pages 211--225, LNCS 4735, Springer 2007 | ||
[pdf] - Article - (c) Springer, the original paper can be found at SpringerLink [web] - Article at Springer | ||
25. | Geri Georg Siv Hilde Houmb Robert France Steffen Zschaler Dorina C. Petriu Jan Jürjens | 2007 : Critical Systems Development Using Modeling Languages -- CSDUML 2006 Workshop Report |
Models in Software Engineering -- Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers. LNCS 4364, Springer 2007 | ||
[web] - Article at Springer | ||
26. | Simone Röttger Steffen Zschaler | 2007 : Tool Support for Refinement of Non-functional Specifications |
Journal on Software and Systems Modelling (SoSyM), volume 6, number 2, Springer June 2007 | ||
[pdf] - Article - (c) Springer, the original paper can be found at SpringerLink [web] - Article at Springer | ||
27. | Christin Groba Sebastian Cech Frank Rosenthal Andreas Gössling | 2007 : Architecture of a Predictive Maintenance Framework |
Proc. 6th International Conference on Computer Information Systems and Industrial Management Applications (CISIM'07). Elk, Poland, June 2007 | ||
[pdf] [bibtex] | ||
28. | Jakob Krause Sebastian Cech | 2007 : Ein Prototyp zur zustandsorientierten Instandhaltung |
GI Proceedings 110, Band 2, INFORMATIK 2007, September 24-27, 2007, Bremen, Germany | ||
[bibtex] | ||
29. | Florian Heidenreich Ulf Wemmie | 2007 : Breaking the Domination of the Internal Graph Model. |
In Proceedings of the Fujaba Days 2007 co-located with the 3rd International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE 2007), Kassel, Germany, October 2007. | ||
30. | James J. Hunt Isabel Tonin Michael Benkel Mirko Seifert Katja Siegemund Nico Feiertag | 2007 : Modeling architecturally neutral realtime systems |
Proceedings of the 5th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2007, Institute of Computer Engineering, Vienna University of Technology, 26-28 September 2007, Vienna, Austria | ||
31. | Jendrik Johannes Tobias Haupt | 2007 : Harmless Metamodel Extensions with Triple Graph Grammars |
Proc. of 5th International Fujaba Days | ||
[bibtex] | ||
2006 (19) [ | ||
2005 (8) [ | ||
2004 (18) | ||
1. | J.-M. Bruel G. Georg H. Hussmann I. Ober Ch. Pohl J. Whittle St. Zschaler | 2004 : Proceedings of the First Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04) |
Technical Report TUD-FI04-12.Sept.2004 at the Technische Universität Dresden | ||
[pdf] - Unreviewed Publication | ||
2. | St. Göbel Ch. Pohl R. Aigner M. Pohlack S. Röttger St. Zschaler | 2004 : The COMQUAD component container architecture |
Clemens Szyperski, editor, 4th Working IEEE/IFIP Conference on Software Architecture (WICSA), Oslo, Norway, 12-15 June 2004. IEEE | ||
3. | St. Zschaler | 2004 : Research Abstract: Semantic Concepts for the Specification of Non-functional Properties of Component-Based Software |
Doctoral Symposium of the International Conference on Software Engineering, Edinburgh, UK, 2004 | ||
4. | St. Göbel Ch. Pohl R. Aigner M. Pohlack S. Röttger St. Zschaler | 2004 : The COMQUAD component container architecture and contract negotiation |
Technical Report TUD-FI04-04, Technische Universität Dresden, Apr. 2004 | ||
[pdf] | ||
5. | St. Zschaler S. Röttger | 2004 : Types of Quality of Service Contracts for Component-Based Systems |
Proceedings of the IASTED International Conference on Software Engineering (IASTED SE 2004). Innsbruck, Australia. ACTA Press, 2004 | ||
[pdf] | ||
6. | S. Röttger St. Zschaler | 2004 : A Software Development Process Supporting Non-functional Properties |
Proceedings of the IASTED International Conference on Software Engineering (IASTED SE 2004). Innsbruck, Australia. ACTA Press, 2004 | ||
[pdf] | ||
7. | St. Göbel Ch. Pohl S. Röttger St. Zschaler | 2004 : The COMQUAD Component Model - Enabling Dynamic Selection of Implementations by Weaving Non-functional Aspects |
International Conference on Aspect-Oriented Software Development (AOSD'04), Lancaster, UK, 22-26 Mar. 2004. ACM | ||
[web] | ||
8. | St. Zschaler | 2004 : Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems |
30th EUROMICRO Conference, Component-Based Software Engineering Track, Rennes, France, Aug./Sep. 2004 | ||
9. | H. Hussmann St. Zschaler | 2004 : The Object Constraint Language for UML 2.0 -- Overview and Assessment |
Upgrade, digital journal of CEPIS (Council of European Professional Informatics Societies), April 2004 issue | ||
[pdf] [web1] [web2] | ||
10. | J.-M. Bruel G. Georg H. Hussmann I. Ober Ch. Pohl J. Whittle St. Zschaler | 2004 : Workshop on Models of Non-functional Aspects of Component-Based Systems. |
In Jardim Nunes, N. Selic, B., Silva, A. Toval, A. (eds.) UML Modeling Languages and Applications. UML 2004 Satellite Activities Lisbon, Portugal, October 11-15, 2004 Revised Selected Papers. Volume 3297 of LNCS, Springer Verlag (2004) | ||
[web] - Reviewed Book Chapter | ||
11. | St. Zschaler | 2004 : Formal Specification of Non-functional Properties of Component-Based Software |
Jean-Michel Bruel et al. Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04) at UML conference 2004. TR TUD-FI04-12 Sept.2004 | ||
[pdf1] - Reviewed Workshop Paper [pdf2] - Slides [web] - Additional Material | ||
12. | R. Aigner Ch. Pohl M. Pohlack St. Zschaler | 2004 : Tailor-Made Containers: Modeling Non-functional Middleware Service. |
Jean-Michel Bruel et al. Workshop on Models for Non-functional Aspects of Component-Based Software (NfC'04) at UML conference 2004. Technical Report TUD-FI04-12 Sept.2004 | ||
[pdf] - Reviewed Workshop Paper | ||
13. | B. Demuth | 2004 : The Dresden OCL Toolkit and its Role in Information Systems Development |
13th International Conference on Information Systems Development: Methods and Tools, Theory and Practice Conference, Advances in Theory, Practice and Education (ISD'2004), Vilnius, Lithuania, 9-11 September, 2004 | ||
14. | B. Demuth S. Löcher St. Zschaler | 2004 : Structure of the Dresden OCL Toolkit |
2nd International Fujaba Days "MDA with UML and Rule-based Object Manipulation", Technical University of Darmstadt, Germany, September 15 - 17, 2004 | ||
15. | S. Röttger St. Zschaler | 2004 : Model-Driven Development for Non-functional Properties: Refinement through Model Transformation |
In Proceedings of the <<UML>> conference, Lisbon, Portugal, 2004. Volume 3273 of LNCS, Springer, 2004 | ||
[pdf] - Reviewed Conference Paper - (c) Springer-Verlag | ||
16. | St. Zschaler | 2004 : Towards a Semantic Framework for Non-functional Specifications of Component-Based Systems |
In Ralf Steinmetz, Andreas Mauthe (eds.): Proc. 30th EUROMICRO Conference, Rennes, France, Aug./Sep. 2004, pages 92-99. IEEE Computer Science, 2004 | ||
[pdf1] - Reviewed Conference Paper [pdf2] - Slides | ||
17. | Adrian Pop Ilie Şavga Uwe Aßmann Peter Fritzson | 2004 : Composition of XML dialects: A ModelicaXML case study. |
In U. Aßmann, E. Pulvermüller, P. Cointe, N. Bouraquadi, and I. Cointe, editors, Proceedings of Software Composition (SC) - Workshop at ETAPS 2004, volume 114 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 137-152, Barcelona, April 2004. Elsevier. | ||
18. | Uwe Aßmann (ed.) | 2004 : Proceedings of Software Composition (SC) |
Workshop at ETAPS 2004, volume 114, Barcelona, April 2004. Electronic Transactions of Theoretical Computer Science (ENTCS). | ||
[pdf] | ||
2003 (6) [ | ||
2002 (11) [ | ||
2001 (9) [ | ||
2000 (10) [ | ||
1999 (6) [ | ||
1998 (4) [ | ||
1997 (4) [ | ||
1994 (1) [ | ||
1981 (1) [ |