News and Events
-
VAIPOSA Kick Off Meeting
The kick off meeting of the ESA-funded VAIPOSA project took place successfully online on September 17, 2024. VAIPOSA webpage
-
Distinguished artifact award at TACAS conference
The article "Towards Safe Autonomous Driving: Model Checking a Behavior Planner during Development" has received a "distinguished artifact award" at the TACAS 2024 conference. See also the related post on the Bosch Research Blog.
-
Open PhD Positions
The First Call for Admissions to the PhD Program in Information Engineering and Computer Science at will close soon! The FM unit has 3 open positions (topics C2, C3, C4). Deadline for applications: May 7, 2024 at 4 pm (CEST)
-
ExploDTwin Kick Off Meeting
The kick off meeting of ExploDTwin took place successfully online yesterday, on March 1, 2024. LinkedIn Post
-
VSTTE 2022
VSTTE was hosted by ES in Trento on October 17-18, 2022. It was chaired by Akash Lal and Stefano Tonetta, and the general chair was Supratik Chakraborty. It was co-located with FMCAD, which is running from October 18-21, 2022, and chaired by Alberto Griggio and Neha Rungta. General Info Start …
-
FMCAD 2022
The ES unit of FBK will co-organize the 2022 edition of the International Conference on Formal Methods in Computer-Aided Design, FMCAD’22. The conference will be held in Trento from October 18th to October 21st 2022. More information at https://fmcad.org/FMCAD22/
-
SEFM21 Best Paper Award
The paper “Fairness, Assumptions, and Guarantees for Extended Bounded Response LTL+P Synthesis” by Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta received the SEFM2021 best paper award!!!
-
VALU3S 5th Project Consortium Meeting
Today and tomorrow, the VALU3S Consortium meets for the fifth time in an online meeting. General Info Start Date: 10 Nov 2021 End Date: 11 Nov 2021 Site: LinkedIn Post
-
FBK-SAL Collaboration
The Austrian research center Silicon Austria Labs (SAL) and the Italian research institute Fondazione Bruno Kessler (FBK) are launching a bilateral research collaboration to develop methods and processes that increase the dependability of electronic based systems. FBK Magazine
-
HUBCAP Mid-Term Review Meeting
The HUBCAP mid-term review meeting with the European Commission took place online on September 22. HUBCAP successfully passed the review. LinkedIn Post
-
ROBDT Kickoff Meeting
On September 15, we had a successful kick-off meeting of the ROBDT project, funded by the European Space Agency (ESA-ESOC) and lead by TRASYS with the participation of GMV and FBK. The project aims at developing a Robotic Digital Twin framework. FBK will contribute with AI and MBSE tools and …
-
Informal Workshop on Satisfiability Checking and Symbolic Computation (SC-Square)
The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Symbolic Computation is concerned with the algorithmic determination of exact solutions to complex mathematical problems; and more recent developments in the area of Satisfiability Checking are starting to tackle similar problems but …
-
Using Drones and Automated Vehicles to move goods more effectively
EIT Digital is launching “Autonomous Warehouse and Last Mile Delivery” (AWARD) a new innovation activity which aims to make movements of goods more efficient and effective. AWARD will focus on improving the current state of operations inside a warehouse. Automated guided vehicles (AGVs) will be used to take packages from …
-
Open Workshop on Model-based Design and Verification of Critical Systems
General Info Start: 15 Dec 2016 9:00 End: 15 Dec 2016 11:00 Location: Fondazione Bruno Kessler (Povo), Sala Stringa Programme The program is structured as follows: 9:00 – 9:45"Collaborative Design for Embedded Systems - Co-modelling and Co-simulation"Speaker: Marcel Verhoef (European Space Agency) 9:45 – 10:30 …
-
Model Based Design and Safety Assessment at FBK
General Info Date: 20 Nov 2015 Location: FORTISS - Munich Programme 9.00-9.10 Marco Roveri "Brief presentation of FBK" 9.10-10.10 Marco Roveri "Formal methods for functional verification" 10.10-11.10 Marco Bozzano "Formal methods for safety analysis" 11.10-11.30: Break 11.30-12.30 Stefano Tonetta "Contract-based analysis …
-
Formal Methods for the Design of Critical Systems
The workshop addressed the theme of formal method for the design of critical systems. Our guests, who were in Trento for the Ph.D. dissertation of Sergio Mover, presented a number of studies conducted in this area. The program included an approach for detecting sensor spoofing attacks on a cyber-physical …
-
1st Open EIT ICT Labs Workshop on Cyber Physical System Engineering
The ongoing integration of software-intensive embedded systems and global communication networks into Cyber-Physical Systems (CPS) is considered to be the next revolution in ICT with a great deal of game-changing business potential and novel business models for integrated products and services. Many technology leaders are already in the midst of …
-
Alpine Verification Meeting 2013
The AVM is a meeting on current problems in formal verification. The goal of the meeting is to bring together researchers from the region to update each other on their research, to have time for discussion, also on possible collaborations. The meeting is open to the public. AVM 2013 will …
-
Best Paper Award at the FMCAD12
Alessandro Cimatti, Sergio Mover and Stefano Tonetta received the Best Paper Award at the FMCAD12 conference for the paper “A quantifier-free SMT encoding of non-linear hybrid automata”.
-
Mark Weiser Best Paper Award at IEEE PerCom 2012
The article “What Does Model-Driven Data Acquisition Really Achieve in Wireless Sensor Networks? ” written by Amy Murphy and Usman Raza, in collaboration with researchers from DISI, was awarded the Mark Weiser Best Paper Award at the IEEE PerCom 2012 conference.
-
EWSN/CONET Best Ph.D. Thesis Award at EWSN 2012
Matto Ceriotti received the EWSN/CONET Best PhD Thesis Award at the 9th European Conference on Wireless Sensor Networks (EWSN 2012), for his thesis “Guaranteeing Communication Quality in Real World WSN Deployments” (Advisor: A.L. Murphy).
-
Best Paper Award at the IPSN 2011
The article “Is There Light at the Ends of the Tunnel? Wireless Sensor Networks for Adaptive Lighting in Road Tunnels” written by Amy Murphy and Matteo Ceriotti, in collaboration with DISI, Create-Net, and Siemens, was awarded the Best Paper Award at the IPSN 2011 conference, a flagship venue in the …
-
EASST Best Paper Award at TACAS 2011
Alessandro Cimatti, Iman Narasamdya and Marco Roveri were awarded the EASST Best Paper Award for the paper “Boosting Lazy Abstraction for SystemC with Partial Order Reduction” at the TACAS 2011 conference.
-
Best Paper Award at the FSEN'09
Viktor Shuppan won the best paper award for his paper on unsatisfiable cores at FSEN’09.
-
Birth of ES Research Unit
Official birth date of the Embedded Systems Research Unit.
-
Conception of ES Research Unit
The Embedded Systems Research Unit idea was conceived.