45 citations · 110 across the 26 of their papers we have counts for
4 papers · 1 filter
Hypernode Automata
Ezio Bartocci, Thomas A. Henzinger, Dejan Nickovic +1
We introduce hypernode automata as a new specification formalism for hyperproperties of concurrent systems. They are finite automata with nodes labeled with hypernode logic formula…
A Systematic Approach to Automotive Security
Masoud Ebrahimi, Stefan Marksteiner, Dejan Ničković +8
We propose a holistic methodology for designing automotivesystems that consider security a central concern at every design stage.During the concept design, we model the system arch…
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…
Property-Based Mutation Testing
Ezio Bartocci, Leonardo Mariani, Dejan Nickovic +1
Mutation testing is an established software quality assurance technique for the assessment of test suites. While it is well-suited to estimate the general fault-revealing capabilit…