Search

Your search keyword '"Graf, Susanne"' showing total 612 results
Start Over Author "Graf, Susanne"

Refine your results

more »

more »

more »

more »
612 results on '"Graf, Susanne"'

1. All About Time

Author

Graf, Susanne, Pettersson, Paul, Steffen, Bernhard, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Graf, Susanne, editor, and Pettersson, Paul, editor

Published
2025
Full Text
View/download PDF

2. Timing is All You Need

Author

Graf, Susanne, Jonsson, Bengt, Khodabandeloo, Behnam, Huang, Chengzi, Huber, Nikolaus, Rümmer, Philipp, Yi, Wang, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Hinchey, Mike, editor

Published
2025
Full Text
View/download PDF

3. Historic methicillin-resistant Staphylococcus aureus: expanding current knowledge using molecular epidemiological characterization of a Swiss legacy collection

Author

Benvenga, Vanni, Cuénod, Aline, Purushothaman, Srinithi, Dasen, Gottfried, Weisser, Maja, Bassetti, Stefano, Roloff, Tim, Siegemund, Martin, Heininger, Ulrich, Bielicki, Julia, Wehrli, Marianne, Friderich, Paul, Frei, Reno, Widmer, Andreas, Herzog, Kathrin, Fankhauser, Hans, Nolte, Oliver, Bodmer, Thomas, Risch, Martin, Dubuis, Olivier, Pranghofer, Sigrid, Calligaris-Maibach, Romana, Graf, Susanne, Perreten, Vincent, Seth-Smith, Helena M. B, and Egli, Adrian

Published
2024
Full Text
View/download PDF

4. MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems

Author

Yi, Wang, Mohaqeqi, Morteza, and Graf, Susanne

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Programming Languages, Computer Science - Software Engineering, 68N15, 68M14, 68N25, D.3, D.4
Abstract

Inspired by the pioneering work of Gilles Kahn on concurrent systems, we propose to model timed systems as a network of software components (implemented as real-time processes or tasks), each of which is specified to compute a collection of functions according to given timing constraints. We present a fixed-point semantics for this model which shows that each system function of such a network computes for a given set of (timed) input streams, a deterministic (timed) output stream. As a desired feature, such a network model can be modified by integrating new components for adding new system functions without changing the existing ones. Additionally, existing components may be replaced also by new ones fulfilling given requirements. Thanks to the deterministic semantics, a model-based approach is enabled for not only building systems but also updating them after deployment, allowing for efficient analysis techniques such as model-in-the-loop simulation to verify the complete behaviour of the updated system.

Published
2020

7. Models, Mindsets, Meta: The What, the How, and the Why Not?

Author

Margaria, Tiziana, Graf, Susanne, Larsen, Kim G., Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Margaria, Tiziana, editor, Graf, Susanne, editor, and Larsen, Kim G., editor

Published
2019
Full Text
View/download PDF

8. Historic methicillin-resistant Staphylococcus aureus: expanding current knowledge using molecular epidemiological characterization of a Swiss legacy collection

Author

