Search results for: Massimo Benerecetti
Formal Methods in System Design > 2018 > 52 > 2 > 193-226
Information and Computation > 2017 > 257 > C > 114-138
Lecture Notes in Computer Science > Formal Approaches to Agent-Based Systems > Verifying Agent’s Mental States > 1-15
Theoretical Computer Science > 2016 > 625 > C > 85-124
Lecture Notes in Computer Science > Artificial Intelligence: Methodology, Systems, and Applications > 62-75
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Abstraction Refinement > 373-388
Lecture Notes in Computer Science > Agent-Oriented Software Engineering III > Modeling, Specification, and Validation > 32-46
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Application of Formal Methods (Poster Session) > 126-138
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Critical Systems > 519-534
Lecture Notes in Computer Science > Intelligent Agents III Agent Theories, Architectures, and Languages > 117-130
Lecture Notes in Computer Science > Intelligent Agents V: Agents Theories, Architectures, and Languages > Theories > 163-176
Lecture Notes in Computer Science
Automated Software Engineering > 2014 > 21 > 2 > 225-285
Theoretical Computer Science > 2013 > 493 > Complete > 116-138
Future Generation Computer Systems > 2013 > 29 > 3 > 843-862