Search for persons
X
?
2024 IEEE Workshop on Design Automation for CPS and IoT (DESTION) ,
1
RAMPART: Reinforcement Against Malicious Penetration by Adv..:
, In:
?
MILCOM 2023 - 2023 IEEE Military Communications Conference (MILCOM) ,
2
Counterexample Guided Inductive Synthesis Using Large Langu..:
, In:
?
2023 IEEE International Conference on Assured Autonomy (ICAA) ,
3
Dehallucinating Large Language Models Using Formal Methods ..:
, In:
?
Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering ,
5
Integrated modeling and simulation for cyberphysical system..:
, In:
?
Proceedings of the 52nd Annual Design Automation Conference ,
6
Design tool chain for cyber-physical systems : lessons l..:
, In:
?
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering ,
7
Formalization of software models for cyber-physical systems:
, In:
?
Proceedings of the 2014 Summer Simulation Multiconference ,
8
An approach to parallelizing the simulation of complicated ..:
, In:
?
2013 ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN) ,
9
Acoustic shockwave-based bearing estimation:
, In:
?
Proceedings of the 12th international conference on Information processing in sensor networks ,
10
Acoustic shockwave-based bearing estimation:
, In:
?
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling ,
11
Component-based modeling of dynamic systems using heterogen..:
, In:
?
Behavioral Modeling for Embedded Systems and Technologies ,
12