Scientific publications
2018
- Developing self-similar hybrid control architecture based on sgam-based methodology for distributed microgrids In 2018. Details BIB
- Early Take-Over Preparation in Stereoscopic 3D In Adjunct Proceedings of the 10th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, pages 142–146, 2018. ACM. Details URL DOI BIB
- Effect-dependent transformations for concurrent programs Sci. Comput. Program., 155():27–51, 2018. Details URL DOI BIB
- Enable Co-Simulation for Industrial Automation by an FMU Exporter for IEC 61499 Models In IEEE 16th International Conference of Industrial Informatics (INDIN), 2018. Details BIB
- Evidential and Continuous Integration of Software Verification Tools In Formal Methods, pages 679-685, Cham, 2018. Springer International Publishing. Details BIB
- Formal Analysis of Sneak-Peek: A Data Centre Attack and its Mitigations In 33rd IFIP TC-11 SEC 2018 International Conference on Information Security and Privacy Protection (IFIPSEC 2018) - Poznan, Poland, 2018. Details BIB
- Full contract verification for ATL using symbolic execution Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB
- Highway Sensor System as Enabler for Autonomous Driving In volume CHI 2018 Workshop - Interacting with Autonomous Vehicles: Learning from other Domains(2018), 2018. Details BIB
- Incorporating negative information to process discovery of complex systems Inf. Sci., 422():480–496, 2018. Details DOI BIB
- Modular Fault Ascription and Corrective Maintenance Using a Digital Twin IFAC-PapersOnLine, 51(11):1041–1046, 2018. Details BIB
- On the accuracy of formal verification of selective defenses for TDoS attacks J. Log. Algebr. Meth. Program., 94():45–67, 2018. Details URL DOI BIB
- Proof-Relevant Logical Relations for Name Generation Accepted to Logical Methods in Computer Science, ():, 2018. Details BIB
- Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry In Proceedings of the 37th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2018), volume 11093 of Lecture Notes in Computer Science, pages 157–171, 2018. Springer. Details DOI BIB
- Statistical Model Checking of Guessing and Timing Attacks on Distance-bounding Protocols. In "Workshop on Foundations of Computer Security", 2018. Details BIB
- Subexponentials in non-commutative linear logic Mathematical Structures in Computer Science, ():, 2018. Details URL DOI BIB
- The Smile is The New Like: Controlling Music with Facial Expressions to Minimize Driver Distraction In Proceedings of the 17th International Conference on Mobile and Ubiquitous Multimedia, 2018. ACM. Details URL DOI BIB
- Towards a Mathematical Understanding of the Difficulty in Learning with Feedforward Neural Networks Proceedings of the 31st IEEE Conference on Computer Vision and Pattern Recognition (CVPR), ():811–820, 2018. Details BIB
- Which barriers hinder a successful digital transformation in small and medium-sized municipalities in a federal system? In Proceedings of the Central and Eastern European e|Dem and e|Gov Days 2018, 2018. Hendrik Hansen; Robert Müller-Török; Andr{'a}s Nemeslaki; Alexander Prosser; Dona Scola; Tam{'a}s Sz{'a}deczky. Details DOI BIB
2017
- Automated Analysis of Multi-View Software Architectures In 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017, pages 725–730, December 2017. Details URL DOI BIB
- Towards Capability-Based Worker Modelling in a Smart Factory In Proceedings of 2017 IEEE International Conference on Industrial Engineering and Engineering Management (IEEM 2017), pages 1576 - 1580, December 2017. IEEE. Details DOI BIB