| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jan Spieck, Pierre-Louis Sixdenier, Khalil Esper, Stefan Wildermann, Jürgen Teich |
Hybrid Genetic Reinforcement Learning for Generating Run-Time Requirement Enforcers.  |
MEMOCODE  |
2023 |
DBLP BibTeX RDF |
|
| 1 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Pauline Blohm, Julius Adelt, Paula Herber |
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Xin Qin, Nikos Aréchiga, Jyotirmoy Deshmukh, Andrew Best |
Robust Testing for Cyber-Physical Systems using Reinforcement Learning. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Soroush Bateni, Marten Lohstroh, Hou Seng Wong, Hokeun Kim, Shaokai Lin, Christian Menard, Edward A. Lee |
Risk and Mitigation of Nondeterminism in Distributed Cyber-Physical Systems. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Czea Sie Chuah, Christian Appold, Tim Leinmüller |
Formal Verification of Security Properties on RISC-V Processors. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Peitian Pan, Christopher Batten |
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Rolf Drechsler, Martha Schnieber |
Next-Generation Automatic Human-Readable Proofs Enabling Polynomial Formal Verification. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Gareth Callanan, Flavius Gruian |
Scalable Actor Networks with CAL. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Reinhard von Hanxleden, Stephen A. Edwards, Jens Brandt, Qi Zhu 0001 (eds.) |
21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2023, Hamburg, Germany, September 21-22, 2023 |
MEMOCODE |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee |
Explaining Unsolvability of Planning Problems in Hybrid Systems with Model Reconciliation. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | John Hui, Kyle J. Edwards, Stephen A. Edwards |
Timestamp Peripherals for Precise Real-Time Programming. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
Model Checking Time Window Temporal Logic for Hyperproperties. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Sheng-Jung Yu, Inigo Incer, Alberto L. Sangiovanni-Vincentelli |
Contract Replaceability for Ensuring Independent Design using Assume-Guarantee Contracts. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten |
Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Ernest Bonnah, Khaza Anuarul Hoque |
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Anoop Bhagyanath, Nadine Kercher, Klaus Schneider 0001 |
Allocation and Scheduling of Dataflow Graphs on Hybrid Dataflow/von Neumann Architectures. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Devleena Ghosh, Sumana Ghosh, Raj Kumar Gajavelly, Ansuman Banerjee |
Harnessing Multiple BMC Engines Together for Efficient Formal Verification. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Daniel Theis, Klaus Schneider 0001 |
Towards a Basis for Endochronous Functions in Dataflow Process Networks. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Martha Schnieber, Rolf Drechsler |
Polynomial Formal Verification of KFDD Circuits. |
MEMOCODE |
2023 |
DBLP BibTeX RDF |
|
| 1 | Eric Rothstein Morris, Jun Sun 0001, Sudipta Chattopadhyay 0001 |
ORIGAMI: Folding Data Structures to Reduce Timing Side-Channel Leakage. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Krook, John Hui, Bo Joel Svensson, Stephen A. Edwards, Koen Claessen |
Creating a Language for Writing Real-Time Applications for the Internet of Things. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Lööw |
A small, but important, concurrency problem in Verilog's semantics? (Work in progress). |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop |
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Samira Ait Bensaid, Mihail Asavoae, Farhat Thabet, Mathieu Jan |
Deriving Pipeline Models for Timing Analysis from High-Level HDL Processor Designs. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Itay Cohen 0001, Roi Fogler, Doron Peled |
A Reinforcement-Learning Style Algorithm for Black Box Automata. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Surinder Sood, Avinash Malik, Partha S. Roop |
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinayak S. Prabhu, Meetkumar Savaliya |
Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Schaffeld, Rebecca Bernemann, Torben Weis, Barbara König 0001, Viktor Matkovic |
Lifecycle-Based View on Cyber-Physical System Models Using Extended Hidden Markov Models. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Anup Das 0001 |
Real-Time Scheduling of Machine Learning Operations on Heterogeneous Neuromorphic SoC. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Hugues, Lutz Wrage, John Hatcliff, Danielle Stewart |
Mechanization of a Large DSML: An Experiment with AADL and Coq. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | |
20th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2022, Shanghai, China, October 13-14, 2022 |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ruiqi Hu, Kairong Liu, Zhikun She |
Reach-Avoid Verification for Time-varying Systems with Uncertain Disturbances. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop |
Runtime Verification for Clinically Interpretable Arrhythmia Classification. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Surinder Sood, Avinash Malik, Partha S. Roop |
A novel approach to Real-time contract based reasoning for Hybrid Systems. |
MEMOCODE |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Petz, Grant Jurgensen, Perry Alexander |
Design and formal verification of a copland-based attestation protocol. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Basset, Thao Dang 0001, Felix Gigler, Cristinel Mateis, Dejan Nickovic |
Sampling of shape expressions with ShapEx. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathis Niehage, Arnd Hartmanns, Anne Remke |
Learning optimal decisions for stochastic hybrid systems. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Khalil Esper, Stefan Wildermann, Jürgen Teich |
Enforcement FSMs: specification and verification of non-functional properties of program executions on MPSoCs. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kelvin Anto, Partha S. Roop, Akshya K. Swain |
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhaan Fowze, Tuba Yavuz |
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ennio Visconti, Ezio Bartocci, Michele Loreti, Laura Nenzi |
Online monitoring of spatio-temporal properties for imprecise signals. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio D. Lopez-Miguel, Borja Fernández Adiego, Jean-Charles Tournier, Enrique Blanco Viñuela, Juan A. Rodríguez-Aguilar |
Simplification of numeric variables for PLC model checking. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Arun-Kumar 0004, Dominique Méry, Indranil Saha, Lijun Zhang 0001 (eds.) |
MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20 - 22, 2021 |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Barhoush, Alireza Mahzoon, Rolf Drechsler |
Polynomial word-level verification of arithmetic circuits. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenghao Yuan, Jean-Pierre Talpin |
Verified functional programming of an IoT operating system's bootloader. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Klaus Schneider 0001 |
Translating structured sequential programs to dataflow graphs. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Freiberger, Stefan Schupp, Holger Hermanns, Erika Ábrahám |
Controller verification meets controller code: a case study. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcel Christian Werner, Klaus Schneider 0001 |
Translation of continuous function charts to imperative synchronous quartz programs. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
A secure insulin infusion system using verification monitors. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Walter, Jürgen Teich |
LION: real-time I/O transfer control for massively parallel processor arrays. |
MEMOCODE |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee 0001, Rajeev Alur |
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mir Md Sajid Sarwar, Rajarshi Ray 0001, Ansuman Banerjee |
A Contrastive Plan Explanation Framework for Hybrid System Models. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mariia Vasileva, Fedor Shmarov, Paolo Zuliani |
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton |
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
Cephalopode: A custom processor aimed at functional language execution for IoT devices. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Forets, Daniel Freire, Christian Schilling 0001 |
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tuba Yavuz |
Verifying Absence of Hardware-Software Data Races using Counting Abstraction. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | |
18th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2020, Jaipur, India, December 2-4, 2020 |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paula Herber, Timm Liebrenz |
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Bagheri 0001, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar 0001 |
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Piergiuseppe Mallozzi, Pierluigi Nuzzo 0002, Patrizio Pelliccione, Gerardo Schneider |
CROME: Contract-Based Robotic Mission Specification. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjiva Prasad, R. Madhukar Yerraguntla, Subodh Sharma 0001 |
Security Types for Synchronous Data Flow Systems. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoya Yamaguchi 0001, Bardh Hoxha, Danil V. Prokhorov, Jyotirmoy V. Deshmukh |
Specification-guided Software Fault Localization for Autonomous Mobile Systems. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Naik, Pierluigi Nuzzo 0002 |
Robustness Contracts for Scalable Verification of Neural Network-Enabled Cyber-Physical Systems. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammed Foughali, Saddek Bensalem, Jacques Combaz, Félix Ingrand |
Runtime Verification of Timed Properties in Autonomous Robots. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Qiang Wang 0020, Dachuan Li, Joseph Sifakis |
Safe and efficient collision avoidance control for autonomous vehicles. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ratan Lal, Weikang Duan, Pavithra Prabhakar |
Bayesian Statistical Model Checking for Continuous Stochastic Logic. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Dominik Walter, Michael Witterauf, Jürgen Teich |
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Pope, Jules Saget, Carl-Johan H. Seger |
Stately: An FSM Design Tool. |
MEMOCODE |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Partha S. Roop, Naijun Zhan, Sicun Gao, Pierluigi Nuzzo 0002 (eds.) |
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. |
MEMOCODE |
2019 |
DBLP BibTeX RDF |
|
| 1 | Michael Witterauf, Frank Hannig, Jürgen Teich |
Polyhedral fragments: an efficient representation for symbolically generating code for processor arrays. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Woo Ro, Avinash Malik, Partha S. Roop |
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ratan Lal, Pavithra Prabhakar |
Compositional construction of bounded error over-approximations of acyclic interconnected continuous dynamical systems. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Hekmatnejad, Shakiba Yaghoubi, Adel Dokhanchi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam, Georgios Fainekos |
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty |
Securing implantable medical devices with runtime enforcement hardware. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paritosh K. Pandya, Amol Wakankar |
Logical specification and uniform synthesis of robust controllers. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina |
Lattice-based SMT for program verification. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen |
Security analysis of cloud-connected industrial control systems using combinatorial testing. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | David J. Greaves |
Further sub-cycle and multi-cycle schedulling support for Bluespec Verilog. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop |
A compositional approach for real-time machine learning. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Maryam Dabaghchian, Zvonimir Rakamaric |
A timeless model for the verification of quasi-periodic distributed systems. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Nongpoh, Rajarshi Ray 0001, Ansuman Banerjee |
Approximate computing for multithreaded programs in shared memory architectures. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Freek Verbeek, Joshua A. Bockenek, Abhijith Bharadwaj, Binoy Ravindran, Ian Roessle |
Establishing a refinement relation between binaries and abstract code. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Cody Kinneer, Ryan Wagner, Fei Fang 0001, Claire Le Goues, David Garlan |
Modeling observability in adaptive systems to defend against advanced persistent threats. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee 0001, Rajeev Alur |
Detecting security leaks in hybrid systems with information flow analysis. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinghua Hu, Vivek V. Menon, Andrew G. Schmidt, Joshua S. Monson, Matthew French, Pierluigi Nuzzo 0002 |
Security-driven metrics and models for efficient evaluation of logic encryption schemes. |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Vighnesh Iyer, Donggyu Kim, Borivoje Nikolic, Sanjit A. Seshia |
RTL bug localization through LTL specification mining (WIP). |
MEMOCODE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonatan Wiik, Johan Ersfolk, Marina Waldén |
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mladen Skelin, Marc Geilen |
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Nagaraj, D. Seshachalam, Sunil Hucharaddi |
Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chih-Hong Cheng, Georg Nührenberg, Chung-Hao Huang, Harald Ruess, Hirotoshi Yasuoka |
Towards Dependability Metrics for Neural Networks. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tripti Jain, Klaus Schneider 0001 |
Optimal Self-Routing Split Modules for Radix-based Interconnection Networks. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, Pramod Subramanyan |
UCLID5: Integrating Modeling, Verification, Synthesis and Learning. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Partha S. Roop, Hammond A. Pearce, Keyan Monadjem |
Synchronous neural networks for cyber-physical systems. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Íñigo Íncer Romeo, Alberto L. Sangiovanni-Vincentelli, Chung-Wei Lin, Eunsuk Kang |
Quotient for Assume-Guarantee Contracts. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | |
16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018 |
MEMOCODE |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali |
Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider |
Security of Pacemakers using Runtime Verification. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanan Liu, Yong Guan, Xiaojuan Li, Rui Wang 0024, Jie Zhang 0074 |
Formal Analysis and Verification of DDS in ROS2. |
MEMOCODE |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license