@Inproceedings{ascensbook-cloud, publisher = {Springer}, booktitle = {Software Engineering for Collective Autonomic Systems}, year = {2015}, series = {Lecture Notes in Computer Science}, editor = {Martin Wirsing and Matthias Hölzl and Nora Koch and Philip Mayer}, author = {Philip Mayer and Jose Velasco and Annabelle Klarl and Rolf Hennicker and Maria-Chiara Puviani and Francesco Tiezzi and Rosario Pugliese and Jaroslav Keznikl and Tomas Bures}, volume = {8998}, title = {{The Autonomic Cloud}}, pages = {495-512} } @Inproceedings{lrc2015, publisher = {Springer}, booktitle = {Logic, Rewriting, and Concurreny}, url = {http://pmi.pst.ifi.lmu.de/text_files/0000/0018/meseguer15_final.pdf}, year = {2015}, series = {Lecture Notes in Computer Science}, author = {Rolf Hennicker and Annabelle Klarl and Martin Wirsing}, volume = {9200}, title = {{Model-Checking Helena Ensemble Specifications with Spin}}, pages = {331-360} } @Incollection{SecWAO, issn = {1673-7288}, publisher = {Institute of Software, Chinese Academy of Sciences}, booktitle = {International Journal of Software and Informatics}, url = {http://pmi.pst.ifi.lmu.de/text_files/0000/0019/SecWAOBuschWirsing2015.pdf}, year = {2015}, number = {2}, series = {International Journal of Software and Informatics}, editor = {Ruqian Lu}, author = {Marianne Busch and Martin Wirsing}, volume = {9}, title = {{An Ontology for Secure Web Applications}}, pages = {233--258} } @Inproceedings{buschModellierung, issn = {1617-5468}, publisher = {Gesellschaft f\"{u}r Informatik e.V. (GI)}, booktitle = {Proceedings of MoK14}, year = {2014}, isbn = {978-388579-619-0}, editor = {Hans-Georg Fill and Dimitris Karagiannis and Ulrich Reimer}, author = {Marianne Busch and Nora Koch and Martin Wirsing}, title = {{SecEval: An Evaluation Framework for Engineering Secure Systems}} } @Inbook{NESSoSSecEvalChapter, publisher = {Springer}, year = {2014}, chapter = {{S}ystematic {E}valuation of {E}ngineering {A}pproaches for {S}ecure {S}oftware and {S}ystems}, editor = {Maritta Heisel and Wouter Joosen and Javier Lopez and Fabio Martinelli}, author = {Marianne Busch and Nora Koch and Martin Wirsing}, volume = {LNCS 8431}, title = {{Advances in Engineering Secure Future Internet Services and Systems}} } @Inproceedings{EMMW13, publisher = {Springer}, booktitle = {International Workshop on Algebraic Development Techniques (WADT 2012)}, year = {2013}, series = {LNCS}, author = {Jonas Eckhardt and Tobias Mühlbauer and Jos{\'e} Meseguer and Martin Wirsing}, title = {{Statistical Model-Checking for Composite Actor Systems}} } @Inproceedings{AnalysisCloud@WRLA'12, status = {public}, publisher = {Springer}, booktitle = {9th International Workshop on Rewriting Logic and its Applications (WRLA 2012)}, abstract = {Cloud computing is a modern paradigm for offering and utilizing distributed infrastructure resources in a dynamic way. Cloud-based systems are safety- and security-critical systems; they need to satisfy time-critical performance-based quality of service properties and to dynamically adapt to changes in the potentially hostile and uncertain environment they operate in. These aspects make distributed Cloud-based systems complex and hard to design, build, test, and verify. In this paper we propose the coordination language KLAIM for modelling cloud-based architectures whereas for formally analysing such architectures we use a rewritingbased approach. KLAIM is a process algebrabased formalism for designing distributed applications with (object-oriented) mobile code. It supports explicit localities and multiple tuple spaces and permits exchanging data and processes and retrieving information over the net. As examples for the design of cloud-based architectures in KLAIM we present a simple (Fibonacci-) server consumer application, a load balancing algorithm, a mutual exclusion algorithm and a defense mechanism against denial-of-service attacks. For analysing KLAIM specifications we specify KLAIM in object-oriented Maude and then show how to realize distributed KLAIM programs by providing multiple instances of Maude which communicate via sockets. Then we use the Maude system, the Maude LTL modelchecker and the statistical model checker PVeStA for simulating the cloud computing examples and for verifying appropriate correctness properties.}, wp = {WP7}, year = {2012}, main = {yes}, invited = {no}, period = {year2}, task = {T7.2}, series = {LNCS}, partner = {LMU}, editor = {Franciso Dur\'{a}n}, author = {Martin Wirsing and Jonas Eckhardt and Tobias Mühlbauer and José Meseguer}, title = {{Design and Analysis of Cloud-Based Architectures with KLAIM and Maude}} } @Incollection{BauerHW10, publisher = {Springer Berlin / Heidelberg}, booktitle = {Recent Trends in Algebraic Development Techniques}, year = {2012}, affiliation = {Ludwig-Maximilians-Universität, München, Germany}, series = {Lecture Notes in Computer Science}, isbn = {978-3-642-28411-3}, editor = {Till Mossakowski and Hans-J\"{o}rg Kreowski}, author = {Sebastian Bauer and Rolf Hennicker and Martin Wirsing}, volume = {7137}, title = {{Building a Modal Interface Theory for Concurrency and Data}}, pages = {1-12}, note = {10.1007/978-3-642-28412-0_1} } @Inproceedings{DoSPatterns@FASE'12, status = {public}, publisher = {Springer}, booktitle = {15th International Conference on Fundamentals of Software Engineering (FASE'12)}, abstract = {Availability is an important security property for Internet services and a key ingredient of most service level agreements. It can be compromised by distributed Denial of Service (DoS) attacks. In this work we propose a formal pattern-based approach to study defense mechanisms against DoS attacks. We enhance pattern descriptions with formal models that allow the designer to give guarantees on the behavior of the proposed solution. The underlying executable speci cation formalism we use is the rewriting logic language Maude and its real-time and probabilistic extensions. We introduce the notion of stable availability, which means that with very high probability service quality remains very close to a threshold, regardless of how bad the DoS attack can get. Then we present two formal patterns which can serve as defenses against DoS attacks: the Adaptive Selective Veri cation (ASV) pattern, which enhances a communication protocol with a defense mechanism, and the Server Replicator (SR) pattern, which provisions additional resources on demand. However, ASV achieves availability without stability, and SR cannot achieve stable availability at a reasonable cost. As a main result we show, by statistical model checking with the PVeStA tool, that the composition of both patterns yields a new improved pattern which guarantees stable availability at a reasonable cost.}, url = {http://pmi.pst.ifi.lmu.de/text_files/0000/0021/FASE12StablAvail.pdf}, wp = {WP7}, year = {2012}, main = {yes}, period = {year2}, invited = {no}, task = {T7.2}, series = {LNCS}, partner = {LMU}, editor = {Juan Lara and Andrea Zisman}, author = {Jonas Eckhardt and Tobias Mühlbauer and Musab AlTurki and José Meseguer and Martin Wirsing}, title = {{Stable Availability under Denial of Service Attacks through Formal Patterns}} } @Inproceedings{schroederwirsing2012physcomp, booktitle = {Software Engineering Conference 2012 Proceedings}, url = {http://pmi.pst.ifi.lmu.de/text_files/0000/0006/se2012.pdf}, year = {2012}, author = {Andreas Schroeder and Martin Wirsing}, title = {{Developing Physiological Computing Systems: Challenges and Solutions}} } @Article{aware11_mwetal, status = {public}, month = {December}, journal = {Awareness Magazine}, abstract = {The challenge of the ASCENS project - www.ascens-ist.eu - is to research and invent new concepts for the design and development of ensembles - autonomous, self-aware systems that consist of a massive number of parallel and distributed components and that adapt their collective behavior to different situations.}, url = {http://www.awareness-mag.eu/view.php?source=003884-2011-11-29}, wp = {WP8}, year = {2011}, main = {no}, period = {year2}, invited = {no}, task = {T8.1}, doi = {10.2417/3201111.003884}, partner = {LMU}, author = {Martin Wirsing and Matthias Hölzl and Annabelle Klarl and Nora Koch}, title = {{Engineering Autonomic Ensembles}}, note = {online publication} } @Article{BauerHW11, bibsource = {DBLP, http://dblp.uni-trier.de}, journal = {Theor. Comput. Sci.}, url = {http://pmi.pst.ifi.lmu.de/text_files/0000/0029/main.pdf}, year = {2011}, ee = {http://dx.doi.org/10.1016/j.tcs.2011.04.007}, number = {28}, doi = {dx.doi.org/10.1016/j.tcs.2011.04.007}, author = {Sebastian S. Bauer and Rolf Hennicker and Martin Wirsing}, volume = {412}, title = {{Interface theories for concurrency and data}}, pages = {3101-3121} } @Book{books/sp/sensoria11, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {Results of the SENSORIA Project}, url = {http://dx.doi.org/10.1007/978-3-642-20401-2}, year = {2011}, ee = {http://dx.doi.org/10.1007/978-3-642-20401-2}, doi = {dx.doi.org/10.1007/978-3-642-20401-2}, series = {Lecture Notes in Computer Science}, isbn = {978-3-642-20400-5}, editor = {Martin Wirsing and Matthias M. H{\"o}lzl}, volume = {6582}, title = {{Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing}} } @Inproceedings{conf/caise/SampathW11, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {BMMDS/EMMSAD}, url = {http://dx.doi.org/10.1007/978-3-642-21759-3_5}, year = {2011}, ee = {http://dx.doi.org/10.1007/978-3-642-21759-3_5}, doi = {dx.doi.org/10.1007/978-3-642-21759-3_5}, author = {Partha Sampath and Martin Wirsing}, crossref = {DBLP:conf/caise/2011bpmds}, title = {{Evaluation of Cost Based Best Practices in Business Processes}}, pages = {61-74} } @Incollection{DBLP:books/sp/sensoria2011/HolzlKMW11, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {Results of the SENSORIA Project}, url = {http://dx.doi.org/10.1007/978-3-642-20401-2_35}, year = {2011}, ee = {http://dx.doi.org/10.1007/978-3-642-20401-2_35}, doi = {dx.doi.org/10.1007/978-3-642-20401-2_35}, series = {Lecture Notes in Computer Science}, editor = {Martin Wirsing and Matthias M. H{\"o}lzl}, author = {Matthias M. H{\"o}lzl and Nora Koch and Philip Mayer and Martin Wirsing}, volume = {6582}, title = {{Sensoria Patterns}}, pages = {719-736} } @Inproceedings{HoelzlW11, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday}, url = {http://dx.doi.org/10.1007/978-3-642-24933-4}, year = {2011}, ee = {http://dx.doi.org/10.1007/978-3-642-24933-4}, doi = {dx.doi.org/10.1007/978-3-642-24933-4}, series = {Lecture Notes in Computer Science}, editor = {Gul Agha and Olivier Danvy and Jos{\'e} Meseguer}, author = {Matthias M. H{\"o}lzl and Martin Wirsing}, volume = {7000}, title = {{Towards a System Model for Ensembles}}, pages = {241-261} } @Article{journals/ijsi/WirsingL11, bibsource = {DBLP, http://dblp.uni-trier.de}, journal = {Int. J. Software and Informatics}, url = {http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=i90}, year = {2011}, ee = {http://www.ijsi.org/IJSI/ch/reader/view_abstract.aspx?file_no=i90}, number = {1-2}, author = {Martin Wirsing and Ruqian Lu}, volume = {5}, title = {{Preface: Foundations and Practice of Systems and Software Engineering - Towards Scientific Contribution of Prof. Manfred Broy}}, pages = {1-6} } @Article{SchroederBW11, bibsource = {DBLP, http://dblp.uni-trier.de}, journal = {J. Log. Algebr. Program.}, url = {http://dx.doi.org/10.1016/j.jlap.2010.09.001}, year = {2011}, ee = {http://dx.doi.org/10.1016/j.jlap.2010.09.001}, number = {3-5}, author = {Andreas Schroeder and Sebastian S. Bauer and Martin Wirsing}, volume = {80}, title = {{A contract-based approach to adaptivity}}, pages = {180-193} } @Inbook{sensoria:book, publisher = {Springer-Verlag}, url = {http://www.pst.ifi.lmu.de/~tribastone/papers/sensoria2011.pdf}, date-added = {2010-04-04 15:59:40 +0200}, year = {2011}, date-modified = {2012-05-09 19:35:12 +0000}, chapter = {{Scaling Performance Analysis using Fluid-Flow Approximation}}, editor = {Martin Wirsing and Matthias {H\"olzl}}, author = {Mirco Tribastone and Stephen Gilmore}, title = {{Rigorous Software Engineering for Service-Oriented Systems---Results of the SENSORIA project on Software Engineering for Service-Oriented Computing}} } @Incollection{WirsingHKM11, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {Results of the SENSORIA Project}, url = {http://dx.doi.org/10.1007/978-3-642-20401-2}, year = {2011}, ee = {http://dx.doi.org/10.1007/978-3-642-20401-2}, doi = {dx.doi.org/10.1007/978-3-642-20401-2}, series = {Lecture Notes in Computer Science}, editor = {Martin Wirsing and Matthias M. H{\"o}lzl}, author = {Martin Wirsing and Matthias M. H{\"o}lzl and Nora Koch and Philip Mayer}, volume = {6582}, title = {{Sensoria - Software Engineering for Service-Oriented Overlay Computers}}, pages = {1-14} } @Inproceedings{DBLP:conf/qosa/Wirsing10, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {QoSA}, year = {2010}, ee = {http://dx.doi.org/10.1007/978-3-642-13821-8_2}, author = {Martin Wirsing}, crossref = {DBLP:conf/qosa/2010}, title = {{A Component-Based Approach to Adaptive User-Centric Pervasive Applications}}, pages = {2} } @Inproceedings{DBLP:conf/sac/KnappMWZ10, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {SAC}, year = {2010}, ee = {http://doi.acm.org/10.1145/1774088.1774600}, author = {Alexander Knapp and Grzegorz Marczynski and Martin Wirsing and Artur Zawlocki}, crossref = {DBLP:conf/sac/2010}, title = {{A heterogeneous approach to service-oriented systems specification}}, pages = {2477-2484} } @Proceedings{DBLP:conf/tgc/2010, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {TGC}, year = {2010}, ee = {http://dx.doi.org/10.1007/978-3-642-15640-3}, series = {Lecture Notes in Computer Science}, isbn = {978-3-642-15639-7}, editor = {Martin Wirsing and Martin Hofmann and Axel Rauschmayer}, volume = {6084}, title = {{Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers}} } @Article{DBLP:journals/mags/RiemsdijkW10, bibsource = {DBLP, http://dblp.uni-trier.de}, journal = {Multiagent and Grid Systems}, year = {2010}, ee = {http://dx.doi.org/10.3233/MGS-2010-0145}, number = {2}, author = {M. Birna van Riemsdijk and Martin Wirsing}, volume = {6}, title = {{Comparing goal-oriented and procedural service orchestration}}, pages = {133-163} } @Inproceedings{isola10accepted, booktitle = {Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation 18-20 October 2010 - Amirandes, Heraclion, Crete}, year = {2010}, author = {Mirco Tribastone and Philip Mayer and Martin Wirsing}, title = {{Performance Prediction of Service-Oriented Systems with Layered Queueing Networks}}, pages = {1-16} } @Inproceedings{WirsingBS10, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS'10)}, year = {2010}, ee = {http://dx.doi.org/10.4204/EPTCS.36.1}, series = {EPTCS}, editor = {Peter Csaba {\"O}lveczky}, author = {Martin Wirsing and Sebastian S. Bauer and Andreas Schroeder}, volume = {36}, title = {{Modeling and Analyzing Adaptive User-Centric Systems in Real-Time Maude}}, pages = {1-25} } @Inproceedings{DBLP:conf/birthday/OrejasW09, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {Semantics and Algebraic Specification}, year = {2009}, ee = {http://dx.doi.org/10.1007/978-3-642-04164-8_8}, author = {Fernando Orejas and Martin Wirsing}, crossref = {DBLP:conf/birthday/2009mosses}, title = {{On the Specification and Verification of Model Transformations}}, pages = {140-161} } @Inproceedings{DBLP:conf/calco/HolzlDMW09, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {CALCO}, year = {2009}, ee = {http://dx.doi.org/10.1007/978-3-642-03741-2_29}, author = {Matthias M. H{\"o}lzl and Grit Denker and Max Meier and Martin Wirsing}, crossref = {DBLP:conf/calco/2009}, title = {{Constraint-Muse: A Soft-Constraint Based System for Music Therapy}}, pages = {423-432} } @Proceedings{DBLP:conf/fase/2009, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {FASE}, year = {2009}, ee = {http://dx.doi.org/10.1007/978-3-642-00593-0}, series = {Lecture Notes in Computer Science}, isbn = {978-3-642-00592-3}, editor = {Marsha Chechik and Martin Wirsing}, volume = {5503}, title = {{Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings}} } @Inproceedings{DBLP:conf/icsoc/BruniHKLMMSW09, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer Verlag}, month = {November}, booktitle = {Proceedings of 7th International Joint Conference on Service-Oriented Computing (ICSOC/ServiceWave 2009), Stockholm, Sweden}, year = {2009}, ee = {http://dx.doi.org/10.1007/978-3-642-10383-4_34}, author = {Roberto Bruni and Matthias H{\"o}lzl and Nora Koch and Alberto Lluch-Lafuente and Philip Mayer and Ugo Montanari and Andreas Schroeder and Martin Wirsing}, crossref = {DBLP:conf/icsoc/2009}, title = {{A Service-Oriented UML Profile with Formal Support}}, pages = {455-469} } @Inproceedings{DBLP:conf/ista/SampathW09, bibsource = {DBLP, http://dblp.uni-trier.de}, booktitle = {UNISCON}, year = {2009}, ee = {http://dx.doi.org/10.1007/978-3-642-01112-2_18}, author = {Partha Sampath and Martin Wirsing}, crossref = {DBLP:conf/ista/2009}, title = {{Computing the Cost of Business Processes}}, pages = {178-183} } @Article{DBLP:journals/entcs/HolzlMW09, bibsource = {DBLP, http://dblp.uni-trier.de}, journal = {Electr. Notes Theor. Comput. Sci.}, year = {2009}, ee = {http://dx.doi.org/10.1016/j.entcs.2009.05.020}, number = {3}, author = {Matthias M. H{\"o}lzl and Max Meier and Martin Wirsing}, volume = {238}, title = {{Which Soft Constraints do you Prefer?}}, pages = {189-205} } @Incollection{sensoramitbook, publisher = {MIT Press}, month = {June}, booktitle = {{At your service: Service Engineering in the Information Society Technologies Program, ISBN 978-0-262-04253-6}}, year = {2009}, editor = {Elisabetta di Nitto and Anne-Marie Sassen and Paolo Traverso and Arian Zwegers}, author = {Martin Wirsing and Laura Bocchi and Allan Clark and Jos\'e Luiz Fiadeiro and Stephen Gilmore and Matthias H\"olzl and Nora Koch and Philip Mayer and Rosario Pugliese and Andreas Schroeder}, title = {{Sensoria: Engineering for Service-Oriented Overlay Computers}} } @Inproceedings{srmc-fase09, publisher = {Springer-Verlag}, month = {March}, booktitle = {Fundamental Approaches to Software Engineering (FASE)}, url = {http://www.pst.ifi.lmu.de/~tribastone/papers/fase2009.pdf}, date-added = {2009-03-17 18:24:13 +0000}, year = {2009}, date-modified = {2012-05-10 08:15:55 +0000}, number = {5503}, series = {LNCS}, address = {York, UK}, editor = {Marsha Chechik and Martin Wirsing}, author = {Allan Clark and Stephen Gilmore and Mirco Tribastone}, title = {{Scalable analysis of scalable systems}}, note = {\emph{invited paper}} } @Misc{wirsing_etal-interlink_wg1_roadmap-2009, month = {March}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2009/wirsing_etal-interlink_wg1_roadmap-2009.pdf}, year = {2009}, howpublished = {Coordination Action InterLink, Deliverable Number D4.1}, author = {Martin Wirsing and Matthias H{\"o}lzl and Axel Rauschmayer}, title = {{Road-Mapping Research in Software-Intensive Systems and New Computing Paradigms}} } @Inproceedings{cengarle-knapp-tarlecki-wirsing:UGO65:2008, publisher = {Springer, Berlin}, booktitle = {{Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday}}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/cengarle-et-al:ugo65:2008.pdf}, year = {2008}, series = {Lect. Notes Comp. Sci.}, editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'e} Meseguer}, author = {Mar\'{\i}a Victoria Cengarle and Alexander Knapp and Andrzej Tarlecki and Martin Wirsing}, volume = {5065}, title = {{A Heterogeneous Approach to UML Semantics}}, pages = {383-402} } @Inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {ISoLA}, url = {http://www.pst.ifi.lmu.de/~tribastone/papers/isola-2-2008.pdf}, date-added = {2009-04-12 16:19:34 +0100}, year = {2008}, date-modified = {2012-05-11 10:22:03 +0000}, ee = {http://dx.doi.org/10.1007/978-3-540-88479-8_13}, series = {Communications in Computer and Information Science}, editor = {Tiziana Margaria and Bernhard Steffen}, author = {Martin Wirsing and Matthias M. H{\"o}lzl and Lucia Acciai and Federico Banti and Allan Clark and Alessandro Fantechi and Stephen Gilmore and Stefania Gnesi and L{\'a}szl{\'o} G{\"o}nczy and Nora Koch and Alessandro Lapadula and Philip Mayer and Franco Mazzanti and Rosario Pugliese and Andreas Schroeder and Francesco Tiezzi and Mirco Tribastone and D{\'a}niel Varr{\'o}}, volume = {17}, title = {{SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity}}, pages = {170-190} } @Book{DBLP:series/lncs/5380, bibsource = {DBLP, http://dblp.uni-trier.de}, publisher = {Springer}, booktitle = {Software-Intensive Systems and New Computing Paradigms}, year = {2008}, series = {Lecture Notes in Computer Science}, isbn = {978-3-540-89436-0}, editor = {Martin Wirsing and Jean-Pierre Ban{\^a}tre and Matthias M. H{\"o}lzl and Axel Rauschmayer}, volume = {5380}, title = {{Software-Intensive Systems and New Computing Paradigms - Challenges and Visions}} } @Incollection{hoelzl_etal-engineering_sis_star_and_challenges-2008, publisher = {Springer}, booktitle = {Challenges for Software-Intensive Systems and New Computing Paradigms}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2008/hoelzl_etal-engineering_sis_star_and_challenges-2008.pdf}, year = {2008}, uri = {http://www.pst.ifi.lmu.de/%7Erauschma/bib/index.html#hoelzl-engineering_sis_star_and_challenges-2008}, series = {LNCS}, editor = {Martin Wirsing and Jean-Pierre Ban{\^a}tre and Matthias H{\"o}lzl and Axel Rauschmayer}, author = {Matthias H{\"o}lzl and Axel Rauschmayer and Martin Wirsing}, crossref = {wirsing_etal-sis_and_new_computing_paradigms-2008}, volume = {5380}, title = {{Engineering of Software-Intensive Systems: State of the Art and Research Challenges}}, pages = {1-44} } @Incollection{hoelzl_etal-sw_engineering_for_ensembles-2008, publisher = {Springer}, booktitle = {Challenges for Software-Intensive Systems and New Computing Paradigms}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2008/hoelzl_etal-sw_engineering_for_ensembles-2008.pdf}, year = {2008}, uri = {http://www.pst.ifi.lmu.de/%7Erauschma/bib/index.html#hoelzl-sw_engineering_for_ensembles-2008}, series = {LNCS}, editor = {Martin Wirsing and Jean-Pierre Ban{\^a}tre and Matthias H{\"o}lzl and Axel Rauschmayer}, author = {Matthias H{\"o}lzl and Axel Rauschmayer and Martin Wirsing}, crossref = {wirsing_etal-sis_and_new_computing_paradigms-2008}, volume = {5380}, title = {{Software Engineering for Ensembles}}, pages = {45-63} } @Inproceedings{hoelzl08:_which_soft_const_do_you_prefer, status = {public}, booktitle = {Proceedings of the 7th International Workshop on Rewriting Logic and its Applications (WRLA'08)}, abstract = {Soft constraints are gaining popularity in diverse areas such as orchestration of Web services or optimization of scheduling decisions. However, current approaches to soft constraints preclude them from modelling certain decision problems with multiple preference criteria. We propose a new approach to soft constraints which allows a natural expression of these problems, describe an implementation in the rewriting logic system Maude, and prove its correctness.}, url = {http://www.pst.ifi.lmu.de/~hoelzl/publications/wrla-2008.pdf}, year = {2008}, main = {Y}, task = {T1.4}, series = {Electronic Notes in Theoretical Computer Science}, partner = {LMU}, editor = {Grigore Rosu}, author = {Matthias H\"olzl and Max Meier and Martin Wirsing}, title = {{Which Soft Constraints do you Prefer?}}, note = {To appear.} } @Inproceedings{knapp-et-al:cocome:2008, status = {public}, booktitle = {The Common Component Modeling Example: Comparing Software Component Models}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/knapp-et-al:cocome:2008.pdf}, year = {2008}, task = {T1.4}, series = {Lect. Notes Comp. Sci.}, partner = {LMU, UEDIN, DTU}, isbn = {978-3-540-85288-9}, editor = {Andreas Rausch and Ralf Reussner and Raffaela Mirandola and Frantisek Plasil}, author = {Alexander Knapp and Stephan Janisch and Rolf Hennicker and Allan Clark and Stephen Gilmore and Florian Hacklinger and Hubert Baumeister and Martin Wirsing}, volume = {5153}, title = {{Modelling the CoCoME with the Java/A Component Model}}, pages = {207--237} } @Inproceedings{riemsdijk08amast, publisher = {Springer-Verlag}, booktitle = {12th International Conference on Algebraic Methodology and Software Technology (AMAST'08)}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2008/riemsdijk-hennicker-wirsing-schroeder:AMAST:2008.pdf}, year = {2008}, series = {LNCS}, author = {M. Birna van Riemsdijk and Rolf Hennicker and Martin Wirsing and Andreas Schroeder}, volume = {5140}, title = {{Service Specification and Matchmaking using Description Logic: An Approach Based on Institutions}}, pages = {392--406} } @Book{wirsing_etal-sis_and_new_computing_paradigms-2008, publisher = {Springer}, url = {http://www.springer.com/computer/programming/book/978-3-540-89436-0}, year = {2008}, uri = {http://www.pst.ifi.lmu.de/%7Erauschma/bib/index.html#wirsing-challenges_for_sis_and_new_computing_paradigms-2008}, series = {LNCS}, editor = {Martin Wirsing and Jean-Pierre Ban{\^a}tre and Matthias H{\"o}lzl and Axel Rauschmayer}, volume = {5380}, title = {{Software-Intensive Systems and New Computing Paradigms}} } @Inproceedings{wirsing_hoelz_koch_mayer_schroeder_sera2008, status = {public}, publisher = {IEEE Computer Society}, month = {August}, booktitle = { Proceedings of Int. Conf. of Software Engineering Research, Management and Applications (SERA 2008)}, url = { http://www.pst.ifi.lmu.de/~mayer/papers/2008_08_20_Sensoria_Model_Driven_Approach.pdf }, year = {2008}, main = {N}, task = {T1.4,T7.3,T8.4}, partner = {LMU}, address = {Prague, Czech Republic }, author = {Martin Wirsing and Matthias Hoelzl and Nora Koch and Philip Mayer and Andreas Schroeder}, title = {{Service Engineering: The Sensoria Model Driven Approach}} } @Article{knapp-et-al:icom:2007, journal = {i-com, Oldenbourg}, url = {http://www.atypon-link.com/OLD/doi/abs/10.1524/icom.2007.6.3.5}, year = {2007}, number = {3}, author = {Alexander Knapp and Nora Koch and Martin Wirsing and Gefei Zhang}, volume = {6}, title = {{UWE - An Approach to Model-Driven Development of Web Applications}}, pages = {5--12}, note = {In German} } @Proceedings{koehler:dagstuhl:aaws:2007, status = {public}, abstract = {{From 4.2.2007 to 9.2.2007, the Dagstuhl Seminar 07061 Autonomous and AdaptiveWeb Services was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The First section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available}}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/1035/pdf/abstracts_collection.1035.pdf}, year = {2007}, task = {T1.4}, owner = {kroiss}, partner = {LMU,UNITN}, editor = {J. Koehler and M. Pistore and A. P. Sheth and P. Traverso and M. Wirsing}, title = {{Autonomous and Adaptive Web Services, Dagstuhl Seminar Proceedings 07061}}, timestamp = {2008.07.17} } @Inproceedings{riemsdijk07awesome, status = {public}, booktitle = {Proceedings of the Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW'007); The First International Workshops on Agents, Web Services, and Ontologies: Integrated Methodologies (AWESOME'007)}, url = {http://www.pst.ifi.lmu.de/~riemsdijk/papers/awesome07.pdf}, year = {2007}, task = {T5.2,T5.3}, partner = {LMU}, author = {M. Birna van Riemsdijk and Martin Wirsing}, title = {{Goal-Oriented and Procedural Service Orchestration: A Formal Comparison}}, pages = {3--18} } @Inproceedings{riemsdijk07socase, status = {public}, booktitle = {Service-Oriented Computing: Agents, Semantics, and Engineering (SOCASE'07)}, url = {http://www.pst.ifi.lmu.de/~riemsdijk/papers/socase07.pdf}, year = {2007}, main = {Y}, task = {T5.2,T5.3}, series = {LNCS}, partner = {LMU}, editor = {J. Huang and R. Kowalczyk and Z. Maamar and D. Martin and I. Mueller and S. Stoutenburg and K. Sycara}, author = {M. Birna van Riemsdijk and Martin Wirsing}, volume = {4504}, title = {{Using Goals for Flexible Service Orchestration: A First Step}}, pages = {31--48} } @Article{wirsing-denker-talcott-poggio-briesemeister:2007, status = {public}, journal = {Electr. Notes Theor. Comput. Sci.}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/wirsing-et-al-final:wrla:2006.pdf}, year = {2007}, task = {3.3}, number = {4}, partner = {LMU}, author = {Martin Wirsing and Grit Denker and Carolyn Talcott and Andy Poggio and Linda Briesemeister}, volume = {176}, title = {{A Rewriting Logic Framework for Soft Constraints}}, pages = {181-197} } @Inproceedings{WirsingNGHLTZ07, publisher = {Springer}, booktitle = {Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2007/wirsing-et-al-tgc-2006.pdf}, year = {2007}, series = {Lecture Notes in Computer Science}, editor = {Ugo Montanari and Donald Sannella and Roberto Bruni}, author = {Martin Wirsing and Rocco De Nicola and Stephen Gilmore and Matthias M. H{\"o}lzl and Roberto Lucchi and Mirco Tribastone and Gianluigi Zavattaro}, volume = {4661}, title = {{Sensoria Process Calculi for Service-Oriented Computing}}, pages = {30-50} } @Inproceedings{yang-wirsing:2007, publisher = {Springer, Netherlands}, booktitle = {Advances and Innovations in Systems, Computing Sciences and Software Engineering}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/YangWirsing2007Formal.pdf}, year = {2007}, editor = {Khaled Elleithy}, author = {Shiping Yang and Martin Wirsing}, title = {{A Formal Framework for Living Cooperative Information Systems}}, pages = {399-404} } @Inproceedings{baumeister-et-al:facs:2006, bibliometry = {false}, booktitle = {Proc. 2nd Int. Wsh. Formal Aspects of Component Software (FACS'05)}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/baumeister-et-al:facs:2005.pdf}, year = {2006}, series = {Elect. Notes Theo. Comp. Sci.}, editor = {Luis Barbosa and Zhiming Liu}, author = {Hubert Baumeister and Florian Hacklinger and Rolf Hennicker and Alexander Knapp and Martin Wirsing}, volume = {160}, title = {{A Component Model for Architectural Programming}}, wos = {false}, pages = {75--96} } @Book{fiadeiro-montanari-wirsing:2006, bibliometry = {false}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/459/}, year = {2006}, number = {05081}, series = {Dagstuhl Seminar Proceedings}, editor = {Jose Fiadeiro and Ugo Montanari and Martin Wirsing}, title = {{Foundations of Global Computing}}, wos = {false} } @Article{knapp-et-al:tcs:2006, bibliometry = {true}, journal = {Theoretical Computer Science}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/merz-et-al:tcs:2006.pdf}, year = {2006}, number = {2}, author = {Alexander Knapp and Stephan Merz and Martin Wirsing and Julia Zappe}, volume = {351}, title = {{Specification and Refinement of Mobile Systems in MTLA and Mobile UML}}, wos = {true}, pages = {184-202} } @Inproceedings{tgc2006, publisher = {Springer}, booktitle = {Second Symposium on Trustworthy Global Computing (TGC 2006), Lucca, Italy}, date-added = {2007-10-14 20:56:22 +0100}, year = {2006}, date-modified = {2009-04-17 14:26:31 +0100}, series = {LNCS}, editor = {Ugo Montanari and Don Sanella and Roberto Bruni}, author = {Martin {Wirsing} and Rocco {De Nicola} and Stephen {Gilmore} and Matthias {H\"olzl} and Roberto {Lucchi} and Mirco {Tribastone} and Gianluigi {Zavattaro}}, volume = {4461}, title = {{SENSORIA Process Calculi for Service-Oriented Computing}}, pages = {30--50} } @Inproceedings{wirsing-et-al:sensoria:2006, bibliometry = {true}, publisher = {Springer Verlag}, month = {September}, booktitle = {Proc. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris, France}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/wirsing-et-al:sensoria:2006.pdf}, year = {2006}, series = {LNCS 4229}, editor = {E. Najn et al.}, author = {Martin Wirsing and Allan Clark and Stephen Gilmore and Matthias H\"olzl and Alexander Knapp and Nora Koch and Andreas Schroeder}, title = {{Semantic-Based Development of Service-Oriented Systems}}, wos = {true}, pages = {24--45} } @Inproceedings{wirsing-hoelzl:ercim:2006, bibliometry = {false}, month = {May}, booktitle = {Anticipating Future and Emerging Information Society Technologies, ERCIM EEIG}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2006/wirsing_hoelzl-software_intensive_systems-2006.pdf}, year = {2006}, editor = {Dimitris Plexousakis}, author = {Martin Wirsing and Matthias H\"{o}lzl}, title = {{Software Intensive Systems}}, wos = {false} } @Inproceedings{yangwirsing:cisse:2005, bibliometry = {false}, publisher = {Springer Verlag}, booktitle = {Advances and Innovations in Systems, Computing Sciences and Software Engineering}, year = {2006}, editor = {Tarek Sobh and Khaled Elleithy}, author = {Shiping Yang and Martin Wirsing}, title = {{Towards Living Cooperative Information Systems for Virtual Organizations Using Living Systems Theory}}, wos = {true}, pages = {309-316} } @Book{hung-wirsing:ICTAC:2005, bibliometry = {false}, publisher = {Springer}, url = {http://www.springer.com/computer/foundations/book/978-3-540-29107-7}, year = {2005}, series = {Lecture Notes in Computer Science}, author = {Dang Van Hung and Martin Wirsing}, volume = {3722}, title = {{Theoretical Aspects of Computing - ICTAC 2005, Second International Colloquium, Hanoi, Vietnam, October 17-21}}, wos = {false}, pages = {420} } @Proceedings{jwe-specialissue:icwe2004, bibliometry = {false}, publisher = {Rinton Press}, month = {March}, url = {http://www.rintonpress.com/journals/jwe/abstractsJWE4-1.html}, year = {2005}, editor = {Nora Koch and Piero Fraternali and Martin Wirsing}, volume = {4 (1)}, title = {{Journal of Web Engineering - Special Issue: Best Paper Award ICWE 2004}}, wos = {false} } @Inproceedings{LaMBW05, status = {public}, bibliometry = {true}, booktitle = {Global Computing: IST/FET International Workshop, GC 2004, Rovereto, Italy, March 9-12, 2004. Revised Selected Papers}, url = {http://www.pst.informatik.uni-muenchen.de/projekte/agile/papers/TR-37-UML.ps}, year = {2005}, invited = {N}, task = {T3.1, T3.2}, series = {LNCS}, institution = {ISTI, LMU}, editor = {Corrado Priami and Paola Quaglia}, author = {Diego Latella and Mieke Massink and Hubert Baumeister and Martin Wirsing}, volume = {3267}, title = {Mobile {UML} Statecharts with Localities}, wos = {true}, pages = {34--58} } @Article{PattinsonWirsing05, bibsource = {DBLP, http://dblp.uni-trier.de}, bibliometry = {true}, journal = {Theor. Comput. Sci.}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/fmco.tcs.revised.pdf}, year = {2005}, ee = {http://dx.doi.org/10.1016/j.tcs.2004.09.025}, number = {2-3}, author = {Dirk Pattinson and Martin Wirsing}, volume = {331}, title = {{A coordination approach to mobile components}}, wos = {true}, pages = {457-483} } @Book{poernomo-et-al:SMCS:2005, bibliometry = {false}, publisher = {Springer}, url = {http://www.springer.com/computer/foundations/book/978-0-387-23759-6}, year = {2005}, series = {Springer Monographs in Computer Science}, author = {Iman Poernomo and John Crossley and Martin Wirsing}, title = {{Adapting Proofs-as-Programs: The Curry--Howard Protocol}}, wos = {false}, pages = {420} } @Inproceedings{acspec, sn = {0302-9743}, bibliometry = {true}, se = {LECTURE NOTES IN COMPUTER SCIENCE}, booktitle = {Objects, Agents, And Features}, url = {http://www.pst.informatik.uni-muenchen.de/publications/agentcomponentspecification.pdf}, ut = {ISI:000222060100011}, year = {2004}, owner = {kroiss}, author = {P. Meier and M. Wirsing}, volume = {2975}, title = {{Towards a formal specification for the AgentComponent}}, timestamp = {2008.07.17}, wos = {true}, pages = {175--188} } @Inproceedings{BaumeisterEtAl:sefm04, bibliometry = {false}, publisher = {IEEE Computer Society Press}, booktitle = {Proc. 2nd IEEE Int. Conf. Software Engineering and Formal Methods (SEFM'04)}, url = {http://www.pst.informatik.uni-muenchen.de/projekte/agile/papers/pdd-sefm04.pdf}, year = {2004}, indexno = {2}, invited = {Y}, task = {T3.3}, partner = {LMU}, editor = {Jorge R. Cuellar and Zhimming Liu}, author = {Hubert Baumeister and Alexander Knapp and Martin Wirsing}, title = {{Property-Driven Development}}, wos = {true}, pages = {96--102}, note = {Extended abstract} } @Book{icwe2004webeng, bibliometry = {true}, publisher = {Springer Verlag}, month = {July}, url = {http://www.springerlink.com/(exobil55veirpz32qzlewm2f)/app/home/issue.asp?referrer=parent&backto=journal,681,2337;linkingpublicationresults,1:105633,1}, year = {2004}, doi = {10.1007/b99180}, series = {LNCS 3140}, isbn = {3-540-22511-0}, author = {Nora Koch and Piero Fraternali and Martin Wirsing}, title = {{Web Engineering: Proceedings of the 4th International Conference on Web Engineering (ICWE 2004), Munich, Germany}}, wos = {true} } @Inproceedings{knapp-koch-zhang:icwe:2004, publisher = {Springer Verlag, Berlin}, booktitle = {Proc. 4th Int. Conf. Web Engineering (ICWE'04)}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/knapp-koch-zhang:icwe:2004.pdf}, year = {2004}, series = {LNCS 3140}, editor = {Nora Koch and Piero Fraternali and Martin Wirsing}, author = {Alexander Knapp and Nora Koch and Gefei Zhang}, title = {{Modeling the Structure of Web Applications with ArgoUWE}}, pages = {615--616} } @Inproceedings{knapp-merz-wirsing:amast:2004, bibliometry = {true#p#}, publisher = {©Springer, Berlin}, booktitle = {Proc. 10th Int. Conf. Algebraic Methodology and Software Technology (AMAST'04)}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/knapp-merz-wirsing:amast:2004.pdf}, year = {2004}, series = {Lect. Notes Comp. Sci.}, editor = {Savi Maharaj and Charles Rattray and Carron Shankland}, author = {Alexander Knapp and Stephan Merz and Martin Wirsing}, volume = {3116}, title = {{Refining Mobile UML State Machines}}, wos = {true}, pages = {274--288} } @Inproceedings{rauschma_etal:graft_ase:2004, bibliometry = {false}, publisher = {IEEE Computer Society Press}, month = {September}, booktitle = {Proc. 19th IEEE Int. Conf. Automated Software Engineering (ASE'04)}, year = {2004}, author = {Axel Rauschmayer and Alexander Knapp and Martin Wirsing}, title = {{Consistency Checking in an Infrastructure for Large-Scale Generative Programming}}, wos = {true}, pages = {238--247} } @Inproceedings{rauschmayer_etal-graft_ase-2004, publisher = {IEEE}, month = {September}, booktitle = {Proc. $19^{\text{th}}$ IEEE Int. Conf. Automated Software Engineering (ASE)}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2004/rauschmayer_etal-graft_ase-2004.pdf}, year = {2004}, doi = {http://dx.doi.org/10.1109/ASE.2004.10005}, author = {Axel Rauschmayer and Alexander Knapp and Martin Wirsing}, title = {{Consistency Checking in an Infrastructure for Large-Scale Generative Programming}}, pages = {238--247} } @Proceedings{wirsing-knapp-balsamo:rissef:2004, publisher = {©Springer, Berlin}, url = {http://www.springeronline.com/3-540-21179-9}, year = {2004}, series = {Lect. Notes Comp. Sci.}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, volume = {2941}, title = {{Proc. 9th Int. Wsh. Monterey. Radical Innovations of Software and Systems Engineering in the Future (RISSEF'02). Revised Papers}}, note = {On-site proc. appeared as Technical Report CS-2002-10, Dipartimento die Informatica, Universit\`a C\`a Foscari di Venezia} } @Inproceedings{wirsing-knapp:rissef:2002, bibliometry = {true}, publisher = {©Springer, Berlin}, booktitle = {{Proc. 9th Int. Wsh. Monterey. Radical Innovations of Software and Systems Engineering in the Future (RISSEF'02). Revised Papers}}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/wirsing-knapp:rissef:2004.pdf}, year = {2004}, series = {Lect. Notes Comp. Sci.}, editor = {Martin Wirsing and Alexander Knapp and Simonetta Balsamo}, author = {Martin Wirsing and Alexander Knapp}, volume = {2941}, title = {{View Consistency in Software Development}}, wos = {true}, pages = {341--357} } @Techreport{acpatterns, type = {Technical Report}, month = {July}, url = {http://www.pst.informatik.uni-muenchen.de/publications/acpatterns.pdf}, year = {2003}, number = {0302}, institution = {Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen}, author = {Philipp Meier and Martin Wirsing}, title = {{Implementation Patterns for Visual Construction of Multi-Agent-Systems}}, note = {Accepted by the Second International Workshop on Agent-Oriented Methodologies (OOPSLA)} } @Inproceedings{agentcomponent, bibliometry = {true}, publisher = {Springer, Berlin}, booktitle = {Proc. 1st German Conf. Multiagent System Technologies (MATES'03)}, url = {http://www.pst.informatik.uni-muenchen.de/publications/agentcomponent.pdf}, year = {2003}, series = {Lect. Notes Artif. Intell.}, author = {Richard Krutisch and Philipp Meier and Martin Wirsing}, title = {{The AgentComponent Approach, Combining Agents And Components}}, wos = {true}, pages = {1--12} } @Inproceedings{AgileDegasGC2003, bibliometry = {true}, month = {November}, booktitle = {Global Computing. Programming Environments, Languages, Security, and Analysis of Systems. IST/FET International Workshop, GC 2003, Rovereto, Italy, Feb. 9-14,2003, Revised Papers}, url = {http://www.pst.ifi.lmu.de/projekte/agile/papers/AgileDegasGC2003.pdf}, year = {2003}, series = {LNCS 2874}, editor = {Corrado Priami}, author = {Hubert Baumeister and Nora Koch and Piotr Kosiuczenko and Perdita Stevens and Martin Wirsing}, title = {{UML for Global Computing}}, wos = {true}, pages = {1-24} } @Inproceedings{AgileWADT2003, bibliometry = {true}, publisher = {Springer}, month = {November}, booktitle = {Recent Trends in Algebraic Develeopment Techniques---16th International Workshop, WADT 2002, Frauenchiemsee, Germany, Sept.\ 24--27, 2002}, abstract = {Architecture-based approaches have been promoted as a means of controlling the complexity of system construction and evolution, in particular for providing systems with the agility required to operate in turbulent environments and to adapt very quickly to changes in the enterprise world. Recent technological advances in communication and distribution have made mobility an additional factor of complexity, one for which current architectural concepts and techniques can be hardly used. The AGILE project is developing an architectural approach in which mobility aspects can be modelled explicitly and mapped on the distribution and communication topology made available at physical levels. The whole approach is developed over a uniform mathematical framework based on graph-oriented techniques that support sound methodological principles, formal analysis, and refinement. This paper describes the \nobreak{AGILE} project and some of the results gained during the first project year.}, url = {http://www.pst.ifi.lmu.de/projekte/agile/papers/AgileWADT2002.pdf}, year = {2003}, series = {LNCS 2755}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, author = {L. Andrade and P. Baldan and H. Baumeister and R. Bruni and A. Corradini and R. De Nicola and J. L. Fiadeiro and F. Gadducci and S. Gnesi and P. Hoffman and N. Koch and P. Kosiuczenko and A. Lapadula and D. Latella and A. Lopes and M. Loreti and M. Massink and F. Mazzanti and U. Montanari and C. Oliveira and R. Pugliese and A. Tarlecki and M. Wermelinger and M. Wirsing and A. Zaw{\l}ocki}, title = {{AGILE}: {Software Architecture for Mobility}}, wos = {true}, pages = {1-33} } @Inproceedings{BaumeisterEtAl2003, bibliometry = {true}, publisher = {Springer}, booktitle = {Objects, Components, Architectures, Services, and Applications for a Networked World. International Conference NetObjectDays, NODe 2002, Erfurt, Germany, Oct.\ 7--10, 2002. Revised Papers}, url = {http://www.pst.ifi.lmu.de/~kochn/netobjectdays2002.pdf}, year = {2003}, indexno = {1}, series = {LNCS 2591}, editor = {M. Aksit and M. Mezini and R. Unland}, author = {Hubert Baumeister and Nora Koch and Piotr Kosiuczenko and Martin Wirsing}, title = {{Extending Activity Diagrams to Model Mobile Systems}}, wos = {true}, pages = {278--293} } @Article{kriegbrucknerEtAl2003, sn = {0302-9743}, bibliometry = {true}, se = {LECTURE NOTES IN COMPUTER SCIENCE}, journal = {Recent Trends In Algebraic Development Techniques}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2003/kriegbruckner_etal-multimedia_in_safe_and_secure_systems-2003.pdf}, ut = {ISI:000189415900004}, year = {2003}, owner = {kroiss}, author = {B. Krieg-Bruckner and D. Hutter and A. Lindow and C. Luth and A. Mahnke and E. Melis and P. Meier and A. Poetzsch-Heffter and M. Roggenbach and G. Russell and J. G. Smaus and M. Wirsing}, volume = {2755}, title = {{MultiMedia instruction in safe and secure systems}}, timestamp = {2008.07.17}, wos = {true}, pages = {82--117} } @Inproceedings{merzetal2003, bibliometry = {true}, publisher = {\©Springer}, booktitle = {FASE 2003: Fundamental Approaches to Software Engineering. Warsaw, Poland.}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/merz-et-al:2003.pdf}, year = {2003}, series = {LNCS}, author = {Stefan Merz and Martin Wirsing and Julia Zappe}, volume = {2621}, title = {{A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems}}, wos = {true}, pages = {87--101} } @Techreport{rauschmayer_etal-type_checking_ahead-2003, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2003/rauschmayer_etal-type_checking_ahead-2003.pdf}, year = {2003}, number = {0406}, uri = {http://www.pst.ifi.lmu.de/%7Erauschma/bib/index.html#rauschmayer_etal-type_checking_ahead-2003}, institution = {Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen, Institut f{\"u}r Informatik}, author = {Axel Rauschmayer and Alexander Knapp and Martin Wirsing}, title = {Type-Checking {AHEAD}} } @Inproceedings{Baumeister02d, month = {October}, booktitle = {16th International Workshop on Algebraic Development Techniques, WADT, Frauenchiemsee}, url = {http://www.informatik.uni-muenchen.de/~baumeist/publications/wadt02.pdf}, year = {2002}, editor = {Martin Wirsing and Dirk Pattinson and Rolf Hennicker}, author = {Hubert Baumeister}, title = {{Towards using Extreme Programming to the Formal Specication of Software; Abstract}} } @Inproceedings{BaumeisterWirsing02, bibliometry = {false}, booktitle = {Proceedings International Conference on Advances in Infrastructure for e-Business, e-Education, e-Science, and e-Medicine on the Internet, SSGRR 2002, L'Aquila, Italy}, url = {http://www.informatik.uni-muenchen.de/~baumeist/publications/ssgrr2002w.pdf}, year = {2002}, indexno = {2}, author = {Hubert Baumeister and Martin Wirsing}, title = {Applying Test-First Programming and Iterative Development in Building an {E}-Business Application}, wos = {false} } @Inproceedings{koch-wirsing:ah2002, publisher = {LNCS 2347, Springer Verlag}, month = {May}, booktitle = {{Second International Conference on Adaptive Hypermedia and Adaptive Web-based Systems}}, url = {http://www.pst.informatik.uni-muenchen.de/personen/kochn/munich-koch-wirsing-final.pdf}, year = {2002}, editor = {P. De Bra and P. Brusilovsky and R. Conejo}, author = {Nora Koch and Martin Wirsing}, title = {{T}he {M}unich {R}eference {M}odel for {A}daptive {H}ypermedia {A}pplications}, pages = {213-222} } @Article{wirsing-knapp:2002, bibliometry = {true}, journal = {Theo. Comp. Sci.}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/knapp-wirsing:tcs:2002.pdf}, year = {2002}, author = {Martin Wirsing and Alexander Knapp}, volume = {285}, title = {{A Formal Approach to Object-Oriented Software Engineering}}, wos = {true}, pages = {519--560} } @Inproceedings{baumeister-et-al:2001, booktitle = {Proc. Wsh. Montery - Engineering Automation for Software Intensive System Integration}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/baumeister-et-al:2001.pdf}, year = {2001}, organization = {U.S. Naval Postgraduate School, Monterey}, author = {Hubert Baumeister and Rolf Hennicker and Alexander Knapp and Martin Wirsing}, title = {{OCL Component Invariants}}, pages = {208--215} } @Inproceedings{crossley:wadt01, publisher = {Springer-Verlag}, booktitle = {15th Int. Wsh. Recent Trends in Algebraic Development Techniques (WADT 2001)}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/2001/crossley-poernomo-wirsing:WADT:2001.pdf}, year = {2001}, series = {Lecture Notes in Computer Science}, address = {Berlin}, author = {John N. Crossley and Iman Poernomo and Martin Wirsing}, volume = {2267}, title = {{Programs, Proofs and Parameterized Specifications}}, pages = {280--304} } @Inproceedings{hennicker-et-al:2001, booktitle = {Proc. GI/OCG-Jahrestagung}, url = {http://www.pst.ifi.lmu.de/veroeffentlichungen/hennicker-et-al:gi-ocg:2001.pdf}, year = {2001}, organization = {{\"O}GI (Austrian Computer Society)}, series = {books@ocg.at}, editor = {Kurt Bauknecht and Wilfried Brauer and Thomas M{\"u}ck}, author = {Rolf Hennicker and Hubert Baumeister and Alexander Knapp and Martin Wirsing}, volume = {157/I}, title = {{Specifying Component Invariants with OCL}}, pages = {600--607} } @Inproceedings{koch-wirsing:se-ahs, month = {July}, booktitle = {{Third Workshop on Adaptive Hypertext and Hypermedia, 8th International Conference on User Modeling}}, url = {http://www.pst.informatik.uni-muenchen.de/~kochn/se-ahs.pdf}, year = {2001}, editor = {Paul De Bra}, author = {Nora Koch and Martin Wirsing}, title = {{S}oftware {E}ngineering for {A}daptive {H}ypermedia {S}ystems?} } @Article{KoWiJ99, publisher = {Society for Design and Process Science}, journal = {Transactions of the SDPS}, url = {http://www.pst.informatik.uni-muenchen.de/~kosiucze/IDPT.ps}, year = {2001}, author = {P. Kosiuczenko and M. Wirsing}, volume = {5}, title = {{Towards an Integration of Message Sequence Charts and Timed Maude}}, pages = {23--44} } @Inproceedings{wirsing:fase01, publisher = {Springer, Berlin}, booktitle = {Fundamental Approaches to Software Engineering (FASE 2001)}, year = {2001}, series = {Lect. Notes Comp. Sci.}, editor = {Heinrich Hussmann}, author = {Bernhard Reus and Rolf Hennicker and Martin Wirsing}, volume = {2029}, title = {{A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models}}, pages = {300--316} } @Proceedings{wirsing:gi01, year = {2001}, organization = {{\"O}GI (Austrian Computer Society)}, editor = {Martin Wirsing and Hans Ehrich and Martin Gogolla and Hans-J{\"u}rgen Kreowski and Tobias Nipkow and Hans Reichel and Wolfgang Reif}, title = {{Integrating Diagrammatic and Formal Specification Methods}} } @Article{ying:tcs, journal = {Theoretical Computer Science}, year = {2001}, author = {Mingsheng Ying and Martin Wirsing}, volume = {266}, title = {{Recursive Equations in Higher-Order Process Calculi}}, pages = {839--852} } @Inproceedings{broy-wirsing:2000, publisher = {©Springer, Berlin}, booktitle = {Proc. 8th Int. Conf. Algebraic Methodology and Software Technology}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/broy-wirsing:2000.pdf}, year = {2000}, series = {Lect. Notes Comp. Sci.}, editor = {Teodor Rus}, author = {Manfred Broy and Martin Wirsing}, volume = {1816}, title = {{Algebraic State Machines}}, pages = {89--118} } @Inproceedings{crossley:wadt00, publisher = {Springer-Verlag}, booktitle = {13th Int. Worskhop on Recent Trends in Algebraic Development Techniques}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/2000/crossley-poernomo-wirsing:WADT:2000.pdf}, year = {2000}, series = {Lecture Notes in Computer Science}, address = {Berlin}, editor = {D. Bert and C. Choppy}, author = {John N. Crossley and Iman Poernomo and Martin Wirsing}, volume = {1827}, title = {{Extraction of Structured Programs from Specification Proofs}}, pages = {419--437} } @Article{KoWi00, publisher = {Elsevier}, journal = {to appear in Science of Computer Programming}, year = {2000}, author = {P. Kosiuczenko and M. Wirsing}, title = {{On the Semantics of Message Sequence Charts: an Algebraic Approach}}, pages = {32 pages} } @Article{KoWi99, publisher = {Elsevier Science Publishers}, journal = {Electronic Notes in Theoretical Computer Science}, year = {2000}, author = {P. Kosiuczenko and M. Wirsing}, volume = {25}, title = {{Formalizing and Executing Message Sequence Charts via Timed Rewriting}}, pages = {12} } @Book{WiFr:2000, publisher = {Elsevier}, month = {May}, year = {2000}, editor = {M. Wirsing and T. Fr{\"u}hwirth}, volume = {239/1}, title = {{AMAST'96, Special Issue of Theoretical Computer Science}} } @Techreport{wirsing-et-al:2000, type = {Technical Report}, month = {September}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/TR0005.ps.gz}, year = {2000}, number = {0005}, institution = {Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen}, author = {Martin Wirsing and Martin Gogolla and Hans-J{\"o}rg Kreowski and Tobias Nipkow and Wolfgang {Reif (eds.)}}, title = {{Proc. Wsh. Rigorose Entwicklung software-intensiver Systeme}} } @Inproceedings{ying-wirsing:2000, publisher = {©Springer, Berlin}, booktitle = {Proc. 8th Int. Conf. Algebraic Methodology and Software Technology}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/ying-wirsing:2000.pdf}, year = {2000}, series = {Lect. Notes Comp. Sci.}, editor = {Teodor Rus}, author = {Mingsheng Ying and Martin Wirsing}, volume = {1816}, title = {{Approximate Bisimilarity}}, pages = {309--322} } @Inproceedings{bidoit:uml99, publisher = {Springer-Verlag}, booktitle = {UML'99, The Unified Modeling Language - Beyond the Standard}, year = {1999}, series = {Lecture Notes in Computer Science}, address = {Berlin}, editor = {R. B. France and B. Rumpe}, author = {M. Bidoit and R. Hennicker and F. Tort and M. Wirsing}, volume = {1723}, title = {{Correct Realizations of Interface Constraints with OCL}}, pages = {399--415} } @Incollection{cenciarelli-et-al:1999, publisher = {©Springer}, booktitle = {Formal Syntax and Semantics of Java}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/cenciarelli-et-al:1999.ps.gz}, year = {1999}, series = {Lect. Notes Comp. Sci.}, address = {Berlin}, editor = {Jim Alves-Foss}, author = {Pietro Cenciarelli and Alexander Knapp and Bernhard Reus and Martin Wirsing}, volume = {1523}, title = {{An Event-Based Structural Operational Semantics of Multi-Threaded Java}}, pages = {157--200} } @Inproceedings{hyper-uml, month = {March}, booktitle = {Second Workshop on the German-Argentinian Bilateral Programme for Scientific and Technological Cooperation}, year = {1999}, address = {K{\"o}nigswinter, Germany}, author = {M. Wirsing and N. Koch and G. Rossi and A. Garrido and L. Mandel and A. Helmerich and L. Olsina}, title = {{Hyper-{UML}: Specification and Modeling of Multimedia and Hypermedia Applications in Distributed Systems}} } @Inproceedings{kosiucze:Carmel, month = {April}, booktitle = {Proceedings of the 1998 Monterey Workshop on Engineering Automation for Computer Based Systems}, year = {1999}, series = {Technical Report NPS-CS-99-002}, address = {Naval Postgraduate School, Monterey, CA}, author = {P. Kosiuczenko and M. Wirsing}, title = {{Formalizing and Executing Message Sequence Charts via Timed Rewriting}}, pages = {93 -104} } @Inproceedings{wirsing:strong-normalisation, publisher = {Springer-Verlag}, booktitle = {12th Int. Workshop on Recent Trends in Algebraic Development Techniques}, year = {1999}, series = {Lecture Notes in Computer Science}, address = {Berlin}, editor = {Jos{\'e} Fiadeiro}, author = {Martin Wirsing and John N. Crossley and Hannes Peterreins}, volume = {1589}, title = {{Proof Normalization of Structured Algebraic Specifications is Convergent}}, pages = {326--340} } @Inproceedings{reus-et-al:1998, publisher = {©Springer, Berlin}, booktitle = {Sel. Papers 12th Int. Wsh. Recent Trends in Algebraic Development Techniques}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/reus-et-al:1998.ps.gz}, year = {1998}, series = {Lect. Notes Comp. Sci.}, editor = {Francesco Parisi Presicce}, author = {Bernhard Reus and Alexander Knapp and Pietro Cenciarelli and Martin Wirsing}, volume = {1376}, title = {{Verifying a Compiler Optimization for Multi-Threaded Java}}, pages = {402--417} } @Incollection{wirsing:lexikon, publisher = {Springer-Verlag}, booktitle = {Lexikon der Informatik und Kommunikationstechnik}, year = {1998}, address = {Berlin}, editor = {M. Broy and O. Spaniol}, author = {Martin Wirsing}, title = {{Beitr\"age zu 150 Stichworten}}, note = {mit S. Gastinger, R. Hennicker, U. Lechner, S. Merz, A. M\"uck, F. Nickl, B. Reus, R. Stabl} } @Inproceedings{cenciarelli-et-al:1997, publisher = {©Springer, Berlin}, booktitle = {Proc. 6th Int. Conf. Algebraic Methodology and Software Technology}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/cenciarelli-et-al:1997.ps.gz}, year = {1997}, series = {Lect. Notes Comp. Sci.}, editor = {Michael Johnson}, author = {Pietro Cenciarelli and Alexander Knapp and Bernhard Reus and Martin Wirsing}, volume = {1349}, title = {{From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics}}, pages = {75--90} } @Inproceedings{epkfix:gi, publisher = {Springer Verlag}, month = {September}, booktitle = {Informatik'97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft f{\"u}r Informatik}, url = {http://www.pst.informatik.uni-muenchen.de/projekte/epkfix-public/gi.ps.gz}, year = {1997}, series = {Informatik aktuell}, editor = {M. Jarke and K. Pasedach and K. Pohl}, author = {Josef Schneeberger and Nora Koch and Andreas Turk and Rainer Lutze and Martin Wirsing and Hartmut Fritzsche and Patrick Closhen}, title = {{EPK-fix}: {S}oftware-{E}ngineering und {W}erkzeuge f{\"u}r elektronische {P}roduktkataloge} } @Inproceedings{HW97, publisher = {Springer}, booktitle = {Proc. FCT '97, Fundamentals of Computation Theory}, url = {http://www.pst.informatik.uni-muenchen.de/~hennicke/FCT97.proc.ps.Z}, year = {1997}, series = {Lecture Notes in Computer Science}, address = {Berlin}, author = {R. Hennicker and M. Wirsing}, volume = {1279}, title = {{Proof Systems for Structured Algebraic Specifications: An Overview}}, pages = {19--37} } @Inproceedings{knapp-et-al:1997, publisher = {Springer Verlag, Berlin}, booktitle = {Interactive Distributed Multimedia Systems and Telecommunication Services}, url = {http://www.pst.informatik.uni-muenchen.de/projekte/epkfix-public/idms.ps.gz}, year = {1997}, series = {Lect. Notes Comp. Sci.}, editor = {Ralf Steinmetz and L. C. Wolf}, author = {Alexander Knapp and Nora Koch and Martin Wirsing and Jochen Duckeck and Rainer Lutze and Hartmut Fritzsche and Dietrich Timm and Patrick Closhen and Martin Frisch and Hans-J{\"u}rgen Hoffmann and Bernd Gaede and Josef Schneeberger and Herbert Stoyan and Andreas Turk}, volume = {1309}, title = {{EPK-fix: Methods and Tools for Engineering Electronic Product Catalogues}}, pages = {199--209} } @Techreport{knapp-koch-wirsing:1997, type = {Technical Report}, url = {http://www.pst.informatik.uni-muenchen.de/projekte/epkfix-public/epkml-abschluss.ps.gz}, year = {1997}, number = {9713}, institution = {Institut f{\"u}r Informatik, Ludwig--Maximilians--Universit{\"a}t M{\"u}nchen}, author = {Alexander Knapp and Nora Koch and Martin Wirsing}, title = {{EPKML: Eine Spezifikationssprache f{\"u}r elektronische Produktkataloge}}, note = {In German} } @Article{KoWi97, publisher = {Elsevier}, journal = {Science of Computer Programming}, year = {1997}, number = {2-3}, author = {P. Kosiuczenko and M. Wirsing}, volume = {28}, title = {{Timed Rewriting Logic with an Application to Object-Based Specification}}, pages = {225-246} } @Techreport{techrep, type = {Technical Report}, url = {http://www.pst.informatik.uni-muenchen.de/~kosiucze/techrep.ps}, year = {1997}, number = {9701}, institution = {Institut f{\"u}r Informatik, Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen}, author = {Peter {\"O}lveczky and Piotr Kosiuczenko and Martin Wirsing}, title = {{An Object-Oriented Algebraic Steam-Boiler Control Specification}} } @Techreport{wirsing:epkfix-pub, month = {September}, year = {1997}, number = {9706}, institution = {Ludwig--Maximilians--Universit{\"a}t M{\"u}nchen}, author = {Rainer Lutze and Martin Wirsing}, title = {{M}ethoden und {W}erkzeuge zur effizienten {E}rstellung elektronischer {P}roduktkataloge, {V}er{\"o}ffentlichungen zum {EPK}fix-{P}rojekt 1995-1997} } @Inproceedings{HaxthausenNickl96AMAST, booktitle = {Algebraic Methodology and Software Technology, 5th International Conference, AMAST'96, Proceedings}, year = {1996}, series = {LNCS}, editor = {M. Wirsing and M. Nivat}, author = {A.E. Haxthausen and F. Nickl}, volume = {1101}, title = {{Pushouts of order-sorted algebraic specifications}} } @Article{Hennicker-et-al-96, journal = {Theoretical Computer Science}, url = {ftp://ftp.informatik.uni-muenchen.de/local/pst/papers/hennicker/Proof_Systems.ps.Z}, year = {1996}, author = {Rolf Hennicker and Martin Wirsing and Michel Bidoit}, title = {{Proof systems for structured specifications with observability operators}}, note = {to appear} } @Incollection{mandel7, publisher = {Kluwer}, booktitle = {Frontiers of Combining Systems}, url = {http://www.pst.informatik.uni-muenchen.de/~mandel/frocos.dvi.gz}, year = {1996}, number = {3}, series = {Applied Logics Series}, address = {Dordrecht--Boston--London}, editor = {Franz Baader and Klaus U. Schulz}, author = {John N. Crossley and Luis Mandel and Martin Wirsing}, title = {{F}irst {O}rder {C}onstrained {L}ambda {C}alculus}, pages = {339--356}, note = {Also as technical report 96/261 of the Monash University, Australia} } @Incollection{pracapraca, publisher = {Springer}, booktitle = {Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control}, url = {http://www.pst.informatik.uni-muenchen.de/~kosiucze/steam.dvi}, year = {1996}, series = {Lect. Notes Comp. Sci.}, address = {Berlin}, editor = {Jean-Raymond Abrial and Egon B{\"o}rger and Hans Langmaack}, author = {Peter {\"O}lveczky and Piotr Kosiuczenko and Martin Wirsing}, volume = {1165}, title = {{Steamboiler Specification Problem: An Algebraic Object-Oriented Solution}} } @Inproceedings{wirsing-knapp:1996, publisher = {Elsevier}, booktitle = {Proc. 1st Int. Wsh. Rewriting Logic and Its Applications}, url = {http://www.pst.informatik.uni-muenchen.de/veroeffentlichungen/wirsing-knapp:1996.ps.gz}, year = {1996}, series = {Electr. Notes Theo. Comp. Sci.}, editor = {Jos{\'e} Meseguer}, author = {Martin Wirsing and Alexander Knapp}, volume = {4}, title = {{A Formal Approach to Object-Oriented Software Engineering}}, pages = {321--359}, note = {Revised version} } @Article{Bidoit-Hennicker-Wirsing-et-al-95, journal = {Science of Computer Programming}, url = {http://www.pst.informatik.uni-muenchen.de/~hennicke/SCP.final.ps.Z}, year = {1995}, author = {Michel Bidoit and Rolf Hennicker and Martin Wirsing}, volume = {25(2-3)}, title = {{Behavioural and {A}bstractor {S}pecifications}}, pages = {146-186} } @Incollection{Broy-Wirsing-95, publisher = {Springer, LNCS 1009}, booktitle = {{KORSO} - Correct Software by Formal Methods}, year = {1995}, editor = {M. Broy and S. J{\"a}hnichen}, author = {Manfred Broy and Martin Wirsing}, title = {{Correct Software: From Experiments to Applications}} } @Inproceedings{Lechner-et-al-95, publisher = {Springer Verlag}, booktitle = {Recent Trends in Data Type Specification}, year = {1995}, series = {Lecture Notes in Computer Science}, editor = {E. Astesiano and G. Reggio and A. Tarlecki}, author = {Ulrike Lechner and C. Lengauer and Martin Wirsing}, volume = {906}, title = {{An Object-Oriented Airport}}, pages = {351--367} } @Inproceedings{mandel8, month = {October}, booktitle = {Proceedings of the Congress CACIC'95 {\it Congreso Argentino de Ciencias de la Computaci\'on}}, url = {http://www.pst.informatik.uni-muenchen.de/~mandel/bahia.dvi.gz}, year = {1995}, institution = {Universidad Nacional del Sur}, author = {John N. Crossley and Luis Mandel and Martin Wirsing}, title = {{C}\'alculo {L}ambda de {P}rimer {O}rden y la {P}ropiedad {C}hurch--{R}osser}, pages = {493--504}, note = {(in spanish)} } @Inproceedings{NenningerNickl95ICSE-WOFMASEP, booktitle = {ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice}, year = {1995}, editor = {M. Wirsing}, author = {M. Nenninger and F. Nickl}, title = {{Implementing data structures by composition of reusable components: a formal approach}}, pages = {134-141} } @Inproceedings{Pepper-Wirsing-95, publisher = {Springer Verlag}, booktitle = {{KORSO}: Methods, Languages, and Tools for the Construction of Correct Software. Final Report}, year = {1995}, series = {Lecture Notes in Computer Science}, editor = {M. Broy and S. J{\"a}hnichen}, author = {P. Pepper and Marting Wirsing}, volume = {1009}, title = {{A Method for the Development of Correct Software}} } @Inproceedings{Wirsing-95, publisher = {Springer Verlag}, booktitle = {Recent Trends in Data Type Specification}, year = {1995}, series = {Lecture Notes in Computer Science}, editor = {E. Astesiano and G. Reggio and A. Tarlecki}, author = {Martin Wirsing}, volume = {906}, title = {{Algebraic Specification Languages: An Overview}}, pages = {351--367} } @Inproceedings{Wirsing-et-al-95, publisher = {Nagoya University}, month = {March}, booktitle = {Workshop on Algebraic and Object-Oriented Approaches to Software Science, Nagoya/Japan}, year = {1995}, editor = {Y. Inagaki}, author = {Martin Wirsing and Friederike Nickl and Ulrike Lechner}, title = {{Concurrent object-oriented specification in SPECTRUM}}, pages = {39-70} } @Inproceedings{Wirsing-Kosiuczenko-95, publisher = {Springer Verlag}, booktitle = {Proceedings of the International Summer School on Proof and Computation, Marktoberdorf}, url = {http://www.pst.informatik.uni-muenchen.de/~kosiucze/trlmod.ps}, year = {1995}, series = {NATO-ASI Series}, editor = {H. Schwichtenberg}, author = {Martin Wirsing and Piotr Kosiuczenko}, title = {{Timed Rewriting Logic}} } @Inproceedings{Wirsing-Kosiuczenko-96, publisher = {Springer Verlag}, booktitle = {Proceedings of the International Summer School on Proof and Computation}, url = {http://www.pst.informatik.uni-muenchen.de/~kosiucze/trlmod.ps}, year = {1995}, series = {NATO-ASI Series}, editor = {H. Schwichtenberg}, author = {Piotr Kosiuczenko and Martin Wirsing}, title = {{T}imed {R}ewriting {L}ogic for the {S}pecification of {T}ime-{S}ensitive {S}ystems} } @Article{wollic94, month = {July}, journal = {Bulletin of the Interest Group in Pure and Applied Logics (IGPL)}, url = {http://www.pst.informatik.uni-muenchen.de/~cengarle/part-I.ps}, year = {1995}, number = {4}, author = {Mar{\'{\i}}a Victoria Cengarle and Martin Wirsing}, volume = {3}, title = {A {C}alculus of {H}igher-{O}rder {P}arameterization for {A}lgebraic {S}pecifications}, pages = {615--641}, note = {Special Issue 'Workshop on Logic, Language, Information and Computationm 1994'} } @Inproceedings{Bidoit-et-al-94, publisher = {Springer-Verlag L.N.C.S.~788}, booktitle = {Proc.~of ESOP'94}, year = {1994}, author = {Michel Bidoit and Rolf Hennicker and Martin Wirsing}, title = {{Characterizing behavioural semantics and abstractor semantics}}, pages = {105--119} } @Techreport{mvc:monash1, month = {May}, url = {http://www.pst.informatik.uni-muenchen.de/~cengarle/calculus.ps}, year = {1994}, number = {94/198}, institution = {Department of Computer Science, Monash University}, author = {Mar{\'{\i}}a Victoria Cengarle and Martin Wirsing}, title = {{A} Calculus of Parameterization for Algebraic Specifications}, note = {20 pages} } @Techreport{mvc:monash2, month = {May}, url = {http://www.pst.informatik.uni-muenchen.de/~cengarle/typing.ps}, year = {1994}, number = {94/199}, institution = {Department of Computer Science, Monash University}, author = {Mar{\'{\i}}a Victoria Cengarle and Martin Wirsing}, title = {Semantic {T}yping for {P}arametric {A}lgebraic {S}pecifications}, note = {12 pages} } @Techreport{Wirsing-et-al-94, year = {1994}, institution = {Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen}, author = {Martin Wirsing}, title = {Algebraic {S}pecification {L}anguages: {A}n {O}verview} } @Techreport{mandel, type = {Technical Report}, month = {October}, url = {http://www.pst.informatik.uni-muenchen.de/~mandel/techber.dvi}, year = {1993}, number = {Number 9318}, institution = {Ludwig-Maximilians-Universit{\"a}t M{\"u}nchen}, address = {Leopoldstra{\ss e} 11b, 80802 {M\"u}nchen, Germany}, author = {John N. Crossley and Luis Mandel and Martin Wirsing}, title = {{U}ntyped {C}onstrained {L}ambda {C}alculus}, pages = {48}, note = {48 pages} } @Inproceedings{mandel2, month = {September}, booktitle = {Proceedings of the Segundo Congreso de Programaci\'on Declarativa, ProDe '93}, url = {http://www.pst.informatik.uni-muenchen.de/~mandel/prode.dvi}, year = {1993}, institution = {Ludwig-Maximilians-Universi{t\"a}t}, isbn = {84-00-07383-5}, address = {Blanes, Girona Spain}, author = {John N. Crossley and Luis Mandel and Martin Wirsing}, title = {{U}na {E}xtensi\'on de {C}onstraints al {C}\'alculo {L}ambda}, note = {(In Spanish)} } @Inproceedings{mandel3, month = {August}, booktitle = {NATO Advanced Study Institute. Constraint Programming}, url = {http://www.pst.informatik.uni-muenchen.de/~mandel/abstract.dvi.gz}, year = {1993}, organization = {Institute of Cybernetics, Estonian Academy of Science}, address = {Tallin, Estonia}, editor = {Brian Mayoh and Een Tyugu}, author = {John N. Crossley and Luis Mandel and Martin Wirsing}, title = {{Untyped Constrained Lambda Calculus is Weakly Church Rosser}}, note = {Technical Report CS57/93. 5 pages} } @Inproceedings{Nickl-Wirsing-93, publisher = {Springer}, booktitle = {Formal Methods in Programming and Their Applications, LNCS 735}, year = {1993}, editor = {Dines Bj{\o}rner and Manfred Broy}, author = {Friederike Nickl and Marting Wirsing}, title = {{A Formal Approach to Requirements Engineering}}, pages = {312-334} } @Article{baker, month = {April}, journal = {Lisp and Symbolic Computation: An International Journal}, year = {1992}, number = {4}, author = {Heiner Brand and Mar\'{\i}a Victoria Cengarle and Klaus {D\"a\ss ler} and Luis Mandel and Thekla Schneider and Martin Wirsing}, volume = {4}, title = {Answer to {B}aker's {R}emarks of {J}uly 1991 on {V}ersion 1.0}, pages = {399--404} } @Article{dklisp, month = {April}, journal = {Lisp and Symbolic Computation: An International Journal}, year = {1992}, number = {4}, author = {Heiner Brand and Mar\'{\i}a Victoria Cengarle and Klaus {D\"a\ss ler} and Luis Mandel and Thekla Schneider and Martin Wirsing}, volume = {4}, title = {An {A}pproach to the {DIN} {K}ernel {L}isp {D}efinition}, pages = {319--369} } @Inproceedings{WBTapsoft89, publisher = {Springer}, booktitle = {TAPSOFT 89}, url = {http://pmi.pst.ifi.lmu.de/text_files/0000/0020/1989TAPSOFT-BroyW-ModFramwkSpec_Impl.pdf}, year = {1989}, series = {Lecture Notes in Computer Science}, editor = {Josep Diaz and Fernando Orejas}, author = {Martin Wirsing and Manfred Broy}, volume = {351}, title = {{A modular framework for algebraic specification and implementation}}, pages = {42-73} } @Inproceedings{BW81NdPL, publisher = {Springer}, booktitle = {6eme Colloque sur les Arbres en Algebre et en Programmation}, url = {http://pmi.pst.ifi.lmu.de/text_files/0000/0022/BWAlgSpecNondetPL.pdf}, year = {1981}, series = {Lecture Notes in Computer Science }, editor = {Egidio Astesiano and Corrado Boehm}, author = {Manfred Broy and Martin Wirsing}, title = {{On the algebraic specification of nondeterministic programming languages}} }