Publications of Dries Vanoverberghe

period 2008 - 2013

Articles in internationally reviewed journals

1 reference

• Vanoverberghe, Dries; Piessens, Frank. Security enforcement aware software development, Information and Software Technology, volume 51, issue 7, pages 1172-1189, 2009

  @article{211373,
    author = "Vanoverberghe, Dries and Piessens, Frank",
    title = "Security enforcement aware software development",
    journal = "Information and Software Technology",
    volume = "51",
    number = "7",
    pages = "1172--1189",
    year = "2009",
    doi = "10.1016/j.infsof.2008.01.009",
    url = "https://lirias.kuleuven.be/handle/123456789/211373",
  }
  

Articles in other journals

1 reference

• Desmet, Lieven; Joosen, Wouter; Massacci, Fabio; Philippaerts, Pieter; Piessens, Frank; Siahaan, Ida; Vanoverberghe, Dries. Security-by-contract on the .NET platform, Information Security Technical Report, volume 13, issue 1, pages 25-32, 2008

  @article{183893,
    author = "Desmet, Lieven and Joosen, Wouter and Massacci, Fabio and Philippaerts, Pieter and Piessens, Frank and Siahaan, Ida and Vanoverberghe, Dries",
    title = "Security-by-contract on the .{NET} platform",
    journal = "Information Security Technical Report",
    volume = "13",
    number = "1",
    pages = "25--32",
    month = May,
    year = "2008",
    doi = "10.1016/j.istr.2008.02.001",
    url = "https://lirias.kuleuven.be/handle/123456789/183893",
  }
  

Article in book, internationally recognised scientific publisher

1 reference

• Desmet, Lieven; Joosen, Wouter; Massacci, Fabio; Naliuka, Katsiaryna; Philippaerts, Pieter; Piessens, Frank; Siahaan, Ida; Vanoverberghe, Dries. A security architecture for Web 2.0 applications, Tselentis, Georgios; Domingue, John; Galis, Alex; Gavras, Anastasius; Hausheer, David; Krco, Srdjan; Lotz, Volkmar; Zahariadis, Theodore (eds.), IOS Press, 2009

  @incollection{234035,
    author = "Desmet, Lieven and Joosen, Wouter and Massacci, Fabio and Naliuka, Katsiaryna and Philippaerts, Pieter and Piessens, Frank and Siahaan, Ida and Vanoverberghe, Dries",
    title = "A security architecture for {W}eb 2.0 applications",
    editor = "Tselentis, Georgios and Domingue, John and Galis, Alex and Gavras, Anastasius and Hausheer, David and Krco, Srdjan and Lotz, Volkmar and Zahariadis, Theodore",
    publisher = "IOS Press",
    location = "Amsterdam",
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/234035",
  }
  

Papers at international conferences and symposia, published in full in proceedings

7 references

• Vanoverberghe, Dries; Eyckmans, Emma; Piessens, Frank. State coverage: an empirical analysis based on a user study, van Emde Boas, Peter (ed.), Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 26–31, 2013, Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, Springer Verlag (Accepted)

  @inproceedings{373491,
    author = "Vanoverberghe, Dries and Eyckmans, Emma and Piessens, Frank",
    title = "State coverage: an empirical analysis based on a user study",
    booktitle = "Proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, ",
    editor = "van Emde Boas, Peter",
    publisher = "Springer Verlag",
    month = Jan,
    year = "2013",
    note = "Accepted",
    url = "https://lirias.kuleuven.be/handle/123456789/373491",
  }
  

• Vanoverberghe, Dries; de Halleux, Jonathan; Tillmann, Nikolai; Piessens, Frank. State coverage: Software validation metrics beyond code coverage, Bieliková, Mária; Friedrich, Gerhard; Gottlob, Georg; Katzenbeisser, Stefan; Turán, György (eds.), SOFSEM, Špindlerův Mlýn, Czech Republic, 21-27 January, 2012, Lecture Notes in Computer Science, volume 7147, pages 542-553, Springer

  @inproceedings{347913,
    author = "Vanoverberghe, Dries and de Halleux, Jonathan and Tillmann, Nikolai and Piessens, Frank",
    title = "State coverage: {S}oftware validation metrics beyond code coverage",
    booktitle = "Lecture Notes in Computer Science, ",
    editor = "Bielikov{\'a}, M{\'a}ria and Friedrich, Gerhard and Gottlob, Georg and Katzenbeisser, Stefan and Tur{\'a}n, Gy{\"o}rgy",
    publisher = "Springer",
    pages = "542--553",
    month = Jan,
    year = "2012",
    doi = "10.1007/978-3-642-27660-6\_{}44",
    url = "https://lirias.kuleuven.be/handle/123456789/347913",
  }
  

• Vanoverberghe, Dries; Piessens, Frank. Theoretical aspects of compositional symbolic execution, Giannakopoulou, Dimitra; Orejas, Fernando (eds.), Fundamental Approaches to Software Engineering, Saarbrücken, Germany, 26 March - 3 April, 2011, Fundamental Approaches to Software Engineering (FASE 2011), volume 6603, pages 247-261, Springer

  @inproceedings{291808,
    author = "Vanoverberghe, Dries and Piessens, Frank",
    title = "Theoretical aspects of compositional symbolic execution",
    booktitle = "Fundamental Approaches to Software Engineering (FASE 2011), ",
    editor = "Giannakopoulou, Dimitra and Orejas, Fernando",
    publisher = "Springer",
    location = "Berlin / Heidelberg",
    pages = "247--261",
    month = Mar,
    year = "2011",
    doi = "10.1007/978-3-642-19811-3\_{}18",
    url = "https://lirias.kuleuven.be/handle/123456789/291808",
  }
  

• Desmet, Lieven; Joosen, Wouter; Massacci, Fabio; Katsiaryna, Naliuka; Philippaerts, Pieter; Piessens, Frank; Vanoverberghe, Dries. The S3MS.NET run time monitor: Tool demonstration, Albert, Elvira; Genaim, Samir (eds.), Bytecode, York, 29 March 2009, Electronic Notes in Theoretical Computer Science, volume 253, issue 5, pages 153-159, Springer

  @inproceedings{228741,
    author = "Desmet, Lieven and Joosen, Wouter and Massacci, Fabio and Katsiaryna, Naliuka and Philippaerts, Pieter and Piessens, Frank and Vanoverberghe, Dries",
    title = "The {S}3{MS}.{NET} run time monitor: {T}ool demonstration",
    booktitle = "Electronic Notes in Theoretical Computer Science, ",
    editor = "Albert, Elvira and Genaim, Samir",
    publisher = "Springer",
    pages = "153--159",
    month = Dec,
    year = "2009",
    url = "https://lirias.kuleuven.be/handle/123456789/228741",
  }
  

• Vanoverberghe, Dries; Tillmann, Nikolai; Piessens, Frank. Test input generation for programs with pointers, Kowalewski, Stefan; Philippou, Anna (eds.), Tools and Algorithms for Construction and Analysis of Systems, York, UK, 22-29 March 2009, Tools and Algorithms for the Construction and Analysis of Systems, volume 5505/2009, pages 277-291, Springer

  @inproceedings{243566,
    author = "Vanoverberghe, Dries and Tillmann, Nikolai and Piessens, Frank",
    title = "Test input generation for programs with pointers",
    booktitle = "Tools and Algorithms for the Construction and Analysis of Systems, ",
    editor = "Kowalewski, Stefan and Philippou, Anna",
    publisher = "Springer",
    location = "Berlin",
    pages = "277--291",
    month = Mar,
    year = "2009",
    doi = "10.1007/978-3-642-00768-2\_{}25",
    url = "https://lirias.kuleuven.be/handle/123456789/243566",
  }
  

• Vanoverberghe, Dries; Bjørner, Nikolaj; de Halleux, Jonathan; Schulte, Wolfram; Tillmann, Nikolai. Using dynamic symbolic execution to improve deductive verification, International SPIN Workshop on Model Checking of Software, Los Angeles, USA, 10-12 August 2008, Lecture Notes in Computer Science, volume 5156/2008, pages 9-25, Springer

  @inproceedings{211397,
    author = "Vanoverberghe, Dries and Bj{\o}rner, Nikolaj and de Halleux, Jonathan and Schulte, Wolfram and Tillmann, Nikolai",
    title = "Using dynamic symbolic execution to improve deductive verification",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "9--25",
    month = Aug,
    year = "2008",
    doi = "10.1007/978-3-540-85114-1",
    url = "https://lirias.kuleuven.be/handle/123456789/211397",
  }
  

• Vanoverberghe, Dries; Piessens, Frank. A caller-side inline reference monitor for an Object-Oriented intermediate language, Formal Methods for Open Object-based Distributed Systems, Oslo, Norway, 4-6 June 2008, Lecture Notes in Computer Science, volume 5051/2008, pages 240-258, Springer

  @inproceedings{211390,
    author = "Vanoverberghe, Dries and Piessens, Frank",
    title = "A caller-side inline reference monitor for an {O}bject-{O}riented intermediate language",
    booktitle = "Lecture Notes in Computer Science, ",
    publisher = "Springer",
    pages = "240--258",
    month = Jun,
    year = "2008",
    doi = "10.1007/978-3-540-68863-1",
    url = "https://lirias.kuleuven.be/handle/123456789/211390",
  }
  

Thesis

1 reference

• Vanoverberghe, Dries. New Techniques for Symbolic Execution and State Coverage , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, May 2011, Piessens, Frank and Joosen, Wouter (supervisors)

  @phdthesis{307495,
    author = "Vanoverberghe, Dries",
    title = "New {T}echniques for {S}ymbolic {E}xecution and {S}tate {C}overage ",
    school = "Informatics Section, Department of Computer Science, Faculty of Engineering Science",
    month = May,
    year = "2011",
    note = "Piessens, Frank and Joosen, Wouter (supervisors)",
    url = "https://lirias.kuleuven.be/handle/123456789/307495",
  }
  

Internal reports

3 references

• Vanoverberghe, Dries; de Halleux, Jonathan; Tillmann, Nikolai; Piessens, Frank. State Coverage: Software validation metrics beyond Code Coverage - Extended Version, CW Reports, volume CW610, 15 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2011

  @techreport{320401,
    author = "Vanoverberghe, Dries and de Halleux, Jonathan and Tillmann, Nikolai and Piessens, Frank",
    title = "State {C}overage: {S}oftware validation metrics beyond {C}ode {C}overage - {E}xtended {V}ersion",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW610",
    month = Oct,
    year = "2011",
    url = "https://lirias.kuleuven.be/handle/123456789/320401",
  }
  

• Vanoverberghe, Dries; Piessens, Frank. Precise and progressing compositional symbolic execution, CW Reports, volume CW582, 22 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2010

  @techreport{267544,
    author = "Vanoverberghe, Dries and Piessens, Frank",
    title = "Precise and progressing compositional symbolic execution",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW582",
    month = Apr,
    year = "2010",
    url = "https://lirias.kuleuven.be/handle/123456789/267544",
  }
  

• Vanoverberghe, Dries; Piessens, Frank. A caller-side inline reference monitor for object-oriented intermediate language: extended version, CW Reports, volume CW512, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2008

  @techreport{197788,
    author = "Vanoverberghe, Dries and Piessens, Frank",
    title = "A caller-side inline reference monitor for object-oriented intermediate language: extended version",
    institution = "Department of Computer Science, K.U.Leuven",
    location = "Leuven, Belgium",
    type = "CW Reports",
    number = "CW512",
    month = Mar,
    year = "2008",
    url = "https://lirias.kuleuven.be/handle/123456789/197788",
  }
  

No publications found for the period 2008-2013 and the types

• Books, internationally recognised scientific publisher; as author
• Other published books; as author
• Books, internationally recognised scientific publisher; as editor
• Other published books; as editor
• Article in other published book
• Papers at other conferences and symposia, published in full in proceedings
• Meeting abstracts, presented at international conferences and symposia
• Meeting abstracts, presented at other conferences and symposia
• Review
• Translation without scientific introduction
• Scientific popularisation
• Misc.
• External reports

 
Last update local database Sun Jun 16 2013 0:17 am; It contains 17 publications of Dries Vanoverberghe.