Sotabase

Career

· AI Architect, Ridge Security Technology Inc.2025–
· Visiting PhD Student, Computer Science, UC Berkeley2019–2019
· Postdoctoral Researcher, UC Berkeley

Publications (19)

Automotive Architecture Framework: The experience of Volvo Cars
Journal of systems architecture · 2017
91
cited
Autonomous Vehicles: State of the Art, Future Trends, and Challenges
Automotive Systems and Software Engineering · 2019
83
cited
Automotive Systems and Software Engineering
Cambridge International Law Journal · 2019
19
cited
A Runtime Monitoring Framework to Enforce Invariants on Reinforcement Learning Agents Exploring Complex Environments
International Symposium on Robotic and Sensors Environments · 2019
16
cited
Pacti: Assume-Guarantee Contracts for Efficient Compositional Analysis and Design
ACM Trans. Cyber Phys. Syst. · 2023
16
cited
Formal Verification of the On-the-Fly Vehicle Platooning Protocol
International Workshop on Software Engineering for Resilient Systems · 2016
15
cited
A Proposal for an Automotive Architecture Framework for Volvo Cars
Wireless Algorithms, Systems, and Applications · 2016
11
cited
MoVEMo: A Structured Approach for Engineering Reward Functions
International Conference on Robotic Computing · 2018
11
cited
Using PVSio-web and SAPERE for rapid prototyping of user interfaces in Integrated Clinical Environments
2015
10
cited
CROME: Contract-Based Robotic Mission Specification
International Conference on Formal Methods and Models for Co-Design · 2020
8
cited
Keeping Intelligence under Control
2018 IEEE/ACM 1st International Workshop on Software Engineering for Cognitive Services (SE4COG) · 2018
8
cited
Combining Machine-Learning with Invariants Assurance Techniques for Autonomous Systems
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) · 2017
7
cited
PVSio-web: mathematically based tool support for the design of interactive and interoperable medical systems
EAI Endorsed Transactions on Collaborative Computing · 2015
7
cited
Contract-Based Specification Refinement and Repair for Mission Planning
FME Workshop on Formal Methods in Software Engineering · 2022
4
cited
Correct-by-Construction Design of Contextual Robotic Missions Using Contracts
arXiv.org · 2023
2
cited
Deploying ZKP Frameworks with Real-World Data: Challenges and Proposed Solutions
arXiv.org · 2023
2
cited
Incremental Refinement of Goal Models with Contracts
Fundamentals of Software Engineering · 2021
2
cited
A Grammar for the Representation of Unmanned Aerial Vehicles with 3D Topologies
arXiv.org · 2023
Engineering Trustworthy Self-Adaptive Autonomous Systems
2018
Sotabase
Piergiuseppe Mallozzi | Researcher Profile | Sotabase | Sotabase