Startseite > People > Staff > A. Schroeder > Publications

Publications

  • Andreas Schroeder, Sebastian Bauer and Martin Wirsing. A contract-based approach to adaptivity. Logic and Algebraic Programming, 80. Elsevier, 2011.
  • Andreas Schroeder, Christian Kroiß and Thomas Mair. Context Acquisition and Acting in Pervasive Physiological Computing. Proceedings of the 7th International ICST Conference on Mobile and Ubiquitous Systems. 2010.
  • Martin Wirsing, Sebastian Bauer, Andreas Schroeder. Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude. 1st International Workshop on Rewriting Techniques for Real-Time Systems. Longyearbyen, Norway. EPTCS 36, 1-25. 2010.
  • Christian Straube and Andreas Schroeder. Architectural Constraints for Pervasive Adaptive Applications. 3rd DisCoTec Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services. Amsterdam, Netherlands. ECEASST 28, 2010.
  • Philip Mayer, Andreas Schroeder, Sebastian Bauer. A Strict-Observational Interface Theory for Analysing Service Orchestrations. 7th International Workshop on Formal Engineering approaches to Software Components and Architectures. Paphos, Cyprus. ENTCS 264(1), 125-139. Elsevier 2010.
  • Sebastian Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker. On Weak Modal Compatibility, Refinement, and the MIO Workbench. 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Paphos, Cyprus. LNCS 6015, 157-189. Springer-Verlag 2010.
  • Roberto Bruni, Matthias Hölzl, Nora Koch, Alberto Lluch Lafuente, Philip Mayer, Ugo Montanari, Andreas Schroeder, and Martin Wirsing. A service-oriented UML profile with formal support. 7th international joint conference on Service Oriented Computing. Stockholm, Sweden. LNCS 5900, 455-469. Springer-Verlag, 2009.
  • Martin Wirsing, Moritz Hammer, Andreas Schroeder, Sebastian Bauer. A Contract-Based Approach to Adaptability in User-Centric Pervasive Applications. 3rd Workshop on Formal Languages and Contract-Oriented Software. Research Report No. 385, 53-60. University of Oslo, Dept. of Informatics, 2009.
  • Gilbert Beyer, Christoph Mayer, Christian Kroiss, Andreas Schroeder. Person Aware Advertising Displays: Emotional, Cognitive, Physical Adaptation Capabilities for Contact Exploitation. 1st Workshop on Pervasive Advertising at Pervasive. Nara, Japan. 2009.
  • Gilbert Beyer, Moritz Hammer, Christian Kroiss, and Andreas Schroeder. A Component-Based Approach for Realizing Pervasive Adaptive Systems. 1st Workshop on User-Centric Pervasive Adaptation. LNICST 12, 98-104. Springer, 2009.
  • Andreas Schroeder, Marjolein van der Zwaag, and Moritz Hammer. A Middleware Architecture for Human-Centred Pervasive Adaptive Applications. 1st Workshop on Pervasive Adaptation, Venice, Italy. 2nd Conference on Self-Adaptive and Self-Organizing Systems Workshops. 138-143. IEEE Computer Society, 2008.
  • Martin Wirsing, Matthias Hölzl, Lucia Acciai, Allan Clark, Federico Banti, Alessandro Fantechi, Stephen Gilmore, Stefania Gnesi, Laszlo Gönczy, Matthias Hölz, Nora Koch, Alessandro Lapadula, Philip Mayer, Franco Mazzanti, Rosario Pugliese, Andreas Schroeder, Francesco Tiezzi, Mirco Tribastone, and Daniel Varro. SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2008), Porto Sani, Greece. CCIS 17, 170-190. Springer-Verlag, 2008
  • Birna van Riemsdijk, Rolf Hennicker, Martin Wirsing, and Andreas Schroeder. Service Specification and Matchmaking Using Description Logic. 12th International Conference on Algebraic Methodology and Software Technology (AMAST 2008), Urbana, Illinois, USA. LNCS 5140, 392-406. Springer-Verlag, 2008.
  • Philip Mayer, Nora Koch, and Andreas Schroeder. A Model-Driven Approach to Service Orchestration. International Conference on Services Computing (SCC 2008), Honolulu, USA. 533-536. IEEE Computer Society, 2008.
  • Martin Wirsing, Matthias Hölzl, Nora Koch, Philip Mayer, Andreas Schroeder. Service Engineering: The Sensoria Model Driven Approach. Software Engineering Research, Management and Applications (SERA 2008), Prague, Czech Republic. IEEE Computer Society, 2008.
  • Martin Wirsing, Laura Bocchi, Allen Clark, José Luiz Fiadeiro, Stephen Gilmore, Matthias Hölzl, Nora Koch, Philip Mayer, Rosario Pugliese, Andreas Schroeder. Sensoria: Engineering for Service-Oriented Overlay Computers. In: Elisabetta di Nitto, Anne-Marie Sassen, Paolo Traverso and Arian Zwegers. At your service: Service Engineering in the Information Society Technologies Program. ISBN 978-0-262-04253-6. MIT Press 2008.
  • Andreas Schmid, Srinivas Padmanabhuni, and Andreas Schroeder. A Soft Constraints-Based Approach for Reconciliation of Non-Functional Requirements in Web Services-Based Multi-Agent Systems. International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, USA. 711-718. IEEE Computer Society, 2007.
  • François Bry, Tim Furche, Benedikt Linse, Andreas Schroeder. Efficient Evaluation of n-ary Conjunctive Queries over Trees and Graphs. 8th International Workshop on Web Information and Data Mining (WIDM 2006), Arlington, Virginia, USA. ACM Press, 2006.
  • Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, and Andreas Schroeder. Semantic-Based Development of Service-Oriented Systems. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE 2006), Paris, France. LNCS 4229, 24-45. Springer-Verlag, 2006.
  • Sacha Berger, François Bry, Tim Furche, Benedikt Linse, and Andreas Schroeder. Effective and Efficient Data Access in the Versatile Web Query Language Xcerpt. 4th International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2006), Budva, Montenegro. LNCS 4187, 219-224. Springer-Verlag, 2006.
  • Sacha Berger, François Bry, Tim Furche, Benedikt Linse and Andreas Schroeder. Beyond XML and RDF: The Versatile Web Query Language Xcerpt. In 15th International World Wide Web Conference. Edinburgh, Scotland. ACM Press, 2006.
  • Sacha Berger, François Bry, Tim Furche, Benedikt Linse and Andreas Schroeder. Efficient and Effective Data Access in the Versatile Web Query Language Xcerpt. Technical Report, 2006.
  • Andreas Schroeder. An Algebra and Optimization Techniques for Simulation Unification. Diploma Thesis, 2005.
  • François Bry, Sebastian Schaffert and Andreas Schroeder. A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language. In 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming. Potsdam, Germany. LNCS 3392, 258-268. Springer 2005.
  • Andreas Schroeder. An Approach to Backward Chaining in Xcerpt. Project Thesis, 2004.
Versenden Drucken
nach oben
« Mai 2012 »
Mai
MoDiMiDoFrSaSo
123456
78910111213
14151617181920
21222324252627
28293031
Impressum - Datenschutz - Kontakt