Dr. Boureanu has been an invited speaker at an event showcasing research on FinTech across the faculties of Imperial College London.
More details can be found here!
J. Ezekiel and A. Lomuscio have their paper “Combining fault injection and model checking to verify fault tolerance, recoverability, and diagnosability in multi-agent systems” accepted in the international journal Information and Computation.
Our group has a collection of four paper to present at the 15th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS16):
- P. Kouvaros and A. Lomuscio. “Formal Verification of Opinion Formation in Swarms”
- I. Boureanu, P. Kouvaros and A. Lomuscio. “Verifying Security Properties in Unbounded Multiagent Systems”
- A. Lomuscio and J. Michaliszyn. “Verification of Multi-Agent Systems via Predicate Abstraction against ATLK specifications”
- F. Belardinelli, H. van Ditmarsch, and W. van der Hoek. “Second-order Propositional Announcement Logic”
P. Kouvaros and A. Lomuscio have their paper “Parameterised Verification for Multi-Agent Systems” accepted in the journal Artificial Intelligence.
A. Lomuscio and J. Michaliszyn have their paper “Model Checking Multi-Agent Systems against Epistemic HS Specifications with Regular Expressions” accepted to the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR16)!
Dr. Belardinelli has re-joined VAS! Welcome, Dr. Belardinelli!
Panagiotis Kouvaros has successfully defended his PhD! Congratulations to him! One more PhD graduating in VAS!
Alessio Lomuscio presented the paper entitled “Verification of GSM-based
Artifact-centric Systems by Predicate Abstraction” at the
13th International Conference on Service Oriented Computing (ICSOC15) in
Goa, India. This is joint work with VAS’s former members: P. Gonzalez and A. Griesmayer.
Alessio Lomuscio was an invited speaker at the Industry Strategy Meeting which
was held on the 29th of September 2015 at the World Economic Forum (in Geneva)! His talk was entitled “The race against ‘thinking’ machines”.
Ioana Boureanu gave an invited talk entitled “Challenges in Distance Bounding Protocols”, at the Romanian Cryptology Days (RCD-2015), held in Bucharest, Romania, between the
September 21 and September 23, 2015.