UB Paderborn / Katalog / Suche / in CDI

RoboChart: modelling and verification of the functional behaviour of robotic applications

Software and systems modeling, 2019-10, Vol.18 (5), p.3097-3149

2019

Link zum Volltext

Verfügbarkeit prüfen

Model checking of state-rich formalism by linking to CSP‖B

International journal on software tools for technology transfer, 2017-02, Vol.19 (1), p.73-96

2017

Link zum Volltext

Verfügbarkeit prüfen

Formally verified animation for RoboChart using interaction trees

Journal of logical and algebraic methods in programming, 2024-02, Vol.137, p.100940, Article 100940

2024

Link zum Volltext

Verfügbarkeit prüfen

UTP, Circus, and Isabelle

Theories of Programming and Formal Methods, p.19-51

Link zum Volltext

Verfügbarkeit prüfen

Modelling and Verifying Robotic Software that Uses Neural Networks

Theoretical Aspects of Computing - ICTAC 2023, 2023, Vol.14446, p.15-35

2023

Link zum Volltext

Verfügbarkeit prüfen

A refinement strategy for Circus

Formal aspects of computing, 2003-11, Vol.15 (2-3), p.146-181

2003

Link zum Volltext

Verfügbarkeit prüfen

FDR Explorer

Formal aspects of computing, 2009-02, Vol.21 (1-2), p.133-154

2009

Link zum Volltext

Verfügbarkeit prüfen

UTP Semantics of Reactive Processes with Continuations

Unifying Theories of Programming, 2017, Vol.10134, p.114-133

2017

Link zum Volltext

Verfügbarkeit prüfen

Unifying classes and processes

Software and systems modeling, 2005-07, Vol.4 (3), p.277-296

2005

Link zum Volltext

Verfügbarkeit prüfen

Checking SysML Models for Co-simulation

Formal Methods and Software Engineering, 2016, Vol.10009, p.450-465

2016

Link zum Volltext

Verfügbarkeit prüfen

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

FM 2014: Formal Methods, p.62-77

Link zum Volltext

Verfügbarkeit prüfen

Automatic Generation of Verified Concurrent Hardware

Formal Methods and Software Engineering, p.286-306

Link zum Volltext

Verfügbarkeit prüfen

Behavioural Models for FMI Co-simulations

Theoretical Aspects of Computing – ICTAC 2016, p.255-273

Link zum Volltext

Verfügbarkeit prüfen

Simulink Timed Models for Program Verification

Theories of Programming and Formal Methods, p.82-99

Link zum Volltext

Verfügbarkeit prüfen

FDR Explorer

Electronic notes in theoretical computer science, 2007-07, Vol.187, p.19-34

2007

Link zum Volltext

Verfügbarkeit prüfen

Refinement in Circus

FME 2002: Formal Methods - Getting IT Right, 2002, Vol.2391, p.451-470

2002

Link zum Volltext

Verfügbarkeit prüfen

A “Hardware Compiler” Semantics for Handel-C

Electronic notes in theoretical computer science, 2006-08, Vol.161, p.73-90

2006

Link zum Volltext

Verfügbarkeit prüfen

Modelling and Implementing Complex Systems with Timebands

2010 Fourth International Conference on Secure Software Integration and Reliability Improvement, 2010, p.1-13

2010

Link zum Volltext
IEEE_Xplore

Menü

Weitere Dienste

Einstellungen

RoboChart: modelling and verification of the functional behaviour of robotic applications

Model checking of state-rich formalism by linking to CSP‖B

Formally verified animation for RoboChart using interaction trees

UTP, Circus, and Isabelle

Modelling and Verifying Robotic Software that Uses Neural Networks

A refinement strategy for Circus

FDR Explorer

UTP Semantics of Reactive Processes with Continuations

Unifying classes and processes

Checking SysML Models for Co-simulation

A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes

Automatic Generation of Verified Concurrent Hardware

Behavioural Models for FMI Co-simulations

Simulink Timed Models for Program Verification

FDR Explorer

Refinement in Circus

A “Hardware Compiler” Semantics for Handel-C

Modelling and Implementing Complex Systems with Timebands

Aktive Filter

Suchergebnisse filtern