research
∙
09/28/2022
Monitoring ROS2: from Requirements to Autonomous Robots
Runtime verification (RV) has the potential to enable the safe operation...
share
research
∙
09/30/2021
Proceedings 14th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'21, the 14th Interaction and...
research
∙
12/03/2020
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
The Independent Configurable Architecture for Reliable Operations of Unm...
research
∙
09/16/2020
Proceedings 13th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'20, the 13th Interaction and...
research
∙
09/11/2019
Proceedings 12th Interaction and Concurrency Experience
This volume contains the proceedings of ICE'19, the 12th Interaction and...
research
∙
01/04/2019
VeriSolid: Correct-by-Design Smart Contracts for Ethereum
The adoption of blockchain based distributed ledgers is growing fast due...
research
∙
06/26/2018
Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+
Usage control models provide an integration of access control, digital r...
research
∙
05/24/2018
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP
The Behavior-Interaction-Priority (BIP) framework, rooted in rigorous se...
research
∙
04/22/2018
SolidWorx: A Resilient and Trustworthy Transactive Platform for Smart and Connected Communities
Internet of Things and data sciences are fueling the development of inno...
research
∙
02/26/2018
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts
Blockchain-based distributed computing platforms enable the trusted exec...
research
∙
11/26/2017
Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach
The adoption of blockchain-based distributed computation platforms is gr...
research
∙
07/31/2017