Benvenga, Vanni; https://orcid.org/0009-0008-8698-2805, Cuénod, Aline; https://orcid.org/0000-0002-8522-6134, Purushothaman, Srinithi; https://orcid.org/0000-0002-1503-8920, Dasen, Gottfried, Weisser, Maja; https://orcid.org/0000-0002-0134-1929, Bassetti, Stefano; https://orcid.org/0000-0003-1729-1425, Roloff, Tim; https://orcid.org/0000-0003-3435-4723, Siegemund, Martin; https://orcid.org/0000-0002-2013-4140, Heininger, Ulrich; https://orcid.org/0000-0001-8901-6778, Bielicki, Julia; https://orcid.org/0000-0002-3902-5489, Wehrli, Marianne, Friderich, Paul, Frei, Reno; https://orcid.org/0000-0002-2704-8552, Widmer, Andreas; https://orcid.org/0000-0002-7661-5824, Herzog, Kathrin; https://orcid.org/0000-0001-5652-1137, Fankhauser, Hans, Nolte, Oliver; https://orcid.org/0000-0002-1761-0812, Bodmer, Thomas; https://orcid.org/0000-0002-4769-0796, Risch, Martin; https://orcid.org/0000-0003-4587-5639, Dubuis, Olivier; https://orcid.org/0000-0002-8124-3455, Pranghofer, Sigrid, Calligaris-Maibach, Romana, Graf, Susanne; https://orcid.org/0000-0003-4354-6807, Perreten, Vincent; https://orcid.org/0000-0001-5722-9445, Seth-Smith, Helena M B; https://orcid.org/0000-0002-6082-5114, Egli, Adrian; https://orcid.org/0000-0002-3564-8603, Benvenga, Vanni; https://orcid.org/0009-0008-8698-2805, Cuénod, Aline; https://orcid.org/0000-0002-8522-6134, Purushothaman, Srinithi; https://orcid.org/0000-0002-1503-8920, Dasen, Gottfried, Weisser, Maja; https://orcid.org/0000-0002-0134-1929, Bassetti, Stefano; https://orcid.org/0000-0003-1729-1425, Roloff, Tim; https://orcid.org/0000-0003-3435-4723, Siegemund, Martin; https://orcid.org/0000-0002-2013-4140, Heininger, Ulrich; https://orcid.org/0000-0001-8901-6778, Bielicki, Julia; https://orcid.org/0000-0002-3902-5489, Wehrli, Marianne, Friderich, Paul, Frei, Reno; https://orcid.org/0000-0002-2704-8552, Widmer, Andreas; https://orcid.org/0000-0002-7661-5824, Herzog, Kathrin; https://orcid.org/0000-0001-5652-1137, Fankhauser, Hans, Nolte, Oliver; https://orcid.org/0000-0002-1761-0812, Bodmer, Thomas; https://orcid.org/0000-0002-4769-0796, Risch, Martin; https://orcid.org/0000-0003-4587-5639, Dubuis, Olivier; https://orcid.org/0000-0002-8124-3455, Pranghofer, Sigrid, Calligaris-Maibach, Romana, Graf, Susanne; https://orcid.org/0000-0003-4354-6807, Perreten, Vincent; https://orcid.org/0000-0001-5722-9445, Seth-Smith, Helena M B; https://orcid.org/0000-0002-6082-5114, and Egli, Adrian; https://orcid.org/0000-0002-3564-8603

Abstract

BACKGROUND Few methicillin-resistant Staphylococcus aureus (MRSA) from the early years of its global emergence have been sequenced. Knowledge about evolutionary factors promoting the success of specific MRSA multi-locus sequence types (MLSTs) remains scarce. We aimed to characterize a legacy MRSA collection isolated from 1965 to 1987 and compare it against publicly available international and local genomes. METHODS We accessed 451 historic (1965-1987) MRSA isolates stored in the Culture Collection of Switzerland, mostly collected from the Zurich region. We determined phenotypic antimicrobial resistance (AMR) and performed whole genome sequencing (WGS) using Illumina short-read sequencing on all isolates and long-read sequencing on a selection with Oxford Nanopore Technology. For context, we included 103 publicly available international assemblies from 1960 to 1992 and sequenced 1207 modern Swiss MRSA isolates from 2007 to 2022. We analyzed the core genome (cg)MLST and predicted SCCmec cassette types, AMR, and virulence genes. RESULTS Among the 451 historic Swiss MRSA isolates, we found 17 sequence types (STs) of which 11 have been previously described. Two STs were novel combinations of known loci and six isolates carried previously unsubmitted MLST alleles, representing five new STs (ST7843, ST7844, ST7837, ST7839, and ST7842). Most isolates (83% 376/451) represented ST247-MRSA-I isolated in the 1960s, followed by ST7844 (6% 25/451), a novel single locus variant (SLV) of ST239. Analysis by cgMLST indicated that isolates belonging to ST7844-MRSA-III cluster within the diversity of ST239-MRSA-III. Early MRSA were predominantly from clonal complex (CC)8. From 1980 to the end of the twentieth century, we observed that CC22 and CC5 as well as CC8 were present, both locally and internationally. CONCLUSIONS The combined analysis of 1761 historic and contemporary MRSA isolates across more than 50 years uncovered novel STs and allowed us a glimpse into the lineage flux betw

