Projects
I-Systems

[WWL06]

Arnim Wedig, Horst F. Wedde, Anca Lazarescu und Elisei Rotaru
Concurrency in Distributed Systems Under Autonomous and Enforced Actions
Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), IEEE Computer Society Press, Turku, Finland, 2006-06-27

[WWL05a]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Incremental Modeling Under Large-Scale Distributed Interaction
Formal 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

[WWL05c]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Model Building and Model Checking under Large-Scale Distributed Interaction
2005-04

[FKLb]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Zwischenbericht der Projektgruppe 460 - BeeAdHoc - Efficient/Secure/Scalable Routing Framework für AdHoc Netze
Forschungsbericht, Universität Dortmund, Fachbereich Informatik, 2005-03

[WWL05b]

Horst F. Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen und Elisei Rotaru
Modeling and Analyzing Large-Scale Distributed Interaction
2005-03

[Wed04]

Arnim Wedig
Formale Modellierung interagierender autonomer und reaktiver Komponenten verteilter Systeme mit I-Systemen - Formale Basis und Beiträge zur Theorie
Dissertation, Dortmund, Germany, 2004-01

[WeW02]

Horst F. Wedde und Arnim Wedig
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
Tools 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

[WeW01]

Horst F. Wedde und Arnim Wedig
Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
Forschungsbericht, University of Dortmund, 2001-03

[Wed00c]

Arnim Wedig
Modellierung Verteilter Systeme mit I–Systemen - Ein Beispiel
Formale Beschreibungstechniken für verteilte Systeme, Shaker Verlag, 2000-06

[WeW96]

Horst F. Wedde und Arnim Wedig
Worst-Case Blocking Scenarios for Distributed Real-Time Programs
Proc. of the 8th EUROMICRO Workshop on Real-Time Systems, L’Aquila, Italy, 1996-06