Publications by Dilian Gurov
Peer reviewed
Articles
[1]
D. Gurov, V. Goranko and E. Lundberg, "Knowledge-based strategies for multi-agent teams playing against Nature," Artificial Intelligence, vol. 309, pp. 103728, 2022.
[2]
W. Oortwijn, D. Gurov and M. Huisman, "An Abstraction Technique for Verifying Shared-Memory Concurrency," Applied Sciences, vol. 10, no. 11, 2020.
[3]
P. de C. Gomes et al., "Specification and verification of synchronization with condition variables," Science of Computer Programming, vol. 163, pp. 174-189, 2018.
[4]
J. Westman et al., "Formal Architecture Modeling of Sequential Non-Recursive C Programs," Science of Computer Programming, vol. 146, pp. 2-27, 2017.
[5]
S. Soleimanifard and D. Gurov, "Algorithmic verification of procedural programs in the presence of code variability," Science of Computer Programming, vol. 127, pp. 76-102, 2016.
[6]
A. Amighi et al., "Provably Correct Control Flow Graphs from Java Bytecode Programs with Exceptions," International Journal on Software Tools for Technology Transfer, vol. 18, no. 6, pp. 653-684, 2016.
[7]
R. Guanciale, D. Gurov and P. Laud, "Business process engineering and secure multiparty computation," Cryptology and Information Security Series, vol. 13, pp. 129-149, 2015.
[8]
D. Gurov and M. Markov, "Self-Correlation and Maximum Independence in Finite Relations," Electronic Proceedings in Theoretical Computer Science, no. 191, pp. 60-74, 2015.
[9]
S. Soleimanifard, D. Gurov and M. Huisman, "Procedure-Modular Specification and Verification of Temporal Safety Properties," Software & Systems Modeling, 2013.
[10]
D. Gurov and M. Huisman, "Reducing behavioural to structural properties of programs with procedures," Theoretical Computer Science, vol. 480, pp. 69-103, 2013.
[11]
M. Huisman and D. Gurov, "Composing Modal Properties of Programs with Procedures," Electronic Notes in Theoretical Computer Science, vol. 203, no. 7, pp. 87-101, 2009.
[12]
I. Aktug, M. Dam and D. Gurov, "Provably Correct Runtime Monitoring," Journal of Logic and Algebraic Programming, vol. 78, no. 5, pp. 304-339, 2009.
[13]
D. Gurov, M. Huisman and C. Sprenger, "Compositional verification of sequential programs with procedures," Information and Computation, vol. 206, no. 7, pp. 840-868, 2008.
[14]
R. Bakhshi and D. Gurov, "Verification of Peer-to-peer Algorithms: A Case Study," Electronic Notes in Theoretical Computer Science, vol. 181, no. 1, pp. 35-47, 2007.
[15]
M. Dam and D. Gurov, "mu-calculus with explicit points and approximations," Journal of logic and computation (Print), vol. 12, no. 2, pp. 255-269, 2002.
Conference papers
[16]
J. Amilon et al., "Automatic Program Instrumentation for Automatic Verification," in Computer Aided Verification : 35th International Conference, CAV 2023, Proceedings, 2023, pp. 281-304.
[17]
C. Lidström and D. Gurov, "Contract Based Embedded Software Design," in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Proceedings, 2023, pp. 77-94.
[18]
R. Bubel et al., "Trace-based Deductive Verification," in Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, 2023, pp. 73-95.
[19]
P. Filipovikj et al., "Bounded Invariant Checking for Stateflow," in Electronic Proceedings in Theoretical Computer Science, EPTCS, 2022, pp. 38-52.
[20]
J. Amilon, C. Lidström and D. Gurov, "Deductive Verification Based Abstraction for Software Model Checking," in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, pp. 7-28.
[21]
D. -. Munoz et al., "Defining categorical reasoning of numerical feature models with feature-wise and variant-wise quality attributes," in 26th ACM International Systems and Software Product Line Conference, SPLC 2022 - Proceedings, 2022, pp. 132-139.
[22]
W. Ahrendt et al., "TriCo—Triple Co-piloting of Implementation, Specification and Tests," in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, pp. 174-187.
[23]
C. Lidström and D. Gurov, "An Abstract Contract Theory for Programs with Procedures," in Fundamental Approaches to Software Engineering (FASE 2021), 2021, pp. 152-171.
[24]
D.-J. Munoz et al., "Category Theory Framework for Variability Models with Non-functional Requirements," in Advanced Information Systems Engineering (Caise 2021), 2021, pp. 397-413.
[25]
M. Eshghie, C. Artho and D. Gurov, "Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning," in Proceedings Of Evaluation And Assessment In Software Engineering (EASE 2021), 2021, pp. 305-312.
[26]
D. Gurov, P. Herber and I. Schaefer, "Automated Verification of Embedded Control Software : Track Introduction," in Leveraging Applications of Formal Methods, Verification and Validation : Applications, 2020, pp. 235-239.
[27]
M. Nyberg, J. Westman and D. Gurov, "Formally Proving Compositionality in Industrial Systems with Informal Specifications," in ISoLA 2020: Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020, pp. 348-365.
[28]
W. Oortwijn, D. Gurov and M. Huisman, "Practical Abstractions for Automated Verification of Shared-Memory Concurrency," in Lect. Notes Comput. Sci. : Verification, Model Checking, and Abstract Interpretation, 2020, pp. 401-425.
[29]
D. Gurov, R. Hähnle and E. Kamburjan, "Who Carries the Burden of Modularity? : Introduction to ISoLA 2020 Track on Modularity and (De-)composition in Verification," in Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles: 9th International Symposium on Leveraging, Proceedings, Part I, 2020, pp. 3-21.
[30]
M. Jocevski et al., "Harmonized Supervision of Degree Project Work," in Scholarship of Teaching and Learning 2019, 2019.
[31]
M. Felderer et al., "Formal methods in industrial practice - Bridging the gap (track summary)," in 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, 2018, pp. 77-81.
[32]
M. Nyberg et al., "Formal verification in automotive industry : Enablers and obstacles," in 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, 2018, pp. 139-158.
[33]
W. Oortwijn et al., "An Abstraction Technique for Describing Concurrent Program Behaviour," in 9th International Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, 2017, pp. 191-209.
[34]
D. Gurov et al., "Deductive Functional Verification of Safety-Critical Embedded C-Code: An Experience Report," in Critical Systems: Formal Methods and Automated Verification, 2017, pp. 3-18.
[35]
P. De Carvalho Gomes, D. Gurov and M. Huisman, "Specification and verification of synchronization with condition variables," in 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, 2017, pp. 3-19.
[36]
D. Gurov et al., "Static and Runtime Verification, Competitors or Friends? : (Track Summary)," in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION : FOUNDATIONAL TECHNIQUES, PT I, 2016, pp. 397-401.
[37]
S. Soleimanifard and D. Gurov, "Algorithmic verification of procedural programs in the presence of code variability," in Formal Aspects of Component Software : 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers, 2015, pp. 327-345.
[38]
R. Guanciale and D. Gurov, "Privacy preserving business process fusion," in International Workshops on Business Process Management Workshops, BPM 2014, 2015, pp. 96-101.
[39]
D. Gurov, P. Laud and R. Guanciale, "Privacy preserving business process matching," in 2015 13th Annual Conference on Privacy, Security and Trust, 2015, pp. 36-43.
[40]
R. Guanciale, D. Gurov and P. Laud, "Private intersection of regular languages," in Privacy, Security and Trust (PST), 2014 Twelfth Annual International Conference on, 2014, pp. 112-120.
[41]
P. de Carvalho Gomes, A. Picoco and D. Gurov, "Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs," in Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, 2014, pp. 215-229.
[42]
D. Gurov, B. Østvold and I. Schaefer, "A hierarchical variability model for software product lines," in Leveraging Applications of Formal Methods, Verification, and Validation : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers, 2012, pp. 181-199.
[43]
A. Amighi et al., "Sound Control-Flow Graph Extraction for Java Programs with Exceptions," in Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings, 2012, pp. 33-47.
[44]
M. Huisman and D. Gurov, "CVPP : A Tool Set for Compositional Verification of Control-Flow Safety Properties," in Formal verification of oblect-oriented software, 2011, pp. 107-121.
[45]
S. Soleimanifard, D. Gurov and M. Huisman, "ProMoVer : Modular Verification of Temporal Safety Properties," in Software Engineering and Formal Methods (SEFM) 2011, 2011, pp. 366-381.
[46]
I. Schaefer, D. Gurov and S. Soleimanifard, "Compositional Algorithmic Verification of Software Product Lines," in 9th International Symposium on Formal Methods for Components and Objects, FMCO 2010; Graz; Austria; 29 November-1 December 2010, 2010, pp. 184-203.
[47]
S. Soleimanifard, D. Gurov and M. Huisman, "Procedure-Modular Verification of Control Flow Safety Properties," in Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010.
[48]
D. Gurov and M. Huisman, "Reducing Behavioural to Structural Properties of Programs with Procedures," in VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2009, pp. 136-150.
[49]
M. Huisman, I. Aktug and D. Gurov, "Program Models for Compositional Verification," in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, pp. 147-166.
[50]
I. Aktug, M. Dam and D. Gurov, "Provably correct runtime monitoring (extended abstract)," in Fm 2008: Formal Methods, Proceedings, 2008, pp. 262-277.
[51]
I. Aktug and D. Gurov, "State Space Representation for Verification of Open Systems," in Algebraic Methodology And Software Technology, Proceedings, 2006, pp. 5-20.
[52]
D. Gurov and M. Huisman, "Interface abstraction for compositional verification," in SEFM 2005 : Third IEEE International Conference on Software Engineering and Formal Methods, Proceedings, 2005, pp. 414-423.
[53]
I. Aktug and D. Gurov, "Towards State Space Exploration Based Verification of Open Systems," in 4th International Workshop on Automated Verification of Infinite-State Systems (AVIS’05), April 2005, Edinburgh, Scotland, 2005.
[54]
J. Borgström et al., "Verifying a structured peer-to-peer overlay network : The static case," in GLOBAL COMPUTING, 2005, pp. 250-265.
[55]
M. Huisman et al., "Checking absence of illicit applet interactions : A case study," in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2004, pp. 84-98.
[56]
C. Sprenger, D. Gurov and M. Huisman, "Compositional verification for secure loading of smart card applets," in SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, pp. 211-222.
Chapters in books
[57]
D. Gurov, C. Lidström and P. Rümmer, "Alice in Wineland : A Fairy Tale with Contracts," in The Logic of Software. A Tasting Menu of Formal Methods, : Springer Nature, 2022, pp. 229-242.
[58]
A. Alshnakat et al., "Constraint-Based Contract Inference for Deductive Verification," in Deductive Software Verification : Future Perspectives, : Springer Nature, 2020, pp. 149-176.
Non-peer reviewed
Chapters in books
[59]
J. Amilon et al., "An Exercise in Mind Reading: Automatic Contract Inference for Frama-C," in Guide to Software Verification with Frama-C: Core Components, Usages, and Applications, : Springer Nature, 2024.
[60]
D. Gurov and J. Westman, "A Hoare Logic Contract Theory : An Exercise in Denotational Semantics," in Principled Software Development : Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, : Springer Nature, 2018, pp. 119-127.
Reports
[61]
P. de Carvalho Gomes, D. Gurov and M. Huisman, "Algorithmic Verification of Synchronization with Condition Variables," , 2015.
[62]
A. Amighi et al., "Provably Correct Control-Flow Graphs from Java Programs with Exceptions," KTH Royal Institute of Technology and University of Twente, 2012.
[63]
P. de Carvalho Gomes, A. Picoco and D. Gurov, "Sound Extraction of Control-Flow Graphs from open Java Bytecode Systems," , 2012.
Other
[64]
S. Soleimanifard et al., "Model Mining and Efficient Verification of Software Product Lines," (Manuscript).
Latest sync with DiVA:
2024-07-17 11:51:02