Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Methods for Knowledge Based Controlling of Distributed Systems.

S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton. ATVA, volume 6252 of Lecture Notes in Computer Science, page 52-66. Springer, (2010)

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.

Sophie Ohnmacht University of Stuttgart

Sophie Förste University of Stuttgart

Lea-Sophie Hornberger University of Stuttgart

Hannah Sophie Boltze University of Stuttgart

Marla-Sophie Schmid University of Stuttgart

Other publications of authors with the same name

Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.G. Frehse, A. Hamann, S. Quinton, and M. Woehrle. RTSS, page 53-62. IEEE Computer Society, (2014)Verifying Weakly-Hard Real-Time Properties of Traffic Streams in Switched Networks.L. Ahrendts, S. Quinton, T. Boroske, and R. Ernst. ECRTS, volume 106 of LIPIcs, page 15:1-15:22. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates.S. Holthusen, S. Quinton, I. Schaefer, J. Schlatow, and M. Wegner. PrePost@IFM, volume 208 of EPTCS, page 31-45. (2016)Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time Constraints.P. Axer, S. Quinton, M. Neukirchner, R. Ernst, B. Döbel, and H. Härtig. ECRTS, page 215-224. IEEE Computer Society, (2013)Achieving Distributed Control through Model Checking.S. Graf, D. Peled, and S. Quinton. CAV, volume 6174 of Lecture Notes in Computer Science, page 396-409. Springer, (2010)The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092).R. Ernst, S. Kuntz, S. Quinton, and M. Simons. Dagstuhl Reports, 8 (2): 122-149 (2018)Knowledge-based construction of distributed constrained systems.S. Graf, and S. Quinton. Software and Systems Modeling, 15 (4): 1163-1180 (2016)Mixed criticality systems with weakly-hard constraints.O. Gettings, S. Quinton, and R. Davis. RTNS, page 237-246. ACM, (2015)Methods for Knowledge Based Controlling of Distributed Systems.S. Bensalem, M. Bozga, S. Graf, D. Peled, and S. Quinton. ATVA, volume 6252 of Lecture Notes in Computer Science, page 52-66. Springer, (2010)Extending typical worst-case analysis using response-time dependencies to bound deadline misses.Z. Hammadeh, S. Quinton, and R. Ernst. EMSOFT, page 10:1-10:10. ACM, (2014)