?
2024 IEEE Intelligent Vehicles Symposium (IV) ,
1
Goal-Aware RSS for Complex Scenarios via Program Logic:
, In:
?
Social Computing and Social Media; Lecture Notes in Computer Science ,
2
Supporting Hybrid Interaction: A Design Approach for Mitiga..:
, In:
?
Tests and Proofs; Lecture Notes in Computer Science ,
3
Architecture-Guided Test Resource Allocation via Logic:
, In:
?
Lecture Notes in Computer Science; NASA Formal Methods ,
4
Robustifying Controller Specifications of Cyber-Physical Sy..:
, In:
?
Proceedings of the 2019 3rd International Symposium on Computer Science and Intelligent Control ,
6
Procedural Animation of Aurora and its Optimization for Key..:
, In:
?
?
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems ,
8
Towards a Framework for the Analysis of Multi-Product Lines..:
, In:
?
?
2016 Compound Semiconductor Week (CSW) [Includes 28th International Conference on Indium Phosphide & Related Materials (IPRM) & 43rd International Symposium on Compound Semiconductors (ISCS) ,
10
Picoseconds carrier spin relaxation in In0.8Ga0.2As/Al0.5Ga..:
, In:
?
2009 IEEE Nuclear Science Symposium Conference Record (NSS/MIC) ,
11
Spatial resolution of multi-head Si/CdTe Compton camera for..:
, In:
?
2007 European Control Conference (ECC) ,
12