Carsten Rust

According to our database1, Carsten Rust authored at least 24 papers between 1998 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2015
Modellbasiertes Testen bei der Entwicklung einer IKT-Infrastruktur für Elektromobilität.
Softwaretechnik-Trends, 2015

2011
uRun: A Framework for User-Generated Mobile Services in the Health and Fitness Domain.
Int. J. Serv. Sci. Manag. Eng. Technol., 2011

Personalized And Situation-Aware Recommendations For Runners.
Proceedings of the Pacific Asia Conference on Information Systems, 2011

User-generated mobile services for health and fitness.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

uService - Enabling user-driven fitness services on-the-go.
Proceedings of the A Renaissance of Information Technology for Sustainability and Global Competitiveness. 17th Americas Conference on Information Systems, 2011

2010
uRun - Der mobile Gesundheitscoach.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Towards a Platform for User-Generated Mobile Services.
Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

2008
Pseudo Identities Based on Fingerprint Characteristics.
Proceedings of the 4th International Conference on Intelligent Information Hiding and Multimedia Signal Processing (IIH-MSP 2008), 2008

2005
The Reconfigurable UML Machine Project Group.
Proceedings of the New Trends and Technologies in Computer-Aided Learning for Computer-Aided Design, 2005

Using mini robots for prototyping intersection management of vehicles.
Proceedings of the 3rd International Symposium on Autonomous Minirobots for Research and Edutainment (AMiRE 2005), 2005

2004
Petri net based design of a multi-robot scenario - a case study.
Proceedings of the IEEE International Conference on Systems, 2004

A Petri Net Based Approach for the Design of Dynamically Modifiable Embedded Systems.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Automatic Synthesis of SystemC-Code from Formal Specifications.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

2003
Modeling of Dynamically Modifiable Embedded Real-Time Systems.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

From high-level Petri nets to SystemC.
Proceedings of the IEEE International Conference on Systems, 2003

Worst Case Execution Time Analysis for Petri Net Models of Embedded Systems.
Proceedings of the International Conference on Embedded Systems and Applications, 2003

2002
Petri Net Based Design of Reconfigurable Embedded.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

2001
Pr/T-Net Based Seamless Design of Embedded Real-Time Systems.
Proceedings of the Application and Theory of Petri Nets 2001, 2001

2000
Zero-overhead Pr/T-Net execution.
Proceedings of the 14<sup>th</sup> European Simulation Multiconference, 2000

From High-Level Specifications Down to Software Implementations of Parallel Embedded Real-Time Systems.
Proceedings of the 2000 Design, 2000

Entwurf von autonomen Systemen mit High Level Petrinetzen.
Proceedings of the Autonome Mobile Systeme 2000, 2000

1999
U.S.U. ValueBase: Anwendungsbeispiele.
HMD Prax. Wirtsch., 1999

1998
Paradise: Design Environment for Parallel & Distributed, Embedded Real-Time Systems.
Proceedings of the Distributed and Parallel Embedded Systems, 1998

Integrated Design and Simulation of Hybrid Systems.
Proceedings of the Hybrid Systems: Computation and Control, First International Workshop, 1998


  Loading...