| 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 |
