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