Abstract is missing.
- Multiple shooting, CEGAR-based falsification for hybrid systemsAditya Zutshi 0001, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, James Kapinski. [doi]
- Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricingAlberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia. 1-10 [doi]
- Schedulability analysis of global memory-predictable schedulingAhmed Alhammad, Rodolfo Pellizzoni. 1-10 [doi]
- Infinite horizon safety controller synthesis through disjunctive polyhedral abstract interpretationHadi Ravanbakhsh, Sriram Sankaranarayanan. 1-10 [doi]
- A general approach for expressing infeasibility in Implicit Path Enumeration TechniquePascal Raymond. 1-9 [doi]
- CPSGrader: Synthesizing temporal logic testers for auto-grading an embedded systems laboratoryGarvit Juniwal, Alexandre Donzé, Jeff C. Jensen, Sanjit A. Seshia. 1-10 [doi]
- Deductive control synthesis for alternating-time logicsRayna Dimitrova, Rupak Majumdar. 1-10 [doi]
- EDF as an arbitration policy for wormhole-switched priority-preemptive NoCs - Myth or fact?Borislav Nikolic, Stefan M. Petters. 1-10 [doi]
- Extending typical worst-case analysis using response-time dependencies to bound deadline missesZain Alabedin Haj Hammadeh, Sophie Quinton, Rolf Ernst. 1-10 [doi]
- Precise piecewise affine models from input-output dataRajeev Alur, Nimit Singhania. 1-10 [doi]
- Real-time multi-core virtual machine scheduling in XenSisu Xi, Meng Xu, Chenyang Lu, Linh T. X. Phan, Christopher D. Gill, Oleg Sokolsky, Insup Lee. 1-10 [doi]
- Computing maximum blocking times with explicit path analysis under non-local flow boundsJan C. Kleinsorge, Peter Marwedel. 1-10 [doi]
- Building high-performance smartphones via non-volatile memory: The swap approachKan Zhong, Tianzheng Wang, Xiao Zhu, Linbo Long, Duo Liu, Weichen Liu, Zili Shao, Edwin Hsing-Mean Sha. 1-10 [doi]
- P-YDS algorithm: An optimal extension of YDS algorithm to minimize expected energy for real-time jobsPratyush Kumar, Lothar Thiele. 1-10 [doi]
- Synthesising optimal timing delays for Timed I/O AutomataMarco Diciolla, Chang Hwan Peter Kim, Marta Z. Kwiatkowska, Alexandru Mereacre. 1-10 [doi]
- Can we put concurrency back into redundant multithreading?Björn Döbel, Hermann Härtig. 1-10 [doi]
- Blaming in component-based real-time systemsGregor Goessler, Lacramioara Astefanoaei. 1-10 [doi]
- Embedded software reliability for unreliable hardwareJian-Jia Chen, Muhammad Shafique. 1 [doi]
- Supporting read/write applications in embedded real-time systems via suspension-aware analysisGuangmo Tong, Cong Liu. 1-10 [doi]
- Task mapping in heterogeneous embedded systems for fast completion timeHusheng Zhou, Cong Liu. 1-10 [doi]
- Contract-based integration of cyber-physical analysesIvan Ruchkin, Dionisio de Niz, Sagar Chaki, David Garlan. 1-10 [doi]
- On the existence of probe effect in multi-threaded embedded programsYoung Wn Song, Yann-Hang Lee. 1-9 [doi]
- Real-time system support for hybrid structural simulationDavid Ferry, Gregory Bunting, Amin Maghareh, Arun Prakash, Shirley Dyke, Kunal Agrawal, Christopher D. Gill, Chenyang Lu. 1-10 [doi]
- Refinement calculus of reactive systemsViorel Preoteasa, Stavros Tripakis. 1-10 [doi]
- SiPTA: Signal processing for trace-based anomaly detectionMohammad Mehdi Zeinali Zadeh, Mahmoud Salem, Neeraj Kumar, Greta Cutulenco, Sebastian Fischmeister. 1-10 [doi]
- Energy efficient DVFS scheduling for mixed-criticality systemsPengcheng Huang, Pratyush Kumar, Georgia Giannopoulou, Lothar Thiele. 1-10 [doi]
- Exponentially timed SADF: Compositional semantics, reductions, and analysisJoost-Pieter Katoen, Hao Wu. 1-10 [doi]
- Automated software testing of memory performance in embedded GPUsSudipta Chattopadhyay 0001, Petru Eles, Zebo Peng. 1-10 [doi]
- Parallel many-core avionics systemsMilos Panic, Eduardo Quiñones, Pavel G. Zaykov, Carles Hernández, Jaume Abella, Francisco J. Cazorla. 1-10 [doi]