|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 693 occurrences of 422 keywords
|
|
|
|
|
Results
Found 599 publication records. Showing 599 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Romain Rollet, Christophe Mangin |
Work in Progress: Efficient TSN network interface handling in a mixed-criticality system.  |
EMSOFT  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Kreutzer, Maximilian Seidler, Victor Pazmino Betancourt, Jürgen Becker 0001 |
Work-in-Progress: Integrating WebAssembly into Service-Oriented Architectures for Edge Systems. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Loïc Sylvestre, Emmanuel Chailloux, Jocelyn Sérot |
Work-in-Progress: mixing computation and interaction on FPGA. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shixiong Huang, Nanxuan Ye, Xing Gao 0004, Ziyang Kang, Guilin Li |
Work-in-Progress: CLERR: A High-performance Cross-layer Method for Eliminating Rendering Redundancy in Android. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Keyang Hu, Lei Wang 0126, Ce Mo, Bo Jiang 0001 |
Work-in-Progress: Unishyper, A Reliable Rust-based Unikernel for Embedded Scenarios. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jisu Kwon, Daejin Park |
Work-in-Progress: Micro-Accelerator-in-the-Loop Framework for MCU Integrated Accelerator Peripheral Fast Prototyping. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vlad Radulescu, Albert M. K. Cheng, Stefan Andrei |
Work-in-Progress: Flexible bus arbitration in mixed criticality systems. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | |
International Conference on Embedded Software, EMSOFT 2023, Hamburg, Germany, September 17-22, 2023 |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson |
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Juneseo Chang, Daejin Park |
Work-in-Progress: Searching Optimal Compiler Optimization Passes Sequence for Reducing Runtime Memory Profile using Ensemble Reinforcement Learning. |
EMSOFT |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Agnieszka Chodorek, Robert Ryszard Chodorek |
Work-in-Progress: A Browser-Driven Sensor Service for Embedded IoT. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Juneseo Chang, Sejong Oh, Daejin Park |
Work-in-Progress: Accuracy-Area Efficient Online Fault Detection for Robust Neural Network Software-Embedded Microcontrollers. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai-Björn Gemlau, Hermann von Hasseln, Rolf Ernst |
Industry-track: System-Level Logical Execution Time for Automotive Software Development. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Rezwana Mamata, Akramul Azim |
Work-in-Progress: A Resource-Aware Optimization Model for Real-Time Systems Analysis and Design. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Yining Wu, Gaole Sai, Shengyu Duan |
Work-in-Progress: Accelerated Matrix Factorization by Approximate Computing for Recommendation System. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoshan Liu, Xiaoming Li, Tongsheng Geng, Stéphane Zuckerman, Jean-Luc Gaudiot |
Programming Autonomous Machines : Special Session Paper. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Abraham, Aaron Mayne, Tristan Perez, Ítalo Romani de Oliveira, Huafeng Yu, Chiao Hsieh, Yangge Li, Dawei Sun, Sayan Mitra |
Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Jeannin, Jiawei Chen, José Luiz Vargas de Mendonça, Konstantinos Mamouras |
Work-in-Progress: Towards a Theory of Robust Quantitative Semantics for Signal Temporal Logic. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Arthur Grisel-Davy, Amrita Milan Bhogayata, Srijan Pabbi, Apurva Narayan, Sebastian Fischmeister |
Work-in-Progress: Boot Sequence Integrity Verification with Power Analysis. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
International Conference on Embedded Software, EMSOFT 2022, Shanghai, China, October 7-14, 2022 |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Haegeon Jeong, Kyungtae Kang |
Work-in-Progress: Hot-patching Technique for Imprecise Computing by Saving Resource. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Niraj Kumar 0004, Arijit Mondal |
Work in Progress: Dynamic Offloading of Soft Real-time Tasks in SDN-based Fog Computing Environment. |
EMSOFT |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bram van der Sanden, Yonghui Li 0002, Joris van den Aker, Benny Akesson, Tjerk Bijlsma, Martijn Hendriks, Kostas Triantafyllidis, Jacques Verriet, Jeroen Voeten, Twan Basten |
Model-driven system-performance engineering for cyber-physical systems. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Suzanne Elashri, Akramul Azim |
An energy-aware optimization model for real-time systems analysis and design: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ole Lübke, Sibylle Schupp |
WCET-aware reachability for verified simplex design: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anish Krishnakumar, Ümit Y. Ogras |
Performance analysis and optimization of decision tree classifiers on embedded devices: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yumeng Cao, Quinn Thibeault, Aniruddh Chandratre, Georgios Fainekos, Giulia Pedrielli, Mauricio Castillo-Effen |
Towards assurance case evidence generation through search based testing: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Wen, Wei Jiang 0016, Jinyu Zhan, Chen Bian, Ziwei Song |
Generative strategy based backdoor attacks to 3D point clouds: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruoxu Sun, Jinyu Zhan, Wei Jiang 0016, Yucheng Jiang |
Improving fault tolerance of DNNs through weight remapping based on gaussian distribution: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Richi Dubey, Vijay Banerjee, Sena Hounsinou, Gedare Bloom |
Strong APA scheduling in a real-time operating system: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Sojka, Ondrej Benedikt, Zdenek Hanzálek |
Determining MPSoC layout from thermal camera images: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mischa Möstl, Robin Hapka, Anika Christmann, Rolf Ernst |
Timing diversity as a protective mechanism: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Linh Thi Xuan Phan, David Broman (eds.) |
EMSOFT '21: Proceedings of the 2021 International Conference on Embedded Software, Virtual Event, October 8 - 15, 2021 |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Pang, Ashank Verma, Jingchao Zhou, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
The cyber-physical immune system: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhufeng Fan, Jinyu Zhan, Wei Jiang 0016 |
Detecting deepfake videos by visual-audio synchronism: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolong Guo, Song Han 0002, X. Sharon Hu, Xun Jiao, Yier Jin, Fanxin Kong, Michael Lemmon 0001 |
Towards scalable, secure, and smart mission-critical IoT systems: review and vision. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Gandraß, Michel Rottleuthner, Thomas C. Schmidt |
Large-scale timer hardware analysis for a flexible low-level timer-API design: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lufei Han, Chen Bian |
OHTLoc: an online heterogeneous transfer method on wifi-based indoor localization system: work-in-progress. |
EMSOFT |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shreyas Ramakrishna, Zahra RahimiNasab, Arvind Easwaran, Abhishek Dubey |
Efficient Multi-Class Out-of-Distribution Reasoning for Perception Based Networks: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Padma Iyenghar, Sakthivel M. Sundharam, Elke Pulvermüller |
Integrated Performance Tuning of an IIoT Digital Twin: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Wen, Wei Jiang 0016, Jinyu Zhan, Xupeng Wang, Zhiyuan He 0001 |
Interpretability Derived Backdoor Attacks Detection in Deep Neural Networks: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lukas Sommer, Andreas Koch 0001 |
OpenMP Device Offloading for Embedded Heterogeneous Platforms - Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sharan Santhanam, Simon Kuenzer, Hugo Lefeuvre, Felipe Huici, Alexander Jung, Santiago Pagani, George-Cristian Muraru, Stefano Stabellini, Justin He, Jonathan Beri |
Towards Highly Specialized, POSIX -compliant Software Stacks with Unikraft: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruoxu Sun, Jinyu Zhan, Wei Jiang 0016 |
An Insight into Fault Propagation in Deep Neural Networks: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gautam Gala, Gerhard Fohler |
Distributed Decision-making for Safe and Secure Global Resource Management via Blockchain: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tulika Mitra, Andreas Gerstlauer (eds.) |
20th International Conference on Embedded Software, EMSOFT 2020, Singapore, September 20-25, 2020 |
EMSOFT |
2020 |
DBLP BibTeX RDF |
|
| 1 | Angeliki Kritikakou, Stefanos Skalistis |
Progress-aware Dynamic Slack Exploitation in Mixed-critical Systems: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Lara Premi, Federico Reghenzani, Giuseppe Massari, William Fornaciari |
A Game Theory Approach to Heterogeneous Resource Management: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qian Liu, Robert de Simone, Xiaohong Chen 0007, Jing Liu 0012 |
Multiform Logical Time & Space for Specification of Automated Driving Assistance Systems: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Staschulat, Ingo Lütkebohle, Ralph Lange |
The rclc Executor: Domain-specific deterministic scheduling mechanisms for ROS applications on microcontrollers: work-in-progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuji Date, Takeshi Baba, Bardh Hoxha, Tomoya Yamaguchi 0001, Danil V. Prokhorov |
Application of Simulation-Based Methods on Autonomous Vehicle Control with Deep Neural Network: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Eleftherios Kyriakakis, Jens Sparsø, Peter P. Puschner, Martin Schoeberl |
Synchronizing Real-Time Tasks in Time-Aware Networks: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Wang, Jian Dong, Yanxin Liu, Chunpei Wang, Gang Qu 0001 |
A Machine Learning based Approximate Computing Approach on Data Flow Graphs: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ratan Lal, Pavithra Prabhakar |
Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress. |
EMSOFT |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Uraz Odyurt, Hugo Meyer, Simon Polstra, Evangelos Paradas, Ignacio Gonzalez Alonso, Andy D. Pimentel |
Communication-centric analysis of complex embedded computing systems: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Roger D. Chamberlain, Chandler Ahrens, Christopher D. Gill, Scott A. Mitchell |
Hierarchical control of a catoptric surface: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta 0001, Rupak Majumdar, Dogan Ulus |
Embedded software for robotics: challenges and future directions: special session. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Capodieci, Roberto Cavicchioli, Marko Bertogna |
NVIDIA GPU scheduling details in virtualized environments: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Wan, Bo Zhang, Xi Li 0003, Kaiqi Zhou, Caixu Zhao, Chao Wang 0003, Xuehai Zhou |
RTMUSRT: a real-time testbed for empirically comparing real-time multicore schedulers: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nilotpal Chakraborty, Arijit Mondal, Samrat Mondal |
Towards optimal scheduling of thermal comfortability and smoothening of load profile in energy efficient buildings: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideki Takase, Tomoya Mori, Kazuyoshi Takagi, Naofumi Takagi |
Design concept of a lightweight runtime environment for robot software components onto embedded devices: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tanya Srivastava, Pryanshu Arora, Chundong Wang 0001, Sudipta Chattopadhyay 0001 |
Road context-aware intrusion detection system for autonomous cars: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Václav Struhár, Alessandro Vittorio Papadopoulos, Moris Behnam |
Fog computing for adaptive human-robot collaboration: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Youngho Choi, Jaeook Kwon, Seokjae Jeong, Hansub Park, Young Ik Eom |
Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jayaraj Poroor |
Verticalthings - a language-based microkernel for constrained IoT devices: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Jiang 0016, Haibo Hu, Jinyu Zhan, Ke Jiang |
Design of security-critical distributed real-time applications with fault-tolerant constraint: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Björn B. Brandenburg, Sriram Sankaranarayanan 0001 (eds.) |
Proceedings of the International Conference on Embedded Software, EMSOFT 2018, Torino, Italy, September 30 - October 5, 2018 |
EMSOFT |
2018 |
DBLP BibTeX RDF |
|
| 1 | Alexey Bakhirkin, Thomas Ferrère, Thomas A. Henzinger, Dejan Nickovic |
The first-order logic of signals: keynote. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavel Dovgalyuk, Natalia Fursova, Ivan Vasiliev, Vladimir Makarov |
Introspection of the Linux-based embedded firmwares: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sibin Mohan, Mikael Asplund, Gedare Bloom, Ahmad-Reza Sadeghi, Ahmad Ibrahim 0002, Negin Salajageh, Paul Griffioen, Bruno Sinopoli |
The future of IoT security: special session. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jae-Yun Kim, Hyeon-Jae Lee, Soo-Mook Moon |
Fast snapshot migration using static code instrumentation: work-in-progress. |
EMSOFT |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Jia Jie Wang, Partha S. Roop, Alain Girault |
Energy and timing aware synchronous programming. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Avni, Shibashis Guha, Guillermo Rodríguez-Navas |
Synthesizing time-triggered schedules for switched networks with faulty links. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnd Hartmanns, Holger Hermanns, Michael Bungert |
Flexible support for time and costs in scenario-aware dataflow. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Kapinski |
Underminer: a framework for automatically identifying non-converging behaviors in black box system models. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xia Zeng, Wang Lin, Zhengfeng Yang, Xin Chen 0027, Lilei Wang |
Darboux-type barrier certificates for safety verification of nonlinear hybrid systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hadi Ravanbakhsh, Sriram Sankaranarayanan 0001 |
Robust controller synthesis of switched systems using counterexample guided framework. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost P. H. M. Hausmans, Marco Jan Gerrit Bekooij |
A refinement theory for timed-dataflow analysis with support for reordering. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Xianzhang Chen, Edwin Hsing-Mean Sha, Weiwen Jiang, Qingfeng Zhuge, Junxi Chen, Jiejie Qin, Yuansong Zeng |
The design of an efficient swap mechanism for hybrid DRAM-NVM systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyon-Young Choi, Andrew L. King, Insup Lee 0001 |
Making DDS really real-time with openflow. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuya Maruyama, Shinpei Kato, Takuya Azumi |
Exploring the performance of ROS2. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuchu Fan, James Kapinski, Xiaoqing Jin, Sayan Mitra |
Locally optimal reach set over-approximation for nonlinear systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Miriam Garcia Soto |
An algorithmic approach to global asymptotic stability verification of hybrid systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Martin Tchamgoue, Sebastian Fischmeister |
Lessons learned on assumptions and scalability with time-aware instrumentation. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinsu Park, Eunbi Cho, Woongki Baek |
RMC: an integrated runtime system for adaptive many-core computing. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Cheng Ji, Chao Wu 0006, Li-Pin Chang, Liang Shi, Chun Jason Xue |
I/O scheduling with mapping cache awareness for flash based storage systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiaqi Tan, Hui Jun Tay, Utsav Drolia, Rajeev Gandhi, Priya Narasimhan |
PCFIRE: towards provable preventative control-flow integrity enforcement for realistic embedded software. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Biao Hu 0001, Kai Huang 0001, Pengcheng Huang, Lothar Thiele, Alois C. Knoll |
On-the-fly fast overrun budgeting for mixed-criticality systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Merten Popp, Orlando Moreira, Wim Yedema, Menno Lindwer |
Automatic HAL generation for embedded multiprocessor systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhenkai Zhang, Xenofon D. Koutsoukos |
Cache-related preemption delay analysis for multi-level inclusive caches. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyoseung Kim 0001, Ragunathan Rajkumar |
Real-time cache management for multi-core virtualization. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | BaekGyu Kim, Akshay Jarandikar, Jonathan Shum, Shinichi Shiraishi, Masahiro Yamaura |
The SMT-based automatic road network generation in vehicle simulation environment. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sagar Chaki |
Verifying cyber-physical systems by combining software model checking with hybrid systems reachability. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Ricketts 0001, Gregory Malecha, Sorin Lerner |
Modular deductive verification of sampled-data systems. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Biswajit Mazumder, Jason O. Hallstrom |
A fast, lightweight, and reliable file system for wireless sensor networks. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Drescher, Vincent Legout, Antonio Barbalace, Binoy Ravindran |
A flattened hierarchical scheduler for real-time virtualization. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjoy K. Baruah |
Schedulability analysis of mixed-criticality systems with multiple frequency specifications. |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Petru Eles, Rahul Mangharam (eds.) |
2016 International Conference on Embedded Software, EMSOFT 2016, Pittsburgh, Pennsylvania, USA, October 1-7, 2016 |
EMSOFT |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Baptiste Jeannin, Khalil Ghorbal, Yanni Kouskoulas, Ryan W. Gardner, Aurora C. Schmidt, Erik Zawadzki, André Platzer |
Formal verification of ACAS X, an industrial airborne collision avoidance system. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Ratan Lal, Pavithra Prabhakar |
Bounded error flowpipe computation of parameterized linear systems. |
EMSOFT |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 599 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license