Author of the publication

Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process.

, , , , , and . CoRR, (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Integrating Embedded Multiagent Systems with Urban Simulation Tools and IoT Applications., , , , , and . RITA, 29 (1): 81-90 (2022)A middleware for providing communicability to Embedded MAS based on the lack of connectivity., , , , , and . Artif. Intell. Rev., 56 (Supplement 3): 2971-3001 (December 2023)A Double-Level Model Checking Approach for an Agent-Based Autonomous Vehicle and Road Junction Regulations., , and . J. Sens. Actuator Networks, 10 (3): 41 (2021)Experimentation of Negotiation Protocols for Consensus Problems in Smart Parking Systems., , , and . HoloMAS, volume 11710 of Lecture Notes in Computer Science, page 189-202. Springer, (2019)Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent., , and . FM Workshops (1), volume 12232 of Lecture Notes in Computer Science, page 217-232. Springer, (2019)Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata., and . FMAS/ASYDE@SEFM, volume 371 of EPTCS, page 77-85. (2022)Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process., , , , , and . CoRR, (2022)Bio-Inspired Protocols for Embodied Multi-Agent Systems., , , , , and . ICAART (1), page 312-320. SCITEPRESS, (2021)N-GraphML: Language and Formal Grammar for Proof-Graphs., , and . WEIT, page 135-138. IEEE Computer Society, (2013)Extending Urban Multi-Lane Spatial Logic to Formalise Road Junction Rules., and . FMAS, volume 348 of EPTCS, page 1-19. (2021)