Djouvas, Constantinos (rp00236)
Djouvas, Constantinos
Τζιούβας, Κώνσταντίνος
Results 1-7 of 7 (Search time: 0.001 seconds).
Speech Title | Event Name | Invitation Type | Date | Location |
---|---|---|---|---|
Using the Automatic Generation of Automata for Testing (AGATE) to Create State Machines from Traces | Naval Research Lab (NRL) Colloquium | Invited Speaker | 01-01-2006 | |
Automatic Generation of Automata for Testing (AGATE): Creating State Machines from Traces | MIT Colloquium | Invited Speaker | 01-01-2006 | |
Principles and Techniques for Automatic Network Testing | Institut National des Telecommunications (INT) Colloquium | Invited Speaker | 01-01-2006 | |
A View behind the scene: Data Structures and Software Architecture of a VAA | Voting Advice Application Workshop | Invited Speaker | 01-01-2012 | |
Algorithmic tools and their social implications | Commissioner for Children’s Right Public Event | Invited Speaker | 01-01-2019 | |
Implementing a VAA: A View Behind the Scene | Information Systems Science and Engineering Course, Ritsumeikan University, Japan | Guest Lecture | 22-11-2023 | |
Implementing a VAA: A View Behind the Scene | Digital Governance Systems Laboratory Workshop on VAAs | Invited Speaker | 08-01-2025 | Osaka, Japan |