Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems.

M. Mehrabian, M. Khayatian, A. Shrivastava, J. Eidson, P. Derler, H. Andrade, Y. Li-Baboud, E. Griffor, M. Weiss, und K. Stanton. ACM Trans. Embed. Comput. Syst., 16 (5s): 169:1-169:20 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Patricia Sonnenberg University of Stuttgart

Patricia Pauli University of Stuttgart

Patricia Legner University of Stuttgart

Dr. phil. Patricia Oviedo Toral University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Distributed Simulation of Heterogeneous and Real-Time Systems.G. Lasnier, J. Cardoso, P. Siron, C. Pagetti, und P. Derler. DS-RT, Seite 55-62. IEEE Computer Society, (2013)Guest Editorial: Special Issue of ACM TECS on the ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2017).P. Derler, K. Schneider, und J. Talpin. ACM Trans. Embedded Comput. Syst., 18 (1): 1:1-1:2 (2019)Modeling and Simulation of TDL Applications.S. Resmerita, P. Derler, W. Pree, und A. Naderlinger. Model-Based Engineering of Embedded Real-Time Systems, Volume 6100 von Lecture Notes in Computer Science, Seite 107-128. Springer, (2007)Modeling Cyber-Physical Systems.P. Derler, E. Lee, und A. Sangiovanni-Vincentelli. Proceedings of the IEEE, 100 (1): 13-28 (2012)Specification of precise timing in synchronous dataflow models.P. Derler, K. Ravindran, und R. Limaye. MEMOCODE, Seite 85-94. IEEE, (2016)Towards a reconfigurable distributed testbed to enable advanced research and development of timing and synchronization in cyber-physical systems.H. Andrade, P. Derler, J. Eidson, Y. Li-Baboud, A. Shrivastava, K. Stanton, und M. Weiss. ReConFig, Seite 1-6. IEEE, (2015)Flexible Static Scheduling of Software with Logical Execution Time Constraints.P. Derler, und S. Resmerita. CIT, Seite 1719-1726. IEEE Computer Society, (2010)Systems Engineering for Industrial Cyber-Physical Systems Using Aspects.I. Akkaya, P. Derler, S. Emoto, und E. Lee. Proceedings of the IEEE, 104 (5): 997-1012 (2016)Models and Tools for SOA Governance.P. Derler, und R. Weinreich. TEAA, Volume 4473 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2006)Time in cyber-physical systems.A. Shrivastava, P. Derler, Y. Li-Baboud, K. Stanton, M. Khayatian, H. Andrade, M. Weiss, J. Eidson, und S. Chandhoke. CODES+ISSS, Seite 4:1-4:10. ACM, (2016)