Published
2024

9. Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory

Author

Graf, Susanne, Quinton, Sophie, Girault, Alain, Gössler, Gregor, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Howar, Falk, editor, and Barnat, Jiří, editor

Published
2018
Full Text
View/download PDF

10. Implementing Distributed Controllers for Systems with Priorities

Author

Ben-Hafaiedh, Imene, Graf, Susanne, and Khairallah, Hammadi

Subjects
Computer Science - Distributed, Parallel, and Cluster Computing, Computer Science - Programming Languages, Computer Science - Software Engineering
Abstract

Implementing a component-based system in a distributed way so that it ensures some global constraints is a challenging problem. We consider here abstract specifications consisting of a composition of components and a controller given in the form of a set of interactions and a priority order amongst them. In the context of distributed systems, such a controller must be executed in a distributed fashion while still respecting the global constraints imposed by interactions and priorities. We present in this paper an implementation of an algorithm that allows a distributed execution of systems with (binary) interactions and priorities. We also present a comprehensive simulation analysis that shows how sensitive to changes our algorithm is, in particular changes related to the degree of conflict in the system., Comment: In Proceedings FOCLASA 2010, arXiv:1007.4993

Published
2010
Full Text
View/download PDF

11. A Framework for Evaluating Schedulability Analysis Tools

Author

Shan, Lijun, Graf, Susanne, Quinton, Sophie, Fejoz, Loïc, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Aceto, Luca, editor, Bacci, Giorgio, editor, Bacci, Giovanni, editor, Ingólfsdóttir, Anna, editor, Legay, Axel, editor, and Mardare, Radu, editor

Published
2017
Full Text
View/download PDF

13. Ancient methicillin-resistant Staphylococcus aureus: expanding current knowledge using molecular epidemiological characterization of a Swiss legacy collection

Author

Benvenga, Vanni, primary, Cuénod, Aline, additional, Purushothaman, Srinithi, additional, Dasen, Gottfried, additional, Weisser, Maja, additional, Bassetti, Stefano, additional, Roloff, Tim, additional, Siegemund, Martin, additional, Heininger, Ulrich, additional, Bielicki, Julia Anna, additional, Wehrli, Marianne, additional, Friderich, Paul, additional, Frei, Reno, additional, Widmer, Andreas, additional, Herzog, Kathrin, additional, Fankhauser, Hans, additional, Nolte, Oliver, additional, Bodmer, Thomas, additional, Risch, Martin, additional, Dubuis, Olivier, additional, Pranghofer, Sigrid, additional, Calligaris-Maibach, Romana, additional, Graf, Susanne, additional, Tschudin-Sutter, Sarah, additional, Perreten, Vincent, additional, Seth-Smith, Helena M.B, additional, and Egli, Adrian, additional

Published
2023
Full Text
View/download PDF

14. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS

Author

Altmeyer, Sebastian, André, Etienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng, Altmeyer, Sebastian, André, Etienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., and Sun, Youcheng

Abstract

