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)
- 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
- 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)
- 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)
- 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
- 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)
- 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)
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)
- 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
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)
- 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
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- 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
- 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)
- 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)
- 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)
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)
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)
- 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)
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
- 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
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
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
Last update local database Sun May 19 2013 0:18 am; It contains now 9737 items.
Yearly overview:
