Component-Based Approach Combining UML and BIP for Rigorous System Design

von Chehida, Salim
Veröffentlicht in FACS (17. : 2021 : Online) Formal Aspects of Component Software (2021)

Formal Modelling and Security Analysis of Inter-Operable Systems

von Baouya, Abdelhakim
Veröffentlicht in IEA/AIE (35. : 2022 : Kitakyūshū) Advances and trends in artificial intelligence (2022)

Monitoring Distributed Component-Based Systems

von Falcone, Ylies
Veröffentlicht in FACS (17. : 2021 : Online) Formal Aspects of Component Software (2021)

Applied Statistical Model Checking for a Sensor Behavior Analysis

von Chehida, Salim
Veröffentlicht in QUATIC (13. : 2020 : Faro) Quality of information and communications technology (2020)

Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPA SS

von Rosenberger, Tobias
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)

Runtime verification : 9th international workshop, RV 2009, Grenoble, France, June 26-28, 2009 ; selected papers

Veröffentlicht 2009

Formal Modeling and Verification of Blockchain Consensus Protocol for IoT Systems

von Baouya, Abdelhakim
Veröffentlicht in International Conference on New Trends in Intelligent Software Methodologies, Tools and Techniques (19. : Kitakyūshū : 2020) Knowledge innovation through intelligent software methodologies, tools and techniques (2020)

Model-Based Design of Resilient Systems Using Quantitative Risk Assessment

von Mediouni, Braham Lotfi
Veröffentlicht in VECoS (14. : 2020 : Online) Verification and evaluation of computer and communication systems (2020)

Prioritizing Corners in OoD Detectors via Symbolic String Manipulation

von Cheng, Chih-Hong
Veröffentlicht in ATVA (20. : 2022 : Online) Automated technology for verification and analysis (2022)

A Layered Implementation of DR-BIP Supporting Run-Time Monitoring and Analysis

von El-Hokayem, Antoine
Veröffentlicht in SEFM (18. : 2020 : Online) Software engineering and formal methods (2020)

Synthesizing Control for a System with Black Box Environment, Based on Deep Learning

von Iosti, Simon
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 2: Engineering principles (2020)

Formal Modeling and Simulation of Collaborative Intelligent Robots

von Baouya, Abdelhakim
Veröffentlicht in EdgeWays (1. : 2020 : Heraklion) Advances in service-oriented and cloud computing (2021)

Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018 : proceedings

Veröffentlicht 2018

From programs to systems : the systems perspective in computing : ETAPS Workshop, FPS 2014, in honor of Joseph Sifakis, Grenoble, France, April 6, 2014 ; proceedings

Veröffentlicht 2014

Formal Specification for Learning-Enabled Autonomous Systems

von Bensalem, Saddek
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)

Asset-Driven Approach for Security Risk Assessment in IoT Systems

von Chehida, Salim
Veröffentlicht in CRiSIS (15. : 2020 : Online) Risks and security of internet and systems (2021)