ProjekteI-Systems
Arnim Wedig, Horst F. Wedde, Anca Lazarescu und Elisei RotaruConcurrency in Distributed Systems Under Autonomous and Enforced ActionsProceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), IEEE Computer Society Press, Turku, Finland, 2006-06-27
Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei RotaruIncremental Modeling Under Large-Scale Distributed InteractionFormal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Hrsg.: Farn Wang, Nr. 3731, S. 542-546, Spr, Taipei, Taiwan, 2005-10-02
Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei RotaruModel Building and Model Checking under Large-Scale Distributed Interaction2005-04
Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei RotaruZwischenbericht der Projektgruppe 460 - BeeAdHoc - Efficient/Secure/Scalable Routing Framework für AdHoc NetzeForschungsbericht, Universität Dortmund, Fachbereich Informatik, 2005-03
Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei RotaruModeling and Analyzing Large-Scale Distributed Interaction2005-03
Arnim WedigFormale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen - Formale Basis und Beiträge zur TheorieDissertation, Dortmund, Germany, 2004-01
Horst F. Wedde und Arnim WedigExplicit Modeling of Influences, and of Their Absence, in Distributed SystemsTools and Algorithms for the Construction and Analysis of Systems 8th International Conference (TACAS 2002), Hrsg.: J. P. Katoen und P. Stevens, (2280), Springer-Verlag, Grenoble, France, 2002
Horst F. Wedde und Arnim WedigExplicit Modeling of Influences, and of Their Absence, in Distributed SystemsForschungsbericht, University of Dortmund, 2001-03
Arnim WedigModellierung Verteilter Systeme mit I–Systemen - Ein BeispielFormale Beschreibungstechniken für verteilte Systeme, Shaker Verlag, 2000-06
Horst F. Wedde und Arnim WedigWorst-Case Blocking Scenarios for Distributed Real-Time ProgramsProc. of the 8th EUROMICRO Workshop on Real-Time Systems, L’Aquila, Italy, 1996-06