UB Paderborn / Katalog / Suche / in CDI

1 – 25 von 166

Sortiert nach

Progress on the development of a fully integrated HTR code package

Nuclear engineering and design, 2012-10, Vol.251, p.400-406

2012

Link zum Volltext

Verfügbarkeit prüfen

Exploitation of a pH-sensitive hydrogel disk for CO2 detection

Sensors and actuators. B, Chemical, 2004-09, Vol.103 (1-2), p.284-289

2004

Link zum Volltext

Verfügbarkeit prüfen

A miniaturized carbon dioxide gas sensor based on sensing of pH-sensitive hydrogel swelling with a pressure sensor

Biomedical microdevices, 2005-09, Vol.7 (3), p.197-204

2005

Link zum Volltext

Verfügbarkeit prüfen

Extending PlusCal for Modeling Distributed Algorithms

Integrated Formal Methods, Vol.14300, p.321-340

Link zum Volltext

Verfügbarkeit prüfen

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

Integrated Formal Methods, p.153-171

Link zum Volltext

Verfügbarkeit prüfen

Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction

Integrated Formal Methods, p.193-213

Velev, Miroslav N.

Link zum Volltext

Verfügbarkeit prüfen

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions

Integrated Formal Methods, p.279-301

Link zum Volltext

Verfügbarkeit prüfen

Towards Formal Verification of a TPM Software Stack

Integrated Formal Methods, p.93-112

Link zum Volltext

Verfügbarkeit prüfen

A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)

Integrated Formal Methods, p.391-397

Link zum Volltext

Verfügbarkeit prüfen

Lifting the Reasoning Level in Generic Weak Memory Verification

Integrated Formal Methods, p.175-192

Link zum Volltext

Verfügbarkeit prüfen

Automated Sensitivity Analysis for Probabilistic Loops

Integrated Formal Methods, p.21-39

Link zum Volltext

Verfügbarkeit prüfen

SMT: Something You Must Try

Integrated Formal Methods, p.3-18

Link zum Volltext

Verfügbarkeit prüfen

CHC Model Validation with Proof Guarantees

Integrated Formal Methods, p.62-81

Link zum Volltext

Verfügbarkeit prüfen

Reasoning About Exceptional Behavior at the Level of Java Bytecode

Integrated Formal Methods, p.113-133

Link zum Volltext

Verfügbarkeit prüfen

Shuffling Posets on Trajectories

Integrated Formal Methods, p.384-390

Edixhoven, Luc

Link zum Volltext

Verfügbarkeit prüfen

Symbolic Model Checking of Relative Safety LTL Properties

Integrated Formal Methods, p.302-320

Link zum Volltext

Verfügbarkeit prüfen

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method

Integrated Formal Methods, p.237-256

Link zum Volltext

Verfügbarkeit prüfen

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models

Integrated Formal Methods, p.257-276

Link zum Volltext

Verfügbarkeit prüfen

Refinement and Separation: Modular Verification of Wandering Trees

Integrated Formal Methods, p.214-234

Link zum Volltext

Verfügbarkeit prüfen

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Integrated Formal Methods, p.343-363

Link zum Volltext

Verfügbarkeit prüfen

CAN-verify: A Verification Tool For BDI Agents

Integrated Formal Methods, p.364-373

Link zum Volltext

Verfügbarkeit prüfen

Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods

Integrated Formal Methods, p.82-89

Link zum Volltext

Verfügbarkeit prüfen

Analysis and Formal Specification of OpenJDK’s BitSet

Integrated Formal Methods, p.134-152

Link zum Volltext

Verfügbarkeit prüfen

Scalable and Precise Refinement Types for Imperative Languages

Integrated Formal Methods, p.377-383

Link zum Volltext

Verfügbarkeit prüfen

diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions

Integrated Formal Methods, p.40-61

Link zum Volltext

Verfügbarkeit prüfen

1 – 25 von 166

Suche als RSS-Feed

Aktive Filter

PublikationsformBerichte

ThemaTechnology

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(124)
Mit Volltextzugriff
(155)

Publikationsform

Sprache

Erscheinungsjahr

n.n

Thema

Science & Technology
(165)
Computer Science
(67)
Engineering
(50)
Computer Science, Theory & Methods
(49)
Computer Science, Software Engineering
(46)
Materials Science
(35)
Physical Sciences
(30)
Materials Science, Multidisciplinary
(24)
Energy & Fuels
(17)
Engineering, Electrical & Electronic
(17)
Science & Technology - Other Topics
(17)
Engineering, Chemical
(16)
Chemistry
(15)
Physics
(14)
Life Sciences & Biomedicine
(12)
Computer Science, Information Systems
(11)
Exact Sciences And Technology
(11)
Hardware
(10)
Nanoscience & Nanotechnology
(10)

14 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Progress on the development of a fully integrated HTR code package

Exploitation of a pH-sensitive hydrogel disk for CO2 detection

A miniaturized carbon dioxide gas sensor based on sensing of pH-sensitive hydrogel swelling with a pressure sensor

Extending PlusCal for Modeling Distributed Algorithms

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

Automatic Formal Verification of RISC-V Pipelined Microprocessors with Fault Tolerance by Spatial Redundancy at a High Level of Abstraction

Mission-Time LTL (MLTL) Formula Validation via Regular Expressions

Towards Formal Verification of a TPM Software Stack

A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)

Lifting the Reasoning Level in Generic Weak Memory Verification

Automated Sensitivity Analysis for Probabilistic Loops

SMT: Something You Must Try

CHC Model Validation with Proof Guarantees

Reasoning About Exceptional Behavior at the Level of Java Bytecode

Shuffling Posets on Trajectories

Symbolic Model Checking of Relative Safety LTL Properties

Performance Fuzzing with Reinforcement-Learning and Well-Defined Constraints for the B Method

Reinforcement Learning Under Partial Observability Guided by Learned Environment Models

Refinement and Separation: Modular Verification of Wandering Trees

Formal Modelling and Analysis of a Self-Adaptive Robotic System

CAN-verify: A Verification Tool For BDI Agents

Verify This: Memcached—A Practical Long-Term Challenge for the Integration of Formal Methods

Analysis and Formal Specification of OpenJDK’s BitSet

Scalable and Precise Refinement Types for Imperative Languages

diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions

Aktive Filter

Suchergebnisse filtern