Co-simulated Digital Twin on the Network Edge: the case of platooning | 0 | 0.34 | 2022 |
Co-simulation of a Model Predictive Control System for Automotive Applications | 0 | 0.34 | 2021 |
A Framework For Formal Analysis And Simulative Evaluation Of Security Attacks In Wireless Sensor Networks | 0 | 0.34 | 2021 |
A framework for FMI-based co-simulation of human–machine interfaces | 2 | 0.65 | 2020 |
Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor | 0 | 0.34 | 2020 |
Formalization and co-simulation of attacks on cyber-physical systems | 0 | 0.34 | 2020 |
Application of Model Checking to Fault Tolerance Analysis. | 0 | 0.34 | 2019 |
Exploiting Model Checking for Mobile Botnet Detection. | 0 | 0.34 | 2019 |
Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors. | 0 | 0.34 | 2019 |
The benefits of using interactive device simulations as training material for clinicians: an experience report with a contrast media injector used in CT | 0 | 0.34 | 2019 |
Demo - Co-simulation of UAVs with INTO-CPS and PVSio-web. | 0 | 0.34 | 2018 |
A Flexible Framework for FMI-Based Co-Simulation of Human-Centred Cyber-Physical Systems. | 0 | 0.34 | 2018 |
ROS/Gazebo Based Simulation of Co-operative UAVs. | 0 | 0.34 | 2018 |
PyXEL - An Integrated Environment for the Analysis of Fault Effects in SRAM-Based FPGA Routing. | 3 | 0.44 | 2018 |
Towards Stochastic FMI Co-Simulations - Implementation of an FMU for a Stochastic Activity Networks Simulator. | 0 | 0.34 | 2018 |
Verifying data secure flow in AUTOSAR models. | 0 | 0.34 | 2018 |
A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems. | 2 | 0.36 | 2018 |
OLT(RE): An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems. | 0 | 0.34 | 2018 |
Data Leakage in Java Applets with Exception Mechanism. | 0 | 0.34 | 2018 |
Extending A User Interface Prototyping Tool With Automatic Misra C Code Generation | 0 | 0.34 | 2017 |
Modeling and generation of secure component communications in AUTOSAR. | 3 | 0.43 | 2017 |
Verifying Data Secure Flow In Autosar Models By Static Analysis | 0 | 0.34 | 2017 |
UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs. | 1 | 0.36 | 2016 |
Towards a Formalization of System Requirements for an Integrated Clinical Environment. | 1 | 0.40 | 2016 |
Detecting Elderly Behavior Shift via Smart Devices and Stigmergic Receptive Fields. | 0 | 0.34 | 2016 |
Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System. | 4 | 0.44 | 2016 |
Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System | 0 | 0.34 | 2016 |
Adapting the Duty Cycle to Traffic Load in a Preamble Sampling MAC for WSNs: Formal Specification and Performance Evaluation. | 0 | 0.34 | 2016 |
Using AUTOSAR High-Level Specifications for the Synthesis of Security Components in Automotive Systems. | 2 | 0.41 | 2016 |
Using Smartwatch Sensors to Support the Acquisition of Sleep Quality Data for Supervised Machine Learning. | 0 | 0.34 | 2016 |
Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries. | 2 | 0.39 | 2014 |
Combining PVSio with Stateflow. | 2 | 0.40 | 2014 |
Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs | 0 | 0.34 | 2014 |
ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs. | 6 | 0.46 | 2014 |
GABES: A genetic algorithm based environment for SEU testing in SRAM-FPGAs | 7 | 0.50 | 2013 |
Unexcitability analysis of SEus affecting the routing structure of SRAM-based FPGAs | 4 | 0.45 | 2013 |
Mitigation of Single Event Upsets in the control logic of a charge equalizer for Li-ion batteries | 1 | 0.35 | 2013 |
Formal approaches to SEU testing in FPGAs | 0 | 0.34 | 2013 |
JCSI: A tool for checking secure information flow in Java Card applications | 4 | 0.40 | 2012 |
SEU-X: A SEu un-excitability prover for SRAM-FPGAs | 6 | 0.56 | 2012 |
Failure Probability and Fault Observability of SRAM-FPGA Systems | 3 | 0.40 | 2011 |
Failure probability of SRAM-FPGA systems with Stochastic Activity Networks | 9 | 0.62 | 2011 |
Analysis of Wireless Sensor Network Protocols in Dynamic Scenarios | 6 | 0.48 | 2009 |
Early Prototyping of Wireless Sensor Network Algorithms in PVS | 5 | 0.43 | 2008 |
FACT: A Tool for Code Generation from Communicating Automata | 1 | 0.35 | 2005 |
A Space-Aware Bytecode Verifier for Java Cards | 1 | 0.36 | 2005 |
Enforcement of applet boundaries in Java card systems | 3 | 0.49 | 2004 |
Java bytecode verification with dynamic structures | 4 | 0.52 | 2004 |
Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation | 5 | 0.42 | 2004 |
Concrete and Abstract Semantics to Check Secure Information Flow in Concurrent Programs | 1 | 0.35 | 2004 |