direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications of KBS

<< previous [1]
next >> [19]


Matthias Werner and Louchka Popova-Zeugmann and Jan Richling (2004). A Method to prove Non-reachability in Prioritized Duration Petrinets [23]. Fundamentae Informatica, 61(2004)3,4, 351–368.

Louchka Popova-Zeugmann and Matthias Werner and Jan Richling (2003). Using State Equation to Prove Non-reachability in Timed Petrinets [24]. Fundamentae Informatica, 55(2003)2, 187–202.

Jan Richling and Louchka Popova-Zeugmann and Matthias Werner (2002). Verification of Non-functional Properties of a Composable Architecture with Petrinets [25]. Fundamenta Informaticae, 51, 185–200.

Daniel Graff and Jan Richling and Matthias Werner (2013). Modeling Group Scheduling Problems in Space and Time by Timed Petri Nets [26]. Fundamenta Informaticae. IOS Press, 297-313.

Link to publication [27]


Matthias Diener and Eduardo H.M. Cruz and Marco A.Z. Alves and Mohammad S. Alhakeem and Philippe O.A. Navaux and Hans-Ulrich Heiß (2015). Locality and Balance for Communication-Aware Thread Mapping in Multicore Systems [28]. Euro-Par 2015: Parallel Processing, 196-208.


Roger Butenuth and Hans-Ulrich Heiss (1996). Cosy - An Operating System for Highly Parallel Computers [29]. ACM Operating Systems Review, Vol. 30, No. 2, 81–91.

Link to publication [30]


Nikolaus Jeremic and Gero Mühl and Anselm Busse and Jan Richling (2012). Dataset Management Aware Software Architecture for Storage Systems based on SSDs [31]. 7th IEEE International Conference on Networking, Architecture, and Storage (NAS 2012), 288-292.

Michael C. Jaeger and Lars Engel and Gero Mühl (2005). Semantics in Web Services – The Need for Software Tools [32]. Position Paper on the W3C workshop on Frameworks for Semantics in Web Services

Link to publication [33]

Michael C. Jaeger and Gero Mühl and Sebastian Golze (2005). QoS-aware Composition of Web Services: A Look at Selection Algorithms [34]. IEEE International Conference on Web Services (ICWS'05). IEEE Press, 807–808.

Link to publication [35]

Gero Mühl and Michael A. Jaeger and Klaus Herrmann and Torben Weis and Ludger Fiege and Andreas Ulbrich (2005). Self-Stabilizing Publish/Subscribe Systems: Algorithms and Evaluation [36]. Proceedings of the 11th European Conference on Parallel Processing (Euro-Par 2005). Springer-Verlag, 664–674.

Link to publication [37]

Andreas Ulbrich and Torben Weis and Kurt Geihs (2005). A Modeling Language for Applications in Pervasive Computing Environments [38]. Proceedings of 2nd International Workshop on Model/based Methodologies for Pervasive and Embedded Software

Lars-Olof Burchard and Hans-Ulrich Heiss and Barry Linnert and Jörg Schneider and Odej Kao and Matthias Hovestadt and Felix Heine and Axel Keller (2006). The Virtual Resource Manager: Local Autonomy versus QoS Guarantees for Grid Applications [39]. Future Generation Grids

Link to publication [40] Link to original publication [41]

Torben Weis (2004). Model-driven Development of QoS-enabled distributed Applications [42]. Technische Universtität Berlin

Link to publication [43]

Andreas Ulbrich and Torben Weis and Gero Mühl and Kurt Geihs (2005). Application Development for Actuator- and Sensor-Networks [44]. 4. GI/ITG KuVS Fachgespräch Drahtlose Sensornetze

Klaus Herrmann and Gero Mühl and Michael A. Jaeger (2005). A Self-Organizing Lookup Service for Dynamic Ambient Services [45]. 25th International Conference on Distributed Computing Systems (ICDCS 2005). IEEE Press, 707–716.

Link to publication [46]

Michael C. Jaeger and Gregor Rojec-Goldmann and Gero Mühl (2005). QoS Aggregation in Web Service Compositions [47]. 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE-05). IEEE Press, 181–185.

Link to publication [48]

Sebastian Golze and Gero Mühl and Torben Weis (2005). How to Configure Proof-of-Work Functions to Stop Spam [49]. Sicherheit 2005. Köllen Verlag, 165–174.

Link to publication [50]

Sebastian Golze and Gero Mühl and Torben Weis and Michael C. Jaeger (2005). Lastregelung von Web Services mittels Proof-of-Work Funktionen [51]. Kommunikation in verteilten Systemen (KiVS 2005). Köllen Verlag, 57–64.

Link to publication [52]

Michael C. Jaeger and Gregor Rojec-Goldmann and Gero Mühl and Christoph Liebetruth and Kurt Geihs (2005). Ranked Matching for Service Descriptions using OWL-S [53]. Kommunikation in verteilten Systemen (KiVS 2005). Springer, 91–102.

Link to publication [54]

Klaus Herrmann and Michael A. Jaeger (2004). PayFlux – Secure Electronic Payment in Mobile Ad hoc Networks [55]. Proceedings of the Sixth International Conference on Information and Communications Security (ICICS'04). Springer, 66–78.

Link to publication [56]

<< previous [57]
next >> [75]
------ Links: ------

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Copyright TU Berlin 2008