Author of the publication

Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.

, , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 130-145. Springer, (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Comparative Case Study of Distributed Network Architectures for Different Automotive Applications., , , , , and . The Industrial Information Technology Handbook, CRC Press, (2005)Demo abstract - Skitracker: measuring skiing performance using a body-area network., , and . IPSN, page 319-320. ACM, (2013)Verifying temporal constraints on data in multi-rate transactions using timed automata., , , , and . RTCSA, page 263-270. IEEE Computer Society, (2000)Minimizing CAN Response-Time Jitter by Message Manipulation., , and . IEEE Real Time Technology and Applications Symposium, page 197-206. IEEE Computer Society, (2002)A Dependable Open Platform for Industrial Robotics - A Case Study., , , and . WADS, volume 3069 of Lecture Notes in Computer Science, page 307-329. Springer, (2003)Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings., , and . ISoLA, volume 4313 of Lecture Notes in Computer Science, page 130-145. Springer, (2004)Decreasing Maintenance Costs by Introducing Formal Models and Analysis of Real-Time Systems in Industrial Settings., , and . ISoLA (Preliminary proceedings), volume TR-2004-6 of Technical Report, page 119-125. Department of Computer Science, University of Cyprus, (2004)Real World Influences on Software Architecture - Interviews with Industrial System Experts., , , , , , and . WICSA, page 101-111. IEEE Computer Society, (2004)Lessons Learned from a Workshop on Relationship Building., , , and . ICGSE, page 115-120. IEEE Computer Society, (2009)Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems., , , , and . RTCSA, volume 2968 of Lecture Notes in Computer Science, page 513-528. Springer, (2003)