UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 144

Sortiert nach

A Contract-Based Methodology for Aircraft Electric Power System Design

IEEE access, 2014, Vol.2, p.1-25

2014

Volltextzugriff (PDF)

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

ACM transactions on embedded computing systems, 2019-02, Vol.18 (1), p.1-26

2019

Volltextzugriff (PDF)

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

IEEE transactions on automatic control, 2017-10, Vol.62 (10), p.4917-4932

2017

Volltextzugriff (PDF)

A CMOS Ultra-Wideband Receiver for Low Data-Rate Communication

IEEE journal of solid-state circuits, 2007-11, Vol.42 (11), p.2515-2527

2007

Volltextzugriff (PDF)

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Proceedings of the IEEE, 2015-11, Vol.103 (11), p.2104-2132

2015

Volltextzugriff (PDF)

Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures

IEEE transactions on computer-aided design of integrated circuits and systems, 2024-01, Vol.43 (1), p.1-1

2024

Volltextzugriff (PDF)

ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering

2021 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2021, p.1-9

2021

Volltextzugriff (PDF)

Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes

IEEE transactions on automatic control, 2024-07, p.1-14

2024

Volltextzugriff (PDF)

Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

Nonlinear analysis. Hybrid systems, 2024-11, Vol.54, p.101532, Article 101532

2024

Volltextzugriff (PDF)

Special issue: Formal verification of cyber-physical systems

Information and computation, 2022-11, Vol.289, p.104979, Article 104979

2022

Volltextzugriff (PDF)

Provably Safe Design Methodology for Automatic Longitudinal Control of Autonomous Vehicles

IEEE transactions on intelligent vehicles, 2024, p.1-13

2024

Volltextzugriff (PDF)

SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks

2023 60th ACM/IEEE Design Automation Conference (DAC), 2023, p.1-6

2023

Volltextzugriff (PDF)

SMC: Satisfiability Modulo Convex Programming

Proceedings of the IEEE, 2018-09, Vol.106 (9), p.1655-1679

2018

Volltextzugriff (PDF)

On the Security of Sequential Logic Locking Against Oracle-Guided Attacks

IEEE transactions on computer-aided design of integrated circuits and systems, 2023-11, Vol.42 (11), p.1-1

2023

Volltextzugriff (PDF)

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts

2022 IEEE/ACM International Conference On Computer Aided Design (ICCAD), 2022, p.1-9

2022

Volltextzugriff (PDF)

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures

IEEE transactions on computer-aided design of integrated circuits and systems, 2020-10, Vol.39 (10), p.2109-2123

2020

Volltextzugriff (PDF)

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism

2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2024, p.1-6

2024

Volltextzugriff (PDF)

Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation

2021 IEEE International Symposium on Circuits and Systems (ISCAS), 2021, p.1-5

2021

Volltextzugriff (PDF)

Design Automation for Smart Building Systems

Proceedings of the IEEE, 2018-09, Vol.106 (9), p.1680-1699

2018

Volltextzugriff (PDF)

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads

2023 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2023, p.7362-7369

2023

Volltextzugriff (PDF)

Hierarchical System Design with Vertical Contracts

Principles of Modeling, 2018, Vol.10760, p.360-382

2018

Volltextzugriff (PDF)

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses

2023 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2023, p.1-6

2023

Volltextzugriff (PDF)

Incremental Refinement of Goal Models with Contracts

9th IPM International Conference on Fundamentals of Software Engineering (FSEN 2021), Tehran, Iran, 2021, Vol.LNCS-12818, p.35-50

2021

Volltextzugriff (PDF)

Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations

2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2019, p.638-641

2019

Volltextzugriff (PDF)

Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications

2021 60th IEEE Conference on Decision and Control (CDC), 2021, p.2252-2257

2021

Volltextzugriff (PDF)

1 – 25 von 144

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(67)
Mit Volltextzugriff
(126)

Publikationsform

Sprache

Englisch
(144)
Japanisch
(6)

Erscheinungsjahr

n.n

Thema

Science & Technology
(104)
Technology
(93)
Engineering
(60)
Engineering, Electrical & Electronic
(52)
Computer Science
(44)
Automation & Control Systems
(21)
Computer Science, Theory & Methods
(19)
Computer Science, Hardware & Architecture
(18)
Detectors And Experimental Techniques
(18)
Contracts
(17)
Instruments & Instrumentation
(17)
Cyber-Physical Systems
(16)
Physical Sciences
(14)
Computer Science, Software Engineering
(13)
Sensors
(13)
Optimization
(12)
Life Sciences & Biomedicine
(11)
Physics
(11)
Computer Architecture
(10)
Hardware Security
(9)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)
... seit 90 Tagen
(4)

Menü

Weitere Dienste

Einstellungen

A Contract-Based Methodology for Aircraft Electric Power System Design

Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design

Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

A CMOS Ultra-Wideband Receiver for Low Data-Rate Communication

A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems

Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures

ReIGNN: State Register Identification Using Graph Neural Networks for Circuit Reverse Engineering

Optimal Control of Logically Constrained Partially Observable and Multi-Agent Markov Decision Processes

Constraint-driven nonlinear reachability analysis with automated tuning of tool properties

Special issue: Formal verification of cyber-physical systems

Provably Safe Design Methodology for Automatic Longitudinal Control of Autonomous Vehicles

SimLL: Similarity-Based Logic Locking Against Machine Learning Attacks

SMC: Satisfiability Modulo Convex Programming

On the Security of Sequential Logic Locking Against Oracle-Guided Attacks

Quantitative Verification and Design Space Exploration under Uncertainty with Parametric Stochastic Contracts

Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures

Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism

Enhancing SAT-Attack Resiliency and Cost-Effectiveness of Reconfigurable-Logic-Based Circuit Obfuscation

Design Automation for Smart Building Systems

Task Assignment, Scheduling, and Motion Planning for Automated Warehouses for Million Product Workloads

Hierarchical System Design with Vertical Contracts

Co-Design of Topology, Scheduling, and Path Planning in Automated Warehouses

Incremental Refinement of Goal Models with Contracts

Deep Learning-Based Circuit Recognition Using Sparse Mapping and Level-Dependent Decaying Sum Circuit Representations

Model-Free Reinforcement Learning for Optimal Control of Markov Decision Processes Under Signal Temporal Logic Specifications

Suchergebnisse filtern