UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 122

Sortiert nach

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm

Energies (Basel), 2020-08, Vol.13 (16), p.4057

2020

Volltextzugriff (PDF)

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

IEEE access, 2024, Vol.12, p.1064-1075

2024

Volltextzugriff (PDF)

SRAM-Based FPGA Systems for Safety-Critical Applications： A Survey on Design Standards and Proposed Methodologies

Journal of computer science and technology, 2015-03, Vol.30 (2), p.373-390

2015

Volltextzugriff (PDF)

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

Electronic proceedings in theoretical computer science, 2017-01, Vol.240 (Proc. F-IDE 2016), p.53-66

2017

Volltextzugriff (PDF)

A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

IEEE transactions on software engineering, 2018-06, Vol.44 (6), p.512-533

2018

Volltextzugriff (PDF)

Towards a Basic Theory for Partial Differentiation in the Prototype Verification System

Fundamentals of Software Engineering, 2023, Vol.14155, p.18-24

2023

Volltextzugriff (PDF)

Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System

Information processing letters, 2016-06, Vol.116 (6), p.409-415

2016

Volltextzugriff (PDF)

A Logic Theory Pattern for Linearized Control Systems

Electronic proceedings in theoretical computer science, 2021, Vol.338, p.46-52

2021

Volltextzugriff (PDF)

Application of Model Checking to Fault Tolerance Analysis

From Software Engineering to Formal Methods and Tools, and Back, p.531-547

Volltextzugriff (PDF)

ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs

IEEE transactions on computer-aided design of integrated circuits and systems, 2014-09, Vol.33 (9), p.1342-1355

2014

Volltextzugriff (PDF)

Co-simulation of a Model Predictive Control System for Automotive Applications

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops, 2022, p.204-220

2022

Volltextzugriff (PDF)

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator

Software Technologies: Applications and Foundations, p.34-44

Volltextzugriff (PDF)

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries

IEEE transactions on industrial informatics, 2014-05, Vol.10 (2), p.1003-1011

2014

Volltextzugriff (PDF)

Formalization and co-simulation of attacks on cyber-physical systems

Journal of Computer Virology and Hacking Techniques, 2020-03, Vol.16 (1), p.63-77

2020

Volltextzugriff (PDF)

Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors

Software Engineering and Formal Methods, p.3-19

Volltextzugriff (PDF)

Do-it-Yourself FMU Generation

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops, p.210-227

Volltextzugriff (PDF)

SRAM-Based FPGA Systems for Safety-Critical Applications：A Survey on Design Standards and Proposed Methodologies

计算机科学技术学报（英文版）, 2015 (2), p.372-389

2015

Volltextzugriff (PDF)

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

Software Engineering and Formal Methods, p.300-314

Volltextzugriff (PDF)

Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System

2016 IEEE Symposium on Computers and Communication (ISCC), 2016, p.135-140

2016

Volltextzugriff (PDF)

UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs

Integration (Amsterdam), 2016-09, Vol.55, p.85-97

2016

Volltextzugriff (PDF)

OLT(RE)2: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems

IEEE transactions on emerging topics in computing, 2018-10, Vol.6 (4), p.511-523

2018

Volltextzugriff (PDF)

Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs

2014 International Test Conference, 2014, p.1-10

Cassano, Luca

2014

Volltextzugriff (PDF)

Static and Dynamic Data Models for the Storage Resource Manager v2.2

Journal of grid computing, 2009-03, Vol.7 (1), p.115-133

2009

Volltextzugriff (PDF)

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Automated Reasoning for Systems Biology and Medicine, p.215-242

Volltextzugriff (PDF)

Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs

2012 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT), 2012, p.115-120

2012

Volltextzugriff (PDF)

1 – 25 von 122

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(94)
Mit Volltextzugriff
(113)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Zeitschrift / Serie

5 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

Formal Verification and Co-Simulation in the Design of a Synchronous Motor Control Algorithm

Design and Validation of Cyber-Physical Systems Through Co-Simulation: The Voronoi Tessellation Use Case

SRAM-Based FPGA Systems for Safety-Critical Applications： A Survey on Design Standards and Proposed Methodologies

Extending a User Interface Prototyping Tool with Automatic MISRA C Code Generation

A PVS-Simulink Integrated Environment for Model-Based Analysis of Cyber-Physical Systems

Towards a Basic Theory for Partial Differentiation in the Prototype Verification System

Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System

A Logic Theory Pattern for Linearized Control Systems

Application of Model Checking to Fault Tolerance Analysis

ASSESS: A Simulator of Soft Errors in the Configuration Memory of SRAM-Based FPGAs

Co-simulation of a Model Predictive Control System for Automotive Applications

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator

Design and Safety Verification of a Distributed Charge Equalizer for Modular Li-Ion Batteries

Formalization and co-simulation of attacks on cyber-physical systems

Co-simulation and Verification of a Non-linear Control System for Cogging Torque Reduction in Brushless Motors

Do-it-Yourself FMU Generation

SRAM-Based FPGA Systems for Safety-Critical Applications：A Survey on Design Standards and Proposed Methodologies

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System

UA2TPG: An untestability analyzer and test pattern generator for SEUs in the configuration memory of SRAM-based FPGAs

OLT(RE)2: An On-Line On-Demand Testing Approach for Permanent Radiation Effects in Reconfigurable Systems

Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs

Static and Dynamic Data Models for the Storage Resource Manager v2.2

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Accurate simulation of SEUs in the configuration memory of SRAM-based FPGAs

Suchergebnisse filtern