UB Paderborn / Katalog / Suche / in CDI

A formal approach to AADL model-based software engineering

International journal on software tools for technology transfer, 2020-04, Vol.22 (2), p.219-247

2020

Volltextzugriff (PDF)

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Science of computer programming, 2018-05, Vol.156, p.1-20

2018

Volltextzugriff (PDF)

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

Formal Methods Teaching, p.23-36

Volltextzugriff (PDF)

Trade-off analysis for SysML models using decision points and CSPs

Software and systems modeling, 2019-12, Vol.18 (6), p.3265-3281

2019

Volltextzugriff (PDF)

Special issue on Reliable Software Technologies (AEiC2022)

Journal of systems architecture, 2023-02, Vol.135, p.102809, Article 102809

Hugues, Jerome

2023

Volltextzugriff (PDF)

A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014

Journal of systems architecture, 2022-02, Vol.123, p.102376, Article 102376

Hugues, Jerome

2022

Volltextzugriff (PDF)

Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems

Science of computer programming, 2015-08, Vol.106, p.1-2

2015

Volltextzugriff (PDF)

Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language

IEEE software, 2022-07, Vol.39 (4), p.34-38

2022

Volltextzugriff (PDF)

ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem

ACM SIGAda Ada Letters, 2023-06, Vol.43 (1), p.37-41

2023

Volltextzugriff (PDF)

From the prototype to the final embedded system using the Ocarina AADL tool suite

ACM transactions on embedded computing systems, 2008-07, Vol.7 (4), p.1-25

2008

Volltextzugriff (PDF)

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

2014 IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014, p.214-221

2014

Volltextzugriff (PDF)

Multi domain optimization with SysML modeling

2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015, p.1-8

2015

Volltextzugriff (PDF)

A Contract-Based Approach to Support Goal-Driven Analysis

2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 2015, p.236-243

2015

Volltextzugriff (PDF)

On the effect of clock offsets and quantization on learning-based adversarial games

Automatica (Oxford), 2024-09, Vol.167, p.111762, Article 111762

2024

Volltextzugriff (PDF)

Enforcing software engineering tools interoperability: An example with AADL subsets

2013 International Symposium on Rapid System Prototyping (RSP), 2013, p.59-65

2013

Volltextzugriff (PDF)

Mapping AADL models to a repository of multiple schedulability analysis techniques

16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013), 2013, p.1-8

2013

Volltextzugriff (PDF)

Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems

2023 American Control Conference (ACC), 2023, p.2782-2787

2023

Volltextzugriff (PDF)

From AADL Architectural Models to Petri Nets: Checking Model Viability

2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2009, p.313-320

2009

Volltextzugriff (PDF)

Mechanization of the Ravenscar Profile in Coq

ACM SIGAda Ada Letters, 2023-10, Vol.43 (1), p.106-110

Hugues, J.

2023

Volltextzugriff (PDF)

Automatic framework generation for hard real-time applications

Innovations in systems and software engineering, 2008-04, Vol.4 (1), p.107-122

2008

Volltextzugriff (PDF)

Towards Automatic Middleware Generation

2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008, p.221-228

2008

Volltextzugriff (PDF)

From Model Driven Engineering to Verification Driven Engineering

Software Technologies for Embedded and Ubiquitous Systems, p.381-393

Volltextzugriff (PDF)

Model-based design and automated validation of ARINC653 architectures

2015 International Symposium on Rapid System Prototyping (RSP), 2015, p.3-9

2015

Volltextzugriff (PDF)

Using MDE for the Rapid Prototyping of Space Critical Systems

2008 The 19th IEEE/IFIP International Symposium on Rapid System Prototyping, 2008, p.10-16

2008

Volltextzugriff (PDF)

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Proceedings of the 25th International Conference on Real-Time Networks and Systems, 2017, p.168-177

2017

Volltextzugriff (PDF)

Menü

Weitere Dienste

Einstellungen

A formal approach to AADL model-based software engineering

Towards the systematic analysis of non-functional properties in Model-Based Engineering for real-time embedded systems

Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists

Trade-off analysis for SysML models using decision points and CSPs

Special issue on Reliable Software Technologies (AEiC2022)

A correct-by-construction AADL runtime for the Ravenscar profile using SPARK2014

Preface to the special issue: Architecture-Driven Semantic Analysis of Embedded Systems

Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language

ADEPT 2022 workshop: a summary of strengths and weaknesses of the AADL ecosystem

From the prototype to the final embedded system using the Ocarina AADL tool suite

Analysis as a First-Class Citizen: An Application to Architecture Description Languages

Multi domain optimization with SysML modeling

A Contract-Based Approach to Support Goal-Driven Analysis

On the effect of clock offsets and quantization on learning-based adversarial games

Enforcing software engineering tools interoperability: An example with AADL subsets

Mapping AADL models to a repository of multiple schedulability analysis techniques

Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems

From AADL Architectural Models to Petri Nets: Checking Model Viability

Mechanization of the Ravenscar Profile in Coq

Automatic framework generation for hard real-time applications

Towards Automatic Middleware Generation

From Model Driven Engineering to Verification Driven Engineering

Model-based design and automated validation of ARINC653 architectures

Using MDE for the Rapid Prototyping of Space Critical Systems

Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study

Suchergebnisse filtern