From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Experience with Rule-Based Analysis of Spacecraft Logs., и . FTSCS, том 476 из Communications in Computer and Information Science, стр. 1-16. Springer, (2014)Modeling and Monitoring of Hierarchical State Machines in Scala., и . SERENE, том 10479 из Lecture Notes in Computer Science, стр. 21-36. Springer, (2017)Towards a Logic for Inferring Properties of Event Streams., , и . ISoLA (2), том 9953 из Lecture Notes in Computer Science, стр. 394-399. (2016)Toward a theory of maximally concurrent programs (shortened version)., и . PODC, стр. 319-328. ACM, (2000)Comprehension of Spacecraft Telemetry Using Hierarchical Specifications of Behavior., и . ICFEM, том 8829 из Lecture Notes in Computer Science, стр. 187-202. Springer, (2014)Annotation inference for modular checkers., , и . Inf. Process. Lett., 77 (2-4): 97-108 (2001)Model driven code checking., , и . Autom. Softw. Eng., 15 (3-4): 283-297 (2008)Empowering Resource-Constrained IoT Edge Devices: A Hybrid Approach for Edge Data Analysis., , и . IFIPIoT (1), том 683 из IFIP Advances in Information and Communication Technology, стр. 168-181. Springer, (2023)Automated Generation of Resource Configurations through Policies., , , и . POLICY, стр. 107-110. IEEE Computer Society, (2004)Swarm Verification., , и . ASE, стр. 1-6. IEEE Computer Society, (2008)