We present here the main features and lessons learned from the first edition of what has now become the ECRTS industrial challenge, together with the final description of the challenge and a comparative overview of the proposed solutions. This verification challenge, proposed by Thales, was first discussed in 2014 as part of a dedicated workshop (FMTV, a satellite event of the FM 2014 conference), and solutions were discussed for the first time at the WATERS 2015 workshop. The use case for the verification challenge is an aerial video tracking system. A specificity of this system lies in the fact that periods are constant but known with a limited precision only. The first part of the challenge focuses on the video frame processing system. It consists in computing maximum values of the end-to-end latency of the frames sent by the camera to the display, for two different buffer sizes, and then the minimum duration between two consecutive frame losses. The second challenge is about computing end-to-end latencies on the tracking and camera control for two different values of jitter. Solutions based on five different tools - Fiacre/Tina, CPAL (simulation and analysis), IMITATOR, UPPAAL and MAST - were submitted for discussion at WATERS 2015. While none of these solutions provided a full answer to the challenge, a combination of several of them did allow to draw some conclusions.

Published
2023

15. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Author

Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun, Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng, Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun, Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., and Sun, Youcheng

Abstract

We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and instructions and scripts to reproduce these results smoothly.

Published
2023
Full Text
View/download PDF

16. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)

Author

Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun, Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., Sun, Youcheng, Sebastian Altmeyer and Étienne André and Silvano Dal Zilio and Loïc Fejoz and Michael González Harbour and Susanne Graf and J. Javier Gutiérrez and Rafik Henia and Didier Le Botlan and Giuseppe Lipari and Julio Medina and Nicolas Navet and Sophie Quinton and Juan M. Rivas and Youcheng Sun, Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., and Sun, Youcheng

Abstract

We present here the main features and lessons learned from the first edition of what has now become the ECRTS industrial challenge, together with the final description of the challenge and a comparative overview of the proposed solutions. This verification challenge, proposed by Thales, was first discussed in 2014 as part of a dedicated workshop (FMTV, a satellite event of the FM 2014 conference), and solutions were discussed for the first time at the WATERS 2015 workshop. The use case for the verification challenge is an aerial video tracking system. A specificity of this system lies in the fact that periods are constant but known with a limited precision only. The first part of the challenge focuses on the video frame processing system. It consists in computing maximum values of the end-to-end latency of the frames sent by the camera to the display, for two different buffer sizes, and then the minimum duration between two consecutive frame losses. The second challenge is about computing end-to-end latencies on the tracking and camera control for two different values of jitter. Solutions based on five different tools - Fiacre/Tina, CPAL (simulation and analysis), IMITATOR, UPPAAL and MAST - were submitted for discussion at WATERS 2015. While none of these solutions provided a full answer to the challenge, a combination of several of them did allow to draw some conclusions.

Published
2023
Full Text
View/download PDF

19. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper)

Author

Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., and Sun, Youcheng

Subjects
General and reference → Verification, Software and its engineering → Software verification and validation, Computer systems organization → Real-time systems, industrial use case, end-to-end latency, Verification challenge, Computer systems organization → Embedded systems
Abstract

We present here the main features and lessons learned from the first edition of what has now become the ECRTS industrial challenge, together with the final description of the challenge and a comparative overview of the proposed solutions. This verification challenge, proposed by Thales, was first discussed in 2014 as part of a dedicated workshop (FMTV, a satellite event of the FM 2014 conference), and solutions were discussed for the first time at the WATERS 2015 workshop. The use case for the verification challenge is an aerial video tracking system. A specificity of this system lies in the fact that periods are constant but known with a limited precision only. The first part of the challenge focuses on the video frame processing system. It consists in computing maximum values of the end-to-end latency of the frames sent by the camera to the display, for two different buffer sizes, and then the minimum duration between two consecutive frame losses. The second challenge is about computing end-to-end latencies on the tracking and camera control for two different values of jitter. Solutions based on five different tools - Fiacre/Tina, CPAL (simulation and analysis), IMITATOR, UPPAAL and MAST - were submitted for discussion at WATERS 2015. While none of these solutions provided a full answer to the challenge, a combination of several of them did allow to draw some conclusions., LIPIcs, Vol. 262, 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), pages 19:1-19:18

Published
2023
Full Text
View/download PDF

20. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Artifact)

Author

