共 50 条
- [31] How to use IMS-LD to support eLearning in an effective way (Invited Talk) 2012 INTERNATIONAL SYMPOSIUM ON COMPUTERS IN EDUCATION (SIIE), 2012,
- [32] Bounded STL Model Checking for Hybrid Systems (Invited Talk) PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2023, 2023, : 1 - 1
- [33] THz Communications on the Way towards its Application on 6G (Invited Plenary Talk) 2023 48TH INTERNATIONAL CONFERENCE ON INFRARED, MILLIMETER, AND TERAHERTZ WAVES, IRMMW-THZ, 2023,
- [34] Some strategies for proving theorems with a model checker abstract of invited talk 15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 305 - 306
- [36] Operator-driven peer-to-peer service platform for mobile environments - (Invited talk) Fifth Annual IEEE International Conference on Pervasive Computing and Communications Workshops, Proceedings, 2007, : 98 - 98
- [38] Invited Talk: Emerging Role of Digital Assistant in Augmented Reality Driven Human-City Interaction 2020 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS (PERCOM WORKSHOPS), 2020,
- [39] From Requirements to Code in a Model Driven Way ADVANCES IN DATABASES AND INFORMATION SYSTEMS, 2010, 5968 : 161 - 168
- [40] Keynote: 10 Years Model-Driven-What Did We Achieve? 2011 2ND EASTERN EUROPEAN REGIONAL CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS-EERC), 2011, : 1 - 1