Carsten Rust - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 24 from 24

2015

Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für ElektromonilitätBaris Güldali, Mirko Rose, Alexander Teetz, Stephan Flake, Carsten Rust. stt, 35(1), 2015. [doi]

2011

User-generated mobile services for health and fitnessAlexandra Chapko, Marc Gräßle, Andreas Emrich, Dirk Werth, Carsten Rust, Nico Laum, Christian Lerche, Alexander Weber. etfa 2011: 1-8 [doi]

uService - Enabling user-driven fitness services on-the-goAlexandra Chapko, Andreas Emrich, Marc Gräßle, Tatjana Feldmann, Dirk Werth, Jürgen Tacken, Stephan Flake, Carsten Rust. amcis 2011: [doi]

uRun: A Framework for User-Generated Mobile Services in the Health and Fitness DomainAlexandra Chapko, Andreas Emrich, Stephan Flake, Frank Golatowski, Marc Gräßle, Andreas Kohlos, Nico Laum, Christian Lerche, Carsten Rust, Jürgen Tacken, Dirk Werth, Carsten Zoth. ijssmet, 2(4):79-97, 2011. [doi]

Personalized And Situation-Aware Recommendations For RunnersAndreas Emrich, Alexandra Chapko, Marc Gräßle, Dirk Werth, Stephan Flake, Jürgen Tacken, Carsten Rust. pacis 2011: 58 [doi]

2010

2008

2005

Using mini robots for prototyping intersection management of vehiclesMatthias Grünewald, Carsten Rust, Ulf Witkowski. amire 2006: 287-292

The Reconfigurable UML Machine Project GroupAchim Rettberg, Tim Schattkowsky, Carsten Rust, Wolfgang Müller 0003, Franz J. Rammig. ifip10-5 2005: 139-147 [doi]

2004

Petri net based design of a multi-robot scenario - a case studyCarsten Rust, Matthias Grünewald. SMC 2004: 5411-5416 [doi]

A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded SystemsCarsten Rust, Franz J. Rammig. ifip10-3 2004: 257-266

Automatic Synthesis of SystemC-Code from Formal SpecificationsCarsten Rust, Achim Rettberg. ifip10-3 2004: 187-196

2003

Modeling of Dynamically Modifiable Embedded Real-Time SystemsFranz-Josef Rammig, Carsten Rust. words 2004: 28-34 [doi]

From high-level Petri nets to SystemCCarsten Rust, Achim Rettberg, Kai Gossens. SMC 2003: 1032-1038 [doi]

Worst Case Execution Time Analysis for Petri Net Models of Embedded SystemsFriedhelm Stappert, Carsten Rust. csreaESA 2003: 176-182

2002

Petri Net Based Design of Reconfigurable EmbeddedCarsten Rust, Friedhelm Stappert, Reinhard Bernhardi-Grisson. ifip10-3 2002: 41-50

2001

Pr/T-Net Based Seamless Design of Embedded Real-Time SystemsCarsten Rust, Jürgen Tacken, Carsten Böke. apn 2001: 343-362 [doi]

2000

Zero-overhead Pr/T-Net executionCarsten Böke, Markus Hübel, Franz J. Rammig, Carsten Rust. scesm 2000: 102-107

Entwurf von autonomen Systemen mit High Level PetrinetzenBernd Kleinjohann, Carsten Rust, Jürgen Tacken. ams 2000: 278-286

From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time SystemsCarsten Rust, Friedhelm Stappert, Peter Altenbernd, Jürgen Tacken. date 2000: 686-691 [doi]

1999

U.S.U. ValueBase: AnwendungsbeispieleCarsten Rust, Harald Huber, Uwe Müller. hmd, 208:71-79, 1999. [doi]

1998

Sign in or sign up to see more results.

runs on WebDSL