Altmeyer, Sebastian, André, Étienne, Dal Zilio, Silvano, Fejoz, Loïc, Harbour, Michael González, Graf, Susanne, Gutiérrez, J. Javier, Henia, Rafik, Le Botlan, Didier, Lipari, Giuseppe, Medina, Julio, Navet, Nicolas, Quinton, Sophie, Rivas, Juan M., and Sun, Youcheng

Subjects
real-time systems, General and reference → Verification, Software and its engineering → Software verification and validation, Computer systems organization → Real-time systems, response time analysis, industrial use case, end-to-end latency, Verification challenge, Computer systems organization → Embedded systems
Abstract

We propose here solutions to the FMTV 2015 challenge of a distributed video processing system using four different formalisms, as well as the description of the challenge itself. This artifact contains several solutions to various subchallenges, and instructions and scripts to reproduce these results smoothly., DARTS, Vol. 9, Special Issue of the 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), pages 4:1-4:6

Published
2023
Full Text
View/download PDF

22. Knowledge for the Distributed Implementation of Constrained Systems : (Extended Abstract)

Author

Graf, Susanne, Quinton, Sophie, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Johnsen, Einar Broch, editor, and Petre, Luigia, editor

Published
2013
Full Text
View/download PDF

23. Distributed Implementation of Systems with Multiparty Interactions and Priorities

Author

Ben-Hafaiedh, Imene, Graf, Susanne, Mazouz, Nejla, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Barthe, Gilles, editor, Pardo, Alberto, editor, and Schneider, Gerardo, editor

Published
2011
Full Text
View/download PDF

24. Monitoring Distributed Systems Using Knowledge

Author

Graf, Susanne, Peled, Doron, Quinton, Sophie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bruni, Roberto, editor, and Dingel, Juergen, editor

Published
2011
Full Text
View/download PDF

25. Unbiased screen for pathogens in human paraffin-embedded tissue samples by whole genome sequencing and metagenomics

Author

Nienhold, Ronny, primary, Mensah, Nadine, additional, Frank, Angela, additional, Graber, Anne, additional, Koike, Jacqueline, additional, Schwab, Nathalie, additional, Hernach, Claudia, additional, Zsikla, Veronika, additional, Willi, Niels, additional, Cathomas, Gieri, additional, Hamelin, Baptiste, additional, Graf, Susanne, additional, Junt, Tobias, additional, and Mertz, Kirsten D., additional

Published
2022
Full Text
View/download PDF

26. Reasoning about Safety and Progress Using Contracts

Author

Ben-Hafaiedh, Imene, Graf, Susanne, Quinton, Sophie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Dong, Jin Song, editor, and Zhu, Huibiao, editor

Published
2010
Full Text
View/download PDF

27. Methods for Knowledge Based Controlling of Distributed Systems

Author

Bensalem, Saddek, Bozga, Marius, Graf, Susanne, Peled, Doron, Quinton, Sophie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bouajjani, Ahmed, editor, and Chin, Wei-Ngan, editor

Published
2010
Full Text
View/download PDF

28. Achieving Distributed Control through Model Checking

Author

Graf, Susanne, Peled, Doron, Quinton, Sophie, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Touili, Tayssir, editor, Cook, Byron, editor, and Jackson, Paul, editor

Published
2010
Full Text
View/download PDF

29. Model Based Architecting and Construction of Embedded Systems

Author

Ober, Iulian, Van Baelen, Stefan, Graf, Susanne, Filali, Mamoun, Weigert, Thomas, Gérard, Sébastien, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Chaudron, Michel R. V., editor

Published
2009
Full Text
View/download PDF

30. Erzählende Literatur

Author

Wilkending, Gisela, Schmerling, Alice, Graf, Andreas, Köbler, Verena, Pellatz-Graf, Susanne, Pech, Klaus-Ulrich, Wallenborn, Markus, Melchior, Christoph, Krienke, Jutta, Wiebel, Bernhard, Brunken, Otto, editor, Hurrelmann, Bettina, editor, Michels-Kohlhage, Maria, editor, and Wilkending, Gisela, editor

Published
2008
Full Text
View/download PDF

32. Periodische Publikationsformen

Author

Graf, Andreas, Pellatz-Graf, Susanne, Brunken, Otto, editor, Hurrelmann, Bettina, editor, Michels-Kohlhage, Maria, editor, and Wilkending, Gisela, editor

Published
2008
Full Text
View/download PDF

33. Contracts for BIP: Hierarchical Interaction Models for Compositional Verification

Author

Graf, Susanne, Quinton, Sophie, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Derrick, John, editor, and Vain, Jüri, editor

Published
2007
Full Text
View/download PDF

34. Ensuring Properties of Interaction Systems

Author

Gössler, Gregor, Graf, Susanne, Majster-Cederbaum, Mila, Martens, Moritz, Sifakis, Joseph, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Reps, Thomas, editor, Sagiv, Mooly, editor, and Bauer, Jörg, editor

Published
2007
Full Text
View/download PDF

35. Modelling and Analysis of Real Time and Embedded Systems – Using UML

Author

Graf, Susanne, Gérard, Sébastien, Haugen, Øystein, Ober, Iulian, Selic, Bran, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Kühne, Thomas, editor

Published
2007
Full Text
View/download PDF

36. Modeling and Validation of a Software Architecture for the Ariane-5 Launcher

Author

Ober, Iulian, Graf, Susanne, Lesens, David, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gorrieri, Roberto, editor, and Wehrheim, Heike, editor

Published
2006
Full Text
View/download PDF

37. Modeling and Analysis of Real-Time and Embedded Systems

Author

Graf, Susanne, Gérard, Sébastien, Haugen, Øystein, Ober, Iulian, Selic, Bran, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Bruel, Jean-Michel, editor

Published
2006
Full Text
View/download PDF

39. SVERTS – Specification and Validation of Real-Time and Embedded Systems

Author

Graf, Susanne, Haugen, Øystein, Ober, Ileana, Selic, Bran, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jardim Nunes, Nuno, editor, Selic, Bran, editor, Rodrigues da Silva, Alberto, editor, and Toval Alvarez, Ambrosio, editor

Published
2005
Full Text
View/download PDF

40. The IF Toolset

Author

Bozga, Marius, Graf, Susanne, Ober, Ileana, Ober, Iulian, Sifakis, Joseph, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Bernardo, Marco, editor, and Corradini, Flavio, editor

Published
2004
Full Text
View/download PDF

41. Correct Development of Embedded Systems

Author

Graf, Susanne, Hooman, Jozef, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Oquendo, Flavio, editor, Warboys, Brian C., editor, and Morrison, Ron, editor

Published
2004
Full Text
View/download PDF

47. Timed Extensions for SDL

Author

Bozga, Marius, Graf, Susanne, Mounier, Laurent, Ober, Iulian, Roux, Jean-Luc, Vincent, Daniel, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Reed, Rick, editor, and Reed, Jeanne, editor

Published
2001
Full Text
View/download PDF

49. MIMOS : A Deterministic Model for the Design and Update of Real-Time Systems

Author

Wang, Yi, Mohaqeqi, Morteza, Graf, Susanne, Wang, Yi, Mohaqeqi, Morteza, and Graf, Susanne

Abstract

Inspired by the pioneering work of Gilles Kahn on concurrent systems, we model real-time systems as a network of software components each of which is specified to compute a collection of functions according to given timing constraints. The components communicate with each other and their environment via two types of channels: (1) FIFO queues for buffering data, and (2) Registers for sampling time-dependent data streams from sensors or output streams of other components executed at different rates. We present a fixed-point semantics for this model which shows that each system function of a network computes for a given set of input (timed) streams, a unique (timed) output stream. Thanks to the deterministic semantics, a model-based approach is enabled for not only building systems but also updating them after deployment, allowing model-in-the-loop simulation to verify the complete behaviour of the resulting system.

Published
2022
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results