LehrePublikationen
2013 | |
 |
Confirming the Design Gap.
Proceedings of the third international conference on computional science, engineering and information thechnology 2013
Juni
2013
akzeptiert
|
|
|
Digital Hardware Projects: A New Tool for Automated Complexity Analysis.
Proceedings of the 8th IEEE International Symposium on
Industrial Embedded Systems 2013
Juni
2013
ISBN: 978-1-4799-0658-1
akzeptiert
|
 |
A New Concept for System-Level Design of Runtime Reconfigurable Real-Time Systems.
5th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2013)
April
2013
|
|
|
Quantitative analysis of software code by states.
Proceedings of the eighth IASTED International Conference on Advances in Computer Science 2013
April
2013
|
|
|
Event Density Analysis for Event Triggered Control Systems.
Proceedings of the Design Automation and Test Conference in Europe (DATE)
März
2013
|
|
|
Sufficient Real-Time Analysis for an Engine Control Unit with Constant Angular Velocities.
Proceedings of the Design Automation and Test Conference in Europe (DATE)
März
2013
|
|
|
Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways.
Real-Time Systems,
49,(1):73-116
Januar
2013.
|
2012 | |
|
|
An Approach for the Integration of Smart Antennas in the Design and Simulation of Vehicular Ad-Hoc Networks.
Proceedings of the International Conference on Future Generation Communication Technology (FGCT),
Dezember
2012
|
|
|
Disparity Calculation: A Probabilistic Approach.
Proceedings of the IASTED International Conference Computer Graphics and Imaging (CGIM 2012),
Juni
2012.
|
|
|
Jitter Considerations for Worst-Case Performance Generation in Digital Controller Design.
CPMNS Tagungsband
April
2012
ISBN: 978-3-8396-0398-7
|
|
|
Towards Real-Time Media Access in Vehicular Ad-Hoc Networks.
Proceedings of the Workshop on Wireless Vehicular Communications and Networks of IEEE Wireless Communications and Networking Conference (WCNC),
April
2012
|
|
|
A Context-Sensitive Real-Time Analysis with Event Streams.
Dissertation
Ulm University,
März
2012
|
2011 | |
|
|
Design Entropy Concept.
ESWEEK 2011 Compilation Proceedings (CODES+ISSS '11)
Oktober
2011
ISBN: 978-1-4503-0712-3
|
|
|
States and Complexity.
In , und , Editor,
Coping with Complexity COPCOM 2011
, Seite 68-88.
Oktober
2011
ISBN: 978-606-17-0014-1
|
|
|
A Multidisciplinary Design Methodology for Cyber-physical Systems.
Proceedings of the 4th International Workshop on Model Based Architecting and Construction of Embedded Systems,
Oktober
2011.
|
|
|
Relaxing Event Densities by Exploiting Infeasible Paths in Control Flow Graphs.
Proceedings of the 19th International Conference on Real-Time and Network Systems,
September
2011.
|
|
|
Using Schedulability Analysis Techniques to Derive the Average-Case Behavior with a Monte-Carlo Simulation.
Proceedings of the 2nd International Real-Time Scheduling Open Problems Seminar (RTSOPS),
Juli
2011.
|
|
|
Controller Area Network (CAN) Schedulability Analysis with FIFO queues.
Proceedings of the 23rd Euromicro Conference on Real-Time Systems,
IEEE,
Juli
2011.
Best Paper Award |
|
|
Reducing Response Times by Competition Based Dependencies.
Proceedings of the 14th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,
Februar
2011.
|
|
|
Situation Aware Scheduling for Energy-Efficient Real-Time Systems.
Proceedings of the 8th Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems,
2011.
|
|
|
Approximative Real-Time Analysis.
Dissertation
Universität Ulm,
2011
|
2010 | |
|
|
Comparative Application of Real-Time Verification Methods to an Automotive Architecture.
Proceedings of the 18th International Conference on Real-Time and Network Systems,
November
2010.
|
|
|
Guaranteed Bounds for the Control Performance Evaluation in Distributed System Architectures.
Proceedings of the International Conference on Real-Time and Embedded Systems (RTES),
November
2010.
|
|
|
A Scalable Approach for the Description of Dependencies in Hard Real-Time Systems.
Proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation,
Seite 397-411,
Springer Verlag,
Oktober
2010.
|
|
|
Global Best-Case Response Time for Improving the Worst-Case Response Times in Distributed Real-Time Systems.
Proceedings of the 7th IFIP Distributed and Parallel Embedded Systems Conference (DIPES),
September
2010.
|
|
|
Generalizing Response-Time Analysis.
Proceedings of the 16th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA),
IEEE Computer Society,
August
2010.
|
|
|
Towards more Realistic Simulations of Ad-hoc Networks - Challenges and Opportunities.
Proceedings of the International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS),
Juli
2010
|
|
|
Holistic Real-Time Analysis with an Expressive Event Model.
Proceedings of the 13th Workshop on Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen,
Seite 67-76,
Februar
2010.
|
2009 | |
|
|
Application Specific Performance Indicators for Quantitative Evaluation of the Timing Behavior of Embedded Real-Time Systems.
Proceedings of the Design Automation and Test Conference in Europe (DATE),
2009.
|
|
|
Improved Worst-Case Response-Time Calculations by Upper-Bound Conditions.
Proceedings of the Design Automation and Test Conference in Europe (DATE 09),
2009.
|