Search results for: Marco Faella
Information and Computation > 2017 > 257 > C > 114-138
Lecture Notes in Computer Science > Computer Security – ESORICS 2011 > Usability, Ttrust, and Economics of Security and Privacy > 472-488
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Model Checking > 77-92
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 307-318
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Timed Systems and Games > 94-108
Lecture Notes in Computer Science > Computational Logic in Multi-Agent Systems > Regular Papers > 171-185
Lecture Notes in Computer Science > Automata, Languages and Programming > Probabilistic Systems > 1038-1053
Lecture Notes in Computer Science > Computer Aided Verification > Session III: Timed Synthesis and Games > 108-120
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 192-211
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 97-109
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 149-161
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Times Games and Synthesis > 65-80
Theoretical Computer Science > 2014 > 515 > Complete > 46-63
Theoretical Computer Science > 2013 > 493 > Complete > 116-138
Formal Methods in System Design > 2013 > 42 > 2 > 146-174