Publications DISTRINET
2010
Articles in internationally reviewed journals
16 references- Boucké, Nelis;
Weyns, Danny;
Holvoet, Tom.
Composition of architectural models: Empirical analysis and language support, The Journal of Systems and Software, volume 83, issue 11, pages 2108-2127, 2010
- Dam, Mads;
Jacobs, Bart;
Lundblad, Andreas;
Piessens, Frank.
Provably correct inline monitoring for multithreaded Java-like programs, Journal of Computer Security, volume 18, issue 1, pages 37-59, 2010
- Hughes, Danny;
Lee, Kevin;
Horré, Wouter;
Michiels, Sam;
Man, Ka Lok;
Joosen, Wouter.
A graph based approach to supporting software reconfiguration in distributed sensor network applications, Journal of Internet Technology, pages 561-571, 2010
- Hughes, Danny;
Thoelen, Klaas;
Horré, Wouter;
Matthys, Nelson;
del Cid Garcia, Pedro Javier;
Michiels, Sam;
Huygens, Christophe;
Joosen, Wouter;
Ueyama, Jo.
Building wireless sensor network applications with LooCI, International Journal of Mobile Computing and Multimedia Communications, volume 2, issue 4, pages 38-64, 2010
- Huygens, Christophe;
Hughes, Danny;
Lagaisse, Bert;
Joosen, Wouter.
Streamlining development for Networked Embedded Systems using multiple paradigms, IEEE Software, volume 27, issue 5, pages 45-52, 2010
- Lapon, Jorn;
Naessens, Vincent;
Verdegem, Bram;
Verhaeghe, Pieter;
De Decker, Bart.
Building advanced applications with the Belgian eID, Security and Communication Networks, volume 3, issue 5, pages 439-451, 2010
- Preuveneers, Davy;
Berbers, Yolande.
Context-driven migration and diffusion of pervasive services on the OSGi framework, International Journal of Autonomous and Adaptive Communications Systems, volume 3, issue 1, pages 3-22, 2010
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank;
Schulte, Wolfram.
Automatic verification of Java programs with dynamic frames, Formal Aspects of Computing, volume 22, issue 3-4, pages 423-457, 2010
- Song, Hengjie;
Miao, Chunyan;
Wuyts, Roel;
Shen, Zhiqi;
Catthoor, Francky.
Implementation of fuzzy cognitive maps based on fuzzy neural network and application in prediction of time series, IEEE Transactions on Fuzzy Systems, volume 18, issue 2, pages 233-250, 2010
- Van Landuyt, Dimitri;
Op de beeck, Steven;
Truyen, Eddy;
Joosen, Wouter.
Domain-driven discovery of stable abstractions for pointcut interfaces, LNCS Transactions on Aspect-Oriented Software Development, volume 9, 2010
- Van Landuyt, Dimitri;
Op de beeck, Steven;
Truyen, Eddy;
Verbaeten, Pierre.
Building a digital publishing platform using AOSD, Experiences and lessons learned, LNCS Transactions on Aspect-Oriented Software Development, volume 9, pages 1-34, 2010
- Van Landuyt, Dimitri;
Truyen, Eddy;
Joosen, Wouter.
Discovery of stable abstractions for aspect-oriented composition in the car crash management domain, LNCS Transactions on Aspect-Oriented Software Development, 2010
- Vanrompay, Yves;
Smits, Tim;
Berbers, Yolande.
Efficient adaptation decision making algorithms for context-aware applications, International Journal of Adaptive, Resilient, and Autonomic Systems, volume 1, issue 3, pages 42-58, 2010
- Weyns, Danny;
Haesevoets, Robrecht;
Helleboogh, Alexander.
The MACODO organization model for context-driven dynamic agent organzations, ACM Transactions on Autonomous and Adaptive Systems, volume 5, issue 4, pages 16:1-16:29, 2010
- Weyns, Danny;
Haesevoets, Robrecht;
Helleboogh, Alexander;
Holvoet, Tom;
Joosen, Wouter.
The MACODO middleware for context-driven dynamic agent organzations, ACM Transactions on Autonomous and Adaptive Systems, volume 5, issue 1, pages 3.1-3.29, 2010
- Younan, Yves;
Joosen, Wouter;
Piessens, Frank;
Van den Eynden, Hans.
Improving memory management security for C and C++, International Journal of Secure Software Engineering, volume 1, issue 2, pages 57-82, 2010
Books, internationally recognised scientific publisher; as author
2 references- Preuveneers, Davy.
Context-aware adaptation for Ambient Intelligence, Concepts, methods and applications, 200 pages, LAP Lambert Academic Publishing, Saarbrücken, Germany, 2010, isbn 978-383-834-477-5
- Weyns, Danny.
Architecture-based design of multi-agent systems, 224 pages, Springer, 2010, isbn 978-364-201-063-7
Books, internationally recognised scientific publisher; as editor
5 references- Clarke, Dave;
Agha, Gul (eds.),
Coordination models and languages, Coordination, Amsterdam, The Netherlands, 7-9 June 2010, Lecture Notes in Computer Science, volume 6116, 182 pages, Springer, 2010, isbn 978-364-213-413-5
- De Decker, Bart;
Schaumüller, Ingrid (eds.),
Communications and multimedia security, CMS2010, Linz, Autria, 31 May - 2 June, Lecture Notes in Computer Science, LNCS (1st ed.), volume 6109, 290 pages, Springer, Berlin, Germany, 2010, isbn 364-213-240-5
- Lahire, Philippe;
Georg, Geri;
Oussalah, Mourad;
Whittle, Jon;
Moha, Naouel;
Van Baelen, Stefan (eds.),
First international workshop on composition: objects, aspects, components, services and prduct lines (Compostion & Variability 2010), International conference on aspect-oriented software development (AOSD.10), Rennes & Saint Malo, 15-19 March 2010, CEUR Workshop Proceedings, volume 564, 63 pages, CEUR, Aachen, Germany, 2010
- Van Baelen, Stefan;
Ober, Ileana;
Espinoza, Huascar;
Weigert, Thomas;
Ober, Iulian;
Gérard, Sébastien (eds.),
Third international workshop on model based architecting and construction of embedded systems (ACES-MB 2010), International conference on model driven engineering languages and systems (MoDELS 2010), Oslo, Norway, 3-8 October 2010, CEUR Workshop Proceedings, volume 644, 129 pages, CEUR, Aachen, Germany, 2010
- Weyns, Danny;
Malek, Sam;
de Lemos, Rogerio;
Andersson, Jesper (eds.),
Self-organizing architectures, SOAR, Cambridge, UK, 14 September 2009, Lecture Notes in Computer Science, volume 6090, Springer, 2010, isbn 978-364-214-411-0
Article in book, internationally recognised scientific publisher
6 references- Carrillo-Ramos, Angela;
Kirsch Pinheiro, Manuele;
Villanova-Oliver, Marlène;
Gensel, Jérôme;
Berbers, Yolande.
Context-Aware Adaptation in Web-Based Groupware Systems, Chevalier, Max; Soule-Dupuy, Chantal; Julien, Christine (eds.), IGI Global, 2010
- De Labey, Sven;
Boydens, Jeroen;
Steegmans, Eric.
Language support for service interactions in service-oriented architecture, Maciaszek, Leszek; Gonzalez-Perez, Cesar; Jablonski, Stefan (eds.), Communications in Computer and Information Science, volume 69, Springer-Verlag, 2010
- Erlingsson, Ulfar;
Younan, Yves;
Piessens, Frank.
Low-level software security by example, Stavroulakis, Peter; Stamp, Mark (eds.), Springer, 2010
- Huygens, Christophe;
Matthys, Nelson;
Joosen, Wouter.
Optimized resource access control in shared sensor networks, Schmidt, A.U.; Lioy, A.; Russello, G.; Prasad, N.R.; Lian, S (eds.), International ICST Conference, MobiSec, Catana, Italy, 28-29 May 2010, Springer Berlin
- Muhammad, Naeem;
Vandewoude, Yves;
Berbers, Yolande;
van Loo, Sjir.
Modelling embedded systems with AADL: A practical study, Lazinica, Aleksandar (ed.), INTECH, 2010
- Naessens, Vincent;
De Decker, Bart.
Extending the scope of eID technology, Threats and opportunities in a commercial setting, Cruz-Cuncha, Maria Manuela; Moreira, Fernando (eds.), IGI Global, 2010
Article in other published book
1 reference- Yasar, Ansar-Ul-Haque;
Preuveneers, Davy;
Berbers, Yolande.
Modelling and simulating large scale vehicular networks for smart context-aware telematic applications, IN-TECH Publishers, 2010
Papers at international conferences and symposia, published in full in proceedings
73 references- Andersson, Jesper;
de Lemos, Rogerio;
Malek, Sam;
Weyns, Danny.
Modeling dimensions of self-adaptive software systems, Software Engineering for Adaptive and Self-Managing Systems, Dagstuhl Seminar, 13-18 January 2009, Lecture Notes in Computer Science, volume 5525, pages 27-47, Springer, 2010
- Boydens, Jeroen;
Cordemans, Piet;
Steegmans, Eric.
Test-Driven Development of Embedded Software, De Strycker, Lieven; Van Nieuwenhuyse, Anneleen (eds.), ECUMICT, Ghent, Belgium, 25-26 March 2010, Proceedings of the Fourth European Conference on the Use of Modern Information and Communication Technologies, pages 117-128, Nevelland vzw
- Claes, Rutger;
Holvoet, Tom.
Maintaining a distributed symbiotic relationship using delegate multiagent systems, Johansson, B.; Jain, S.; Montoya-Torres, J.; Hugan, J.; Yücesan, E (eds.), Winter Simulation Conference, Baltimore, 5-8 December 2010, Proceedings of the 2010 Winter Simulation Conference, pages 2981-2990
- Claes, Rutger;
Holvoet, Tom;
Van Gompel, Jelle.
Coordination in hierarchical pickup and delivery problems using delegate multi-agent systems, Workshop on Artificial Transportation Systems and Simulation, Madeira Island, Portugal, 19 September 2010, Proceedings of the 4th Workshop on Artificial Transportation Systems and Simulation, pages 1-7
- Clarke, Dave;
Helvensteijn, Michiel;
Schaefer, Ina.
Abstract delta modeling, GPCE, Eindhoven, NL, 10-13 October 2010, Proceedings of the Ninth International Conference on Generative Programming and Component Engineering, pages 13-22, ACM
- Clarke, Dave;
Johnsen, Einar Broch;
Owe, Olaf.
Concurrent objects à la carte, Dams, Dennis; Hannemann, Ulrich; Steffen, Martin (eds.), Concurrency, Compositionality, and Correctness Essays in Honor of Willem-Paul de Roever, Kiel, Germany, 3-6 July 2008, Lecture Notes in Computer Science, volume 5930, Springer, 2010
- Clarke, Dave;
Muschevici, Radu;
Proenca, Jose;
Schaefer, Ina;
Schlatte, Rudolf.
Variability modelling in the ABS language, Aichernig, B.K.; de Boer, F.S.; Bonsangue, M.M (eds.), Formal methods for components and objects, Graz, Austria, 29 November - 1 December 2010, 9th International Symposium on Formal Methods for Components and Objects (FMCO), volume 6957, Springer-Verlag
- Coopman, Thomas;
Theetaert, Wouter;
Preuveneers, Davy;
Berbers, Yolande.
A user-oriented and context-aware service orchestration framework for dynamic home automation systems, Augusto, Juan Carlos; Corchado, Juan M.; Novais, Paulo; Analide, Cesar (eds.), International Symposium on Ambient Intelligence (ISAmI 2010), Portugal, 16-18 June 2010, Ambient Intelligence and Future Trends - International Symposium on Ambient Intelligence (ISAmI 2010). Advances in Intelligent and Soft Computing, volume 72, pages 63-70, Springer
- Cordemans, Piet;
Boydens, Jeroen;
Van Landschoot, Sille.
Embedded Test-Driven Development Strategies, Nineteenth International Scientific and Applied Science conference: Electronics-ET, Sozopol, Bulgaria, 22-24 September 2010, Annual Journal of Electronics, volume 4, pages 76-79
- Corroy, Steven;
Argyriou, Antonios;
Bhatti, Zubair Wadood;
Baldus, Heribert.
A Body-Coupled Communication and Radio Frequency Dual Technology Cooperation Protocol for Body-Area Networks, ICC'10 Workshop on Medical Applications Networking, Cape Town, SA, 27 May 2010, IEEE
- Cruz Torres, Mario Henrique;
Nöel, Victor;
Holvoet, Tom;
Arcangeli, Jean-Paul.
MAS organisations to adapt your composite service, International Workshop on Monitoring, Adaptation and Beyond (MONA+), Ayia Napa, Cyprus, 01 December 2010, Proceedings of the 3rd International Workshop on Monitoring, Adaptation and Beyond, pages 33-39, ACM
- De Borger, Wouter;
De Win, Bart;
Lagaisse, Bert;
Joosen, Wouter.
A permission system for secure AOP, International Conference on Aspect-Oriented Software Development, Rennes and St-Malo, 9-15 March 2010, Proceedings of the 9th International Conference on Aspect-Oriented Software Development, pages 205-216, ACM (Accepted)
- De Ryck, Philippe;
Desmet, Lieven;
Heyman, Thomas;
Piessens, Frank;
Joosen, Wouter.
CsFire: Transparent client-side mitigation of malicious cross-domain requests, Massacci, Fabio; Wallach, Dan; Zannone, Nicola (eds.), Engineering Secure Software and Systems, Pisa, Italy, 3-4 February 2010, Lecture Notes in Computer Science, volume 5965, pages 18-34, Springer Berlin / Heidelberg
- del Cid Garcia, Pedro Javier;
Hughes, Danny;
Michiels, Sam;
Joosen, Wouter.
Middleware for resource sharing in multi-purpose wireless sensor networks, IEEE International Conference on Networked Embedded Systems for Enterprise Applications, Suzhou, China, 25-26, Nov, 2010, Proceedings of the 1st IEEE International Conference on Networked Embedded Systems for Enterprise Applications., volume 1, issue 1, pages 20-28, IEEE
- del Cid Garcia, Pedro Javier;
Hughes, Danny;
Michiels, Sam;
Joosen, Wouter.
Expressing and configuring quality of data in multi-purpose wireless sensor networks, The International ICST conference on Sensor Systems and Software, miami, USA, 13-14 Dec, 2010
- del Cid Garcia, Pedro Javier;
Matthys, Nelson;
Michiels, Sam;
Joosen, Wouter.
Supporting quality of service in a multi-tiered wireless sensor network architecture, Cyber-physical Systems, Stockholm, sweden, 12-16 april 2010, Proceesings of The First International Workshop on Networks of Cooperating Objects
- Delaet, Thomas;
Joosen, Wouter;
Vanbrabant, Bart.
A survey of system configuration tools, Large Installations Systems Administration (LISA) conference edition, San Jose, CA, USA, 7-12 November 2010, Proceedings of the 23rd Large Installations Systems Administration (LISA) Conference, pages 1-14, Usenix association
- Devriese, Dominique;
Piessens, Frank.
Non-interference through secure multi-execution, IEEE Symposium on Security and Privacy 2010, Oakland, California, US, 16-19 May 2010, 2010 IEEE Symposium on Security and Privacy Proceedings, issue 2010, pages 109-124, IEEE Computer Society
- Gadaleta, Francesco;
Younan, Yves;
Joosen, Wouter.
Bubble: a Javascript engine level countermeasure against heap-spraying attacks, Massacci, Fabio; Wallach, Dan; Zannone, Nicola (eds.), ESSoS, Pisa, 3-4 February 2010, Springer Berlin / Heidelberg
- Geebelen, Kristof;
Kulikowski, Eryk;
Truyen, Eddy;
Joosen, Wouter.
A MVC framework for policy-based adaptation of workflow processes: A case study on confidentiality, 2010 IEEE International Conference on Web Services, Miami, Florida, 5-10 July 2010, Proceedings of the 8th International Conference on Web Services (ICWS'10), pages 401-408, IEEE Computer Society
- Haesevoets, Robrecht;
Truyen, Eddy;
Holvoet, Tom;
Joosen, Wouter.
Weaving the fabric of the control loop through aspects, Weyns, Danny; Malek, Sam; de Lemos, Rogério; Andersson, Jesper (eds.), SOAR, Cambridge, UK, September 2009, Self-Organizing Architectures, volume 6090, pages 38-65, Springer-Verlag, 2010
- Heirman, Wim;
Stroobandt, Dirk;
Miniskar, Narasinga Rao;
Wuyts, Roel;
Catthoor, Francky.
PinComm: characterizing intra-application communication for the many-core era, 16th International Conference on Parallel and Distributed Systems - ICPADS, Shanghai China, 8-dec-2010, Proceedings of the 16th International Conference on Parallel and Distributed Systems - ICPADS, pages 500-508
- Heyman, Thomas;
Scandariato, Riccardo;
Joosen, Wouter.
Security in context: analysis and refinement of software architectures, Annual IEEE Computer Software and Applications Conference, Seoul, Republic of Korea, 19-23 July 2010
- Horré, Wouter;
Hughes, Danny;
Michiels, Sam;
Joosen, Wouter.
QARI: Quality aware software deployment for wireless sensor networks, Information Technology: New Generations (ITNG), Las Vegas, NV, USA, 12-14 April 2010, Proceedings of the Seventh International Conference on Information Technology: New Generations (ITNG 2010), pages 642-647
- Hovsepyan, Aram;
Scandariato, Riccardo;
Van Baelen, Stefan;
Berbers, Yolande;
Joosen, Wouter.
From aspect-oriented models to aspect-oriented code? The maintenance perspective, International conference on aspect-oriented software development (AOSD.10), Rennes and Saint-Malo, France, 15-19 March 2010, International Conference on Aspect-oriented Software Development (AOSD.10), pages 1-12, ACM
- Hovsepyan, Aram;
Van Baelen, Stefan;
Scandariato, Riccardo;
Joosen, Wouter;
Demeyer, Serge.
An experimental design for evaluating the maintainability of aspect-oriented models enhanced with domain-specific constructs, Cazzola, Walter; Gray, Jeff; Kienzle, Joerg; Stein, Dominik (eds.), International conference on model driven engineering languages and systems (MODELS 2010), Oslo, Norway, 3-8 October 2010, Fifteenth International Workshop on Aspect-oriented Modeling (AOM@MoDELS 2010), pages 1-6
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
A quick tour of the VeriFast program verifier, Asian Symposium on Programming Languages and Systems, Shanghai, China, 28 November - 1 December 2010, Programming Languages and Systems (APLAS 2010), pages 304-311, Springer-Verlag
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
VeriFast: Imperative Programs as Proofs, VSTTE workshop on Tools & Experiments, Edinburgh, Scotland, 19 August 2010, VSTTE Workshop on Tools & Experiments
- Jouault, Frédéric;
Vanhooff, Bert;
Bruneliere, Hugo;
Doux, Guillaume;
Berbers, Yolande.
Inter-DSL coordination support by combining megamodeling and model weaving, Symposium On Applied Computing, Sierre, Switzerland, 22 - 26 March, 2010, pages 2011-2018, ACM
- Kcomt Ché, Natalie;
Pardons, Niels;
Vanrompay, Yves;
Preuveneers, Davy;
Berbers, Yolande.
An intelligent domotics system to automate user actions, Augusto, Juan Carlos; Corchado, Juan M.; Novais, Paulo; Analide, Cesar (eds.), International Symposium on Ambient Intelligence (ISAmI 2010), 16-18 June 2010, Ambient Intelligence and Future Trends - International Symposium on Ambient Intelligence (ISAmI 2010). Advances in Intelligent and Soft Computing, volume 72, pages 201-204, Springer
- Lapon, Jorn;
Kohlweiss, Markulf;
De Decker, Bart;
Naessens, Vincent.
Performance analysis of accumulator-based revocation mechanisms, International Information Security Conference (SEC 2010): Security & Privacy − Silver Linings in the Cloud, Brisbane, 2010, Security and Privacy – Silver Linings in the Cloud, volume 330, pages 289-301, Springer
- Leino, K. Rustan M.;
Müller, Peter;
Smans, Jan.
Deadlock-free channels and locks, Gordon, Andrew (ed.), European Symposium on Programming, Paphos, Cyprus, March 22-26, 2010, 19th European Symposium on Programming, volume 6012, pages 407-426, Springer-Verlag
- Maerien, Jef;
Michiels, Sam;
Huygens, Christophe;
Joosen, Wouter.
MASY: Management of secret keys in federated wireless sensor networks, Wimob 2010, Niagara Falls, Canada, 11-13 October 2010, Wireless and Mobile Computing, Networking and Communications, IEEE Computer Society
- Maerien, Jef;
Michiels, Sam;
Van Baelen, Stefan;
Huygens, Christophe;
Joosen, Wouter.
A secure multi-application platform for vehicle telematics, Shen, Xuemin (ed.), IEEE vehicular technology conference: (VTC2010-Fall), Ottawa, Canada, 6-9 September 2010, Vehicular Technology Conference, pages 1-5, IEEE
- Mahmud, Nasim;
Aksenov, Petr;
Yasar, Ansar-Ul-Haque;
Preuveneers, Davy;
Luyten, Kris;
Coninx, Karin;
Berbers, Yolande.
Geo-social interaction: Context-aware help in large scale public spaces, de Ruyter, B (ed.), First International Joint Conference on Ambient Intelligence (AmI'10), Malaga, Spain, 10-12 Nov 2010, LNCS, issue 6439, pages 107-116, Springer-Verlag
- Marot, Antoine;
Wuyts, Roel.
Composing aspects with aspects, Aspect-Oriented Software Development, Rennes and St. Malo, France, 15-19 March 2010, Proceedings of the 9th Annual Conference on Aspect-Oriented Software Development (AOSD), pages 157-168, ACM
- Matthys, Nelson;
Afzal, Syed Rehan;
Huygens, Christophe;
Hughes, Danny;
Michiels, Sam;
Joosen, Wouter.
Towards fine-grained and application-centric access control for wireless sensor networks, SAC, Sierre, Switzerland, 22-26 March 2010, Proceedings of the 2010 ACM Symposium on Applied Computing, pages 793-794, ACM
- Matthys, Nelson;
Huygens, Christophe;
Hughes, Danny;
Ueyama, Jo;
Michiels, Sam;
Joosen, Wouter.
Policy-driven tailoring of sensor networks, S-CUBE, Miami, FL, 13-14 December 2010, Sensor Systems and Software, Revised Selected Papers. LNICST, volume 51, Springer
- Michalik, Bartosz;
Weyns, Danny.
Architecture query language framework, Software Product Lines, Jeju Island, South Korea, 13-17 September 2010, Proceedings of 14th International Conference on Software Product Line Conference, volume 2, Lancaster University
- Muhammad, Naeem;
Boucké, Nelis;
Berbers, Yolande.
Model-based enhancement of software performance for precision critical systems, Fourth European Conference on Software Architecture, Copenhagen, Denmark, 23-26 August 2010, Proceedings of the Fourth European Conference on Software Architecture, pages 27-30, ACM
- Muhammad, Naeem;
Boucké, Nelis;
Berbers, Yolande.
Using the parallelism viewpoint to optimize the use of threads in parallelism-intensive software systems, International Conference on Software and Computing Technology (ICSCT 2010), Kunming, China, 18-19 October 2010, In Proceedings of the International Conference on Software and Computing Technology (ICSCT 2010), IEEE
- Muhammad, Naeem;
Boucké, Nelis;
Berbers, Yolande.
A parallelism viewpoint to analyze performance bottlenecks of parallelism-intensive software systems, Central and Eastern European Software Engineering Conference, Moscow, Russia, 13-15 October 2010, Proceedings of the 6th Central and Eastern European Software Engineering Conference, CEE-SECR
- Naessens, Vincent;
Lapon, Jorn;
Verdegem, Bram;
De Decker, Bart.
A comparison of mechanisms for controlled delegation of electronic tickets, De Backer, Luc (ed.), European conference on the use of modern information and communication technologies, Gent, 25-26 March 2010, Proceedings of the Fourth European Conference on the Use of Modern Information and Communication Technologies, volume 4
- Nikiforakis, Nick;
Younan, Yves;
Joosen, Wouter.
HProxy: Client-side detection of SSL stripping attacks, Detection of Intrusions and Malware, and Vulnerability Assesment, Bonn, Germany, 8-9 July 2010, 7th International Conference, DIMVA 2010, volume 6201, pages 200-218, Springer
- Pardons, Niels;
Kcomt Che, Natalie;
Vanrompay, Yves;
Berbers, Yolande.
A self-learning context-aware domotics system to automate user actions, IADIS International Conference Applied Computing 2010, Timisoara, RO, 14-16 Oct. 2010, Proceedings of the IADIS International Conference Applied Computing 2010, pages 1-8
- Paridel, Koosha;
Bainomugisha, Engineer;
Vanrompay, Yves;
Berbers, Yolande;
De Meuter, Wolfgang.
Middleware for the Internet of Things, design goals and challenges, Ben Mokhtar, Sonia; Rouvoy, Romain; Wagner, Michael (eds.), International DisCoTec Workshop on Context-aware Adaptation Mechanisms for Pervasive and Ubiquitous Services (CAMPUS 2010), Amsterdam, 7-11 June 2010, Context-Aware Adaptation Mechanisms for Pervasive and Ubiquitous Services 2010, volume 28, pages 1-6, ECEASST
- Paridel, Koosha;
Vanrompay, Yves;
Berbers, Yolande.
Fadip: Lightweight publish/subscribe for mobile ad hoc networks, Meersman, Robert; Dillon, Tharam; Herrero, Pilar (eds.), Distributed Objects, Middleware, and Applications (DOA'10), Crete, Greece, 26 October 2010, On the Move to Meaningful Internet Systems, OTM 2010, Lecture Notes in Computer Science, volume 6427, pages 798-810, Springer Berlin / Heidelberg
- Preuveneers, Davy;
Berbers, Yolande.
µC-SemPS: Energy-efficient semantic publish/subscribe for battery-powered systems, Ott, Max; Senac, Patrick (eds.), International ICST Conference on Mobile and Ubiquitous Systems (Mobiquitous), Sydney, Australia, 6-9 December 2010, Proceedings CD of the 7th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, pages 1-12, ICST
- Scandariato, Riccardo;
Buyens, Koen;
Joosen, Wouter.
Automated detection of least privilege violations in software architectures, European Conference on Software Architecture, Copenhagen, Denmark, 23-26 August 2010
- Smans, Jan;
Jacobs, Bart;
Piessens, Frank.
Heap-dependent expressions in separation logic, Zucca, Elena; Hatcliff, John (eds.), FMOODS/FORTE, Amsterdam, Netherlands, 7-9 June 2010, Formal Techniques for Distributed Systems, volume 6117, pages 170-185, Springer-Verlag
- Strackx, Raoul;
Piessens, Frank;
Preneel, Bart.
Efficient isolation of trusted subsystems in embedded systems, Jajodia, Sushil; Zhou, Jianying (eds.), International ICST Conference, SecureComm 2010, Singapore, 7-9 September 2010, Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering: Security and Privacy in Communication Networks, volume 50, pages 1-18, Springer
- Strackx, Raoul;
Younan, Yves;
Philippaerts, Pieter;
Piessens, Frank.
Efficient and effective buffer overflow protection on ARM processors, Samarati, Pierangela; Tunstall, Michael; Posegga, Joachim; Markantonakis, Konstantinos; Sauveron, Damien (eds.), Workshop in Information Security Theory and Practice Series, Passau, Germany, 12-14 April 2010, Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices, volume 6033, pages 1-16, Springer
- Thoelen, Klaas;
Michiels, Sam;
Joosen, Wouter.
Middleware for adaptive group communication in wireless sensor networks, Thoelen, Klaas (ed.), S-Cube, Miami, Florida, USA, 13-14 December 2010, Proceedings of the 2nd International ICST Conference on Sensor Systems and Software, pages 59-74, Springer
- Ueyama, Jo;
Hughes, Danny;
Matthys, Nelson;
Horré, Wouter;
Michiels, Sam;
Huygens, Christophe;
Joosen, Wouter.
An event-based component model for sensor networks: a case study for river monitoring, Brazilian symposium on computer networks and distributed systems, Gramado, Brazil, 24-28 May 2010, Proceedings of the Tools Session of the Brazilian Symposium on Computer Networks and Distributed Systems (SBRC2010)
- Ueyama, Jo;
Hughes, Danny;
Matthys, Nelson;
Horré, Wouter;
Michiels, Sam;
Huygens, Christophe;
Joosen, Wouter.
Applying a multi-paradigm approach to implementing wireless sensor network based river monitoring, IEEE International Workshop on Information Security and Applications, Qinhuangdao, China, 22-25 October, IEEE, 2010
- Van Acker, Steven;
Nikiforakis, Nick;
Philippaerts, Pieter;
Younan, Yves;
Piessens, Frank.
ValueGuard: Protection of native applications against data-only buffer overflows, Jha, Somesh; Mathuria, Anish (eds.), ICISS (International Conference on Information Systems Security), Gandhinagar, India, 15-19 December 2010, Lecture Notes in Computer Science, volume 6503, pages 156-170, Springer
- Van Baelen, Stefan;
Weigert, Thomas;
Ober, Ileana;
Espinoza, Huascar;
Ober, Iulian.
Model based architecting and construction of embedded systems (ACES-MB 2009), International conference on model driven engineering languages and systems (MoDELS 2009), Denver, CO, USA, 4-9 October 2009, Lecture Notes in Computer Science, volume 6002, pages 63-67, Springer, 2010
- Van Gompel, Jelle;
Tuts, Bart;
Claes, Rutger;
Cruz Torres, Mario Henrique;
Holvoet, Tom.
MAS-DisCoSim 4 PDP: A testbed for multi-agent solutions to PDPs, van der Hoek, Wiebe; Kaminka, Gal A.; Lespérance, Yves; Luck, Michael; Sen, Sandip (eds.), International Conference on Autonomous Agents and Multiagent Systems, Toronto, 10-14 May 2010, Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems, pages 1-2
- Vanbrabant, Bart;
Delaet, Thomas;
Joosen, Wouter.
Authorizing and directing configuration updates in contemporary IT infrastructures, SafeConfig, Chicago, Illenois, USA, 04 October 2010, CCS 2010 Conference and Co-located Workshops, ACM
- Vandael, Stijn;
Boucké, Nelis;
Holvoet, Tom;
Deconinck, Geert.
Decentralized demand side management of plug-in hybrid vehicles in a Smart Grid, AAMAS 2010, Toronto, 10-14 May 2010, Proceedings of the First International Workshop on Agent Technologies for Energy Systems (ATES 2010), pages 67-74
- Vanrompay, Yves;
Mehlhase, Stephan;
Berbers, Yolande.
An effective quality measure for prediction of context information, CoMoRea at PerCom2010, Mannheim, DE, March 2010, Proceedings of the 7th IEEE Workshop on Context Modeling and Reasoning (CoMoRea) at the 8th IEEE Conference on Pervasive Computing and Communications (PerCom'10)
- Vanrompay, Yves;
Yasar, Ansar-Ul-Haque;
Preuveneers, Davy;
Berbers, Yolande.
Context-aware optimized information dissemination in large scale vehicular networks, PETRA, Samos, Greece, 23-25 June 2010, ACM
- Verslype, Kristof;
De Decker, Bart.
Measuring the user's anonymity when disclosing personal properties, International workshop on security measurements and metrics, Bolzano, Italy, 15 September 2010, MetriSec, IEEE
- Verslype, Kristof;
Verhaeghe, Pieter;
Lapon, Jorn;
Naessens, Vincent;
De Decker, Bart.
PriMan: a privacy-preserving identity framework, Foresti, Sara; Jajodia, Sushil (eds.), Data and Applications Security and Privacy XXIV, 24th Annual IFIP WG 11.3 Working Conference, Rome, Italy, 21-21 June 2010, Data and Applications Security and Privacy XXIV, volume 6166, pages 327-334, Springer
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank.
A machine-checked soundness proof for an efficient verification condition generator, SAC, Sierre, Switzerland, 22-26 March 2010, Symposium on Applied Computing 2010, volume 3, pages 2517-2522, ACM
- Vossaert, Jan;
Lapon, Jorn;
De Decker, Bart;
Naessens, Vincent.
Personalized mobile services with lightweight security in a sports association, Schmidt, Andreas U.; Russello, Giovanni; Lioy, Antonio; Prasad, Neeli R.; Lian, Shiguo (eds.), MobiSec, Catania, 27-28 May 2010, Security and Privacy in Mobile Information and Communication Systems, volume 47, pages 3-14, Springer
- Walraven, Stefan;
Lagaisse, Bert;
Truyen, Eddy;
Joosen, Wouter.
Dynamic composition of cross-organizational features in distributed software systems, Eliassen, Frank; Kapitza, Rüdiger (eds.), IFIP international conference on Distributed Applications and Interoperable Systems (DAIS), Amsterdam, The Netherlands, 7-9 June 2010, Distributed Applications and Interoperable Systems, volume 6115, pages 183-197, Springer Berlin / Heidelberg
- Weyns, Danny;
Capilla, Rafael.
Current and emerging topics in software architecture, ECSA 2010 Workshops Summary, European Conference on Software Architecture, Copenhagen, 23-26 August 2010, Proceedings of the Fourth European Conference on Software Architecture, volume Companion Volume, ACM
- Weyns, Danny;
Malek, Sam;
Andersson, Jesper.
On decentralized self-adaptation: lessons from the trenches and challenges for the future, Software Engineering for Adaptive and Self-Managing Systems, Cape Town, South Africa, 3-4 May 2010, Software Engineering for Adaptive and Self-Managing Systems, ACM
- Weyns, Danny;
Malek, Sam;
Andersson, Jesper.
FORMS: a FOrmal Reference Model for Self-adaptation, International Conference on Autonomic Computing and Communications, Washington, DC, USA, 7-11 June 2010, Proceedings of the 7th International Conference on Autonomic Computing and Communications, ACM
- Yasar, Ansar-Ul-Haque;
Preuveneers, Davy;
Berbers, Yolande;
Mahmud, Nasim;
Luyten, Kris;
Coninx, Karin.
Where people and cars meet: Social interactions to improve information sharing in large scale vehicular networks, SAC, Sierre, 22-26 March 2010, Proceedings of the 2010 ACM Symposium on Applied Computing, pages 1188-1194, ACM
- Yasar, Ansar-Ul-Haque;
Vanrompay, Yves;
Preuveneers, Davy;
Berbers, Yolande.
Optimizing information dissemination in large scale mobile peer-to-peer networks using context-based grouping, International IEEE Conference on Intelligent Transportation Systems, Madeira Island, Portugal, 19-22 Sep 2010, 13th International IEEE Conference on Intelligent Transportation Systems, issue 13, pages 1065-1071, IEEE
- Younan, Yves;
Philippaerts, Pieter;
Cavallaro, Lorenzo;
Sekar, R.;
Piessens, Frank;
Joosen, Wouter.
PAriCheck: an efficient pointer arithmetic checker for C programs, ACM Symposium on Information, Computer and Communications Security, Beijing, China, 13-16 April 2010, Proceedings of the 5th ACM Symposium on Information, Computer and Communications Security, pages 145-156, ACM
Meeting abstracts, presented at international conferences and symposia
15 references- Bhatti, Zubair Wadood;
Preuveneers, Davy;
Wuyts, Roel;
Berbers, Yolande.
Mapping dynamic applications on MPSoC systems, EuroSys Doctoral Workshop, Paris, 13 April 2010
- Bhatti, Zubair Wadood;
Preuveneers, Davy;
Wuyts, Roel;
Berbers, Yolande.
Extending the system scenario based design: for inter-application resource negotiations, at runtime, Workshop on Mapping Applications to MPSoCs, St. Goar, 29-30 June 2010, ArtistDesign NoE
- Clarke, Dave;
Diakov, Nikolay;
Hähnle, Reiner;
Johnsen, Einar Broch;
Puebla, Germán;
Weitzel, Balthasar;
Wong, Peter Y. H..
HATS - A formal software product line engineering methodology, Schafer, Ina; Carbon, Ralf (eds.), FMSPLE, Jeju Island, South Korea, 14 September 2010, Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010)
- Clarke, Dave;
Proenca, Jose.
Towards a theory of views for feature models, Schaefer, Ina; Carbon, Ralf (eds.), FMSPLE, Jeju Island, South Korea, 14 September 2010, Proceedings of the First Intl. Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010)
- Cordemans, Piet;
Boydens, Jeroen.
Migrating from debugging to testing embedded software, 9th International Conference and Workshop on Ambient Intelligence and Embedded Systems, Geel, Belgium, 30 September 2010, Proceedings of the Ninth International Conference and Workshop on Ambient Intelligence and Embedded Systems
- De Groef, Willem;
Nikiforakis, Nick;
Younan, Yves;
Piessens, Frank.
JITSec: Just-in-time security for code injection attacks, Benelux Workshop on Information and System Security (WISSEC 2010), Nijmegen, The Netherlands, 29-30 November 2010
- Decat, Maarten;
De Ryck, Philippe;
Desmet, Lieven;
Piessens, Frank;
Joosen, Wouter.
Towards building secure web mashups, OWASP AppSec Research 2010, Stockholm, Sweden, 23-24 June 2010
- Decroix, Koen;
Vossaert, Jan;
De Decker, Bart;
Naessens, Vincent.
Reconfigurable security in home monitoring systems, WiSSeC, Nijmegen, the Netherlands, 29-30 Nov 2010
- Desmet, Lieven;
De Ryck, Philippe.
CsFire: Browser-enforced mitigation against CSRF, OWASP AppSec Research 2010, Stockholm, Sweden, 23-24 June 2010
- Desmet, Lieven;
De Ryck, Philippe.
CsFire: browser-enforced mitigation against CSRF, BruCON Security Conference 2010, Brussels, 24-25 September 2010
- Lapon, Jorn;
Kohlweiss, Markulf;
De Decker, Bart;
Naessens, Vincent.
Comparison of accumulator based revocation schemes, Communications and Multimedia Security, Linz, 31 May - 2 June, 2010
- Naessens, Vincent;
Mihaylov, Michael;
De Jongh, Steven;
Verbeeck, Katja;
Nowé, Ann.
Carebook: Assisting elderly people by social networking, ITEC2010, Kortrijk, 25-27 May 2010, Proceedings of St International Conference on Interdisciplinary Research on Technology, Education and Communication (Accepted)
- Thoelen, Klaas;
Matthys, Nelson;
Horré, Wouter;
Huygens, Christophe;
Joosen, Wouter;
Hughes, Danny;
Fang, Lei;
Guan, Sheng-Uei.
Supporting reconfiguration and re-use through self-describing component interfaces, Thoelen, Klaas (ed.), MidSens2010, Bangalore, 30 November 2010, MidSens '10: Proceedings of the 5th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks, pages 29-34, ACM
- Vossaert, Jan;
Lapon, Jorn;
Verhaeghe, Pieter;
De Decker, Bart;
Naessens, Vincent.
A smart card based solution for user-centric identity management, PrimeLife/IFIP Summer School 2010, Helsingborg, 2 - 6 August, 2010
- Walraven, Stefan;
Lagaisse, Bert;
Truyen, Eddy;
Joosen, Wouter.
Aspect-based variability model for cross-organizational features in service networks, Lahire, Philippe; Georg, Geri; Oussalah, Mourad; Whittle, Jon; Moha, Naouel; Van Baelen, Stefan (eds.), International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines, Rennes, France, 15 March 2010, Composition & Variability '2010: Proceedings of the 1st International Workshop on Composition: Objects, Aspects, Components, Services and Product Lines, pages 57-63, CEUR-WS.org
Thesis
3 references- Philippaerts, Pieter.
Security of Software on Mobile Devices , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, October 2010, 134 pages, isbn: 978-946-018-266-2,
Piessens, Frank and
Joosen, Wouter (supervisors)
- Sanen, Franciscus.
Knowledge-Driven Management of Feature Interactions in Middleware Configuration , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, December 2010,
Joosen, Wouter and
Truyen, Eddy (supervisors)
- Vanhooff, Bert.
Loosely Coupled Transformation Chains. How to Enable Transformation Reuse with Traceability Information , PhD thesis, Informatics Section, Department of Computer Science, Faculty of Engineering Science, April 2010, 196 pages,
Berbers, Yolande (supervisor)
Internal reports
17 references- Buyens, Koen;
Scandariato, Riccardo;
Joosen, Wouter.
Automated detection and resolution of least privilege violations in software architectures, CW Reports, volume CW575, 10 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2010
- Clarke, Dave;
Helvensteijn, Michiel;
Schaefer, Ina.
Abstract delta modeling, CW Reports, volume CW592, 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2010
- Vanhooff, Bert;
Van Baelen, Stefan;
Joosen, Wouter;
Berbers, Yolande.
Loosely coupled transformation chains, MoVES Newsletter, issue 1, page3, IAP-MoVES consortium, July 2010
- Devriese, Dominique;
Piessens, Frank.
Explicitly recursive grammar combinators - The implementation of some grammar algorithms - Technical report, CW Report, volume CW594, 21 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, September 2010
- Jacobs, Bart;
Piessens, Frank.
Expressive modular fine-grained concurrency specification (Extended version), CW Reports, volume CW590, 17 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, July 2010
- Jacobs, Bart;
Smans, Jan;
Piessens, Frank.
Verification of imperative programs: The VeriFast approach. A draft course text, CW Reports, volume CW578, 34 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2010
- Leino, K. Rustan M.;
Müller, Peter;
Smans, Jan.
Deadlock-free channels and locks, CW Reports, volume CW573, 23 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, January 2010
- Muhammad, Naeem;
Boucké, Nelis;
Berbers, Yolande.
Parallelism viewpoint: An architecture viewpoint to model parallelism behaviour of parallelism-intensive software systems, CW Reports, volume CW589, ii + 14 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2010
- Nikiforakis, Nick;
Gadaleta, Francesco;
Younan, Yves;
Joosen, Wouter.
On the privacy of file sharing services, CW Reports, volume CW585, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, May 2010
- Sergey, Ilya;
Clarke, Dave;
Podkhalyuzin, Alexander.
Automatic refactorings for Scala programs, CW Reports, volume CW577, 6 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2010
- 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
- Vogels, Frédéric;
Jacobs, Bart;
Piessens, Frank.
A machine-checked soundness proof for an efficient verification condition generator: technical report, CW Reports, volume CW568, 156 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, April 2010
- Vossaert, Jan;
Verhaeghe, Pieter;
De Decker, Bart;
Naessens, Vincent.
Towards a general purpose identity card, CW Reports, volume CW587, 11 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2010
- Weyns, Danny;
Malek, Sam;
Andersson, Jesper.
Z specifications of FORMS - FOrmal Reference Model for Self-adaptation, CW Reports, volume CW579, 43 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, June 2010
- Wuyts, Kim;
Heyman, Thomas;
Scandariato, Riccardo;
Huygens, Christophe;
Joosen, Wouter.
Towards a reference framework for legal compliance: a detailed overview, CW Reports, volume CW598, 100 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, October 2010
- Yskout, Koen;
Scandariato, Riccardo;
Joosen, Wouter.
Using change patterns to incorporate evolving trust relationships into a software architecture, CW Reports, volume CW576, 54 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, March 2010
- Yskout, Koen;
Scandariato, Riccardo;
Joosen, Wouter.
Change patterns: Co-evolving requirements and architecture, CW Reports, volume CW593, 24 pages, Department of Computer Science, K.U.Leuven, Leuven, Belgium, August 2010
Misc.
4 references- Clarke, Dave;
Eppstein, David;
Ghasemloo, Kaveh;
Reyzin, Lev;
Salamon, András;
Shor, Peter;
Sterling, Aaron;
Venkatasubramanian, Suresh.
Questions answered. in theory.: http: //cstheory.stackexchange.com/, SIGACT News, volume 41, issue 4, pages 58-60, December 2010
- Boydens, Jeroen;
Cordemans, Piet.
Embedded software development driven by tests, DSP Valley Newsletter, volume 11, issue 3, pages 6-7, June 2010
- Vandael, Stijn;
Boucké, Nelis;
Holvoet, Tom;
Deconinck, Geert.
Coordination mechanisms for charging plug-in hybrid electric vehicles in a Smart Grid, IEEE Benelux Young Researchers Symposium in Electrical Power Engineering, Leuven, Belgium, 29-30 March 2010, Proceedings of 5th IEEE Benelux Young Researchers Symposium in Electrical Power Engineering
- Weyns, Danny;
Georgeff, Michael.
Self-adaptation using multiagent systems, Software Magazine, volume 27, issue 1, pages 86-91, February 2010
External reports
2 references- Bynens, Maarten;
Van Landuyt, Dimitri;
Truyen, Eddy;
Joosen, Wouter.
Towards reusable aspects: the callback mismatch problem, Proceedings of the 9th Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS '10), pages 17-20, Hasso-Plattner-Institut für Softwaresystemtechnik GMBH, Potsdam, Germany, February 2010
- Muschevici, Radu;
Clarke, Dave;
Proenca, Jose.
Feature Petri Nets, Proceedings of the 14th International Software Product Line Conference (SPLC 2010), volume 2, 99-106 pages, Lancaster University, Lancaster, United Kingdom, September 2010
Last update local database Sun Jun 16 2013 0:17 am; It contains now 9772 items.
Yearly overview:
