Publications DISTRINET

2013

Articles in internationally reviewed journals

7 references
  • Bostoen, Tom; Mullender, Sape; Berbers, Yolande. Power-reduction techniques for data-center storage systems, ACM Computing Surveys, volume 45, issue 3, 2013 (Accepted) intranet BibTeX
  • Clarke, Dave; Agha, Gul. Preface to the special issue on Coordination Models and Languages (Coordination 2010), Science of Computer Programming, volume 78, issue 2, pages 145-146, 2013 BibTeX
  • Gui, Ning; De Florio, Vincenzo; Holvoet, Tom. Transformer: an adaptation framework supporting contextual adaptation behavior composition, Software: Practice & Experience, volume 46, issue 6, 2013 (Accepted) PDF BibTeX
  • Gui, Ning; Holvoet, Tom; De Florio, Vincenzo. ATALK: A decentralized agent platform for engineering open and dynamic organizations, The Journal of Systems and Software, 2013 (Submitted) BibTeX
  • Moens, Hendrik; Truyen, Eddy; Walraven, Stefan; Joosen, Wouter; Dhoedt, Bart; De Turck, Filip. Cost-effective feature placement of customizable multi-tenant applications in the cloud, Journal of Network and Systems Management, 2013 DOI intranet BibTeX
  • Philippaerts, Pieter; Mühlberg, Jan Tobias; Penninckx, Willem; Smans, Jan; Jacobs, Bart; Piessens, Frank. Software verification with VeriFast: Industrial case studies, Science of Computer Programming, 2013 (Accepted) DOI PDF BibTeX
  • Philippaerts, Pieter; Younan, Yves; Muylle, Stijn; Piessens, Frank; Lachmund, Sven; Walter, Thomas. CPM: Masking code pointers to prevent code injection attacks, ACM Transactions on Information and System Security, 2013 (Accepted) PDF BibTeX

Top

Article in book, internationally recognised scientific publisher

2 references
  • Cordemans, Piet; Van Landschoot, Sille; Boydens, Jeroen; Steegmans, Eric. Test-Driven Development as a reliable embedded software engineering practice, Khan, Mohammad Ayoub; Saeed, Saqib; Darwish, Ashraf; Abraham, Ajith (eds.), Studies in Computational Intelligence, Springer, 2013 (Accepted) BibTeX
  • Smans, Jan; Jacobs, Bart; Piessens, Frank. VeriFast for Java: A tutorial, Clarke, David; Wrigstad, Tobias; Noble, James (eds.), Lecture Notes in Computer Science, volume 7850, Springer-Verlag, 2013 PDF BibTeX

Top

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

16 references
  • Daniels, Wilfried; Vanbrabant, Bart; Hughes, Danny; Joosen, Wouter. Automated allocation and configuration of dual stack IP networks, ManFI, Ghent, Belgium, 27-31 May 2016, 2013 (Accepted) BibTeX
  • De Ryck, Philippe; Nikiforakis, Nick; Desmet, Lieven; Joosen, Wouter. TabShots: Client-side detection of tabnabbing attacks, Chen, Kefei; Xie, Qi; Qiu, Weidong; Li, Ninghui; Tzeng, Wen-Guy (eds.), ACM SIGSAC Symposium on Information, Computer and Communications Security (AsiaCCS), Hangzhou, China, 8-10 May 2013, Proceedings of the 8th ACM SIGSAC Symposium on Information, Computer and Communications Security (AsiaCCS), pages 447-455 PDF BibTeX
  • Devriese, Dominique; Sergey, Ilya; Clarke, Dave; Piessens, Frank. Fixing idioms: a recursion primitive for Applicative DSLs, Partial Evaluation and Program Manipulation (PEPM 2013), Rome, Italy, 21-22 January 2013, Proceedings of the ACM SIGPLAN 2013 Workshop on Partial Evaluation and Program Manipulation (PEPM 2013), pages 97-106, ACM DOI PDF BibTeX
  • Gey, Fatih; Walraven, Stefan; Van Landuyt, Dimitri; Joosen, Wouter. Building a customizable Business-Process-as-a-Service application with current state-of-practice, Software Composition, Budapest, Hungary, 17-21 June 2013, Springer (Accepted) BibTeX
  • Hughes, Danny; Canete, Edu; Daniels, Wilfried; Ramachandran, Gowri Sankar; Meneghello, James; Matthys, Nelson; Maerien, Jef; Michiels, Sam; Huygens, Christophe; Joosen, Wouter; Wijnants, Maarten; Lamotte, Wim; Hulsmans, Erik; Lannoo, Bart; Moerman, Ingrid. Energy aware software evolution for wireless sensor networks, WoWMoM, Madrid, Spain, 4-7 June, 2013 (Accepted) BibTeX
  • Maerien, Jef; Michiels, Sam; Huygens, Christophe; Hughes, Danny; Joosen, Wouter. Access control in multi-party wireless sensor networks, EWSN, Ghent, 13-15 Februari 2013, Proceedings of the 10th European Conference on Wireless Sensor Networks, Springer-Verlag (Accepted) PDF BibTeX
  • Nikiforakis, Nick; Kapravelos, Alexandros; Joosen, Wouter; Kruegel, Christopher; Piessens, Frank; Vigna, Giovanni. Cookieless monster: Exploring the ecosystem of web-based device fingerprinting, IEEE Security and Privacy, San Francisco, 19-22 May 2013 (Accepted) PDF BibTeX
  • Nikiforakis, Nick; Van Acker, Steven; Meert, Wannes; Desmet, Lieven; Piessens, Frank; Joosen, Wouter. Bitsquatting: Exploiting bit-flips for fun, or profit?, World Wide Web Conference (WWW), Rio De Janeiro, Brazil, 13-17 May 2013 (Accepted) PDF BibTeX
  • Rinaldi, Marco; Chris M.J. Tampère, Chris; Holvoet, Tom. DECOMPOSED ANTICIPATORY MODEL PREDICTIVE CONTROL FOR NETWORK-WIDE RAMP METERING, 2013 BIVEC-GIBET Transport Research Day, Luxembourg, 30-31 May 2013 (Accepted) BibTeX
  • Sayaf, Rula; Rule, James B.; Clarke, Dave. Can users control their data in social software? an ethical analysis of data control approaches, IEEE CS Security and Privacy Workshops, San Francisco, May-2013, IEEE Computer Society Press (Accepted) intranet BibTeX
  • Sergey, Ilya; Devriese, Dominique; Might, Matthew; Midtgaard, Jan; Darais, David; Clarke, Dave; Piessens, Frank. Monadic abstract interpreters, Flanagan, Cormac (ed.), ACM SIGPLAN conference on Programming Language Design and Implementation., Seattle, Washington, USA, 16-22 June 2013, Proceedings of the 34th ACM SIGPLAN Conference on Programming Language Design and Implementation., ACM (Accepted) PDF BibTeX
  • van den Berghe, Alexander; Scandariato, Riccardo; Joosen, Wouter. Towards a systematic literature review on secure software design, Heisel, Maritta; Marchetti, Eda (eds.), ESSoS Doctoral Symposium, Paris (Rocquencourt), France, February 27 - March 1, 2013, Proceedings of the Doctoral Symposium of the International Symposium on Engineering Secure Software and Systems (ESSoS-DS 2013), CEUR-WS PDF BibTeX
  • van den Berghe, Alexander; Van Haaren, Jan; Van Baelen, Stefan; Berbers, Yolande; Joosen, Wouter. Towards an automated pattern selection procedure in software models, Riguzzi, Fabrizio; Železný, Filip (eds.), International conference on inductive logic programming, Dubrovnik, Croatia, 17-19 September 2012, Late Breaking Papers of the 22nd International Conference on Inductive Logic Programming (ILP 2012), pages 68-73, CEUR-WS, 2013 PDF PDF BibTeX
  • van Lon, Rinde; Holvoet, Tom. Evolved multi-agent systems and thorough evaluation are necessary for scalable logistics, 2013 IEEE Symposium on Computational Intelligence in Production and Logistics Systems, Singapore, 15-19 April 2013, Proceedings of the 2013 IEEE Symposium on Computational Intelligence in Production and Logistics Systems (CIPLS 2013), IEEE (Accepted) PDF BibTeX
  • Vanbrabant, Bart; Joosen, Wouter. A framework for integrated configuration management tools, IFIP/IEEE International Symposium on Integrated Network Management, Gent, 27-31 May 2013 (Accepted) PDF BibTeX
  • 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) PDF BibTeX

Top

Meeting abstracts, presented at international conferences and symposia

1 reference
  • Maenhaut, Pieter-Jan; Moens, Hendrik; Verheye, Marino; Verhoeve, Piet; Walraven, Stefan; Truyen, Eddy; Joosen, Wouter; Ongenae, Veerle; De Turck, Filip. Migrating medical communications software to a multi-tenant cloud environment, IFIP/IEEE International Symposium on Integrated Network Management, Ghent, Belgium, 27-31 May 2013 (Accepted) BibTeX

Top

Thesis

2 references
  • Heyman, Thomas. A Formal Analysis Technique for Secure Software Architectures , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, March 2013, Joosen, Wouter (supervisor) , Scandariato, Riccardo (cosupervisor) PDF BibTeX
  • Yskout, Koen. Connecting Security Requirements and Software Architecture with Patterns , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, April 2013, isbn: 978-946-018-652-3, Joosen, Wouter (supervisor) , Scandariato, Riccardo (cosupervisor) PDF BibTeX

Top

Internal reports

2 references
  • Paiva Proenca, Jose; Clarke, Dave. Solving data-sensitive coordination constraints, CW Reports, volume CW637, 14 pages, Dept. Computer Science, KU Leuven, Leuven, Belgium, February 2013 PDF BibTeX
  • Patrignani, Marco; Clarke, Dave; Piessens, Frank. Secure compilation of oject-oriented components to untyped machine code, CW Reports, volume CW630, 42 pages, Department of Computer Science, KU Leuven, Leuven, Belgium, January 2013 PDF BibTeX

Top

Scientific popularisation

1 reference
  • Vandael, Stijn; Claessens, Bert; Holvoet, Tom; Deconinck, Geert. A model-free flexibility management system at KU Leuven and VITO, ERCIM News, Special Theme: Smart Energy Systems, issue 92, pages 28-29, 2013 PDF BibTeX

Top

Misc.

1 reference
  • Boydens, Jeroen; Temmerman, Marijn. FS4ES: Guidelines for the Implementation of Functional Safety in Embedded Software Development, DSP Valley Newsletter, volume 14, issue 2, pages 10-11, April 2013 BibTeX

Top

 
Last update local database Sun May 19 2013 0:18 am; It contains now 9737 items.

Yearly overview:

Select a year to view the distrinet publications for that year.

2013 2012 2011 2010
2009 2008 2007 2006 2005 2004 2003 2002 2001 2000
1999 1998 1997 1996 1995 1994 1993 1992 1991 1990
1989 1988 1987 1986 1985 1984 1983 1982 1981 1980
<1980

 

Search pubs of DISTRINET

Make a selection by author, year, publication type.

Search collection INFORMATICS

Search collection COMPUTER SCIENCE

Bibtexs of this page