Publications 2009

• Bertholon, Benoit; Varrette, Sébastien; Bouvry, Pascal: CertiCloud: une plate-forme Cloud IaaS sécurisée, RenPar'20 2011, 2009, pp. 0-10, ISBN: 0000000000
• Bertholon, Benoit; Varrette, Sébastien; Bouvry, Pascal: CertiCloud: a Novel TPM-based Approach to Ensure Cloud IaaS Security, Cloud Computing (CLOUD), IEEE Computer Society, 2009, pp. 121 - 130, ISBN: 978-1-4577-0836-7
• Ding, Jianguo; Balasingham, Ilangko; Bouvry, Pascal: Management of Overlay Networks: A Survey, Proceedings of the 3rd International Conference on Mobile Ubiquitous Computing Systems, Services and Technologies, IEEE computer society press, 2009, pp. 249-255, ISBN: 978-1-4244-5083-1
• Ding, Jianguo; Krämer, Bernd J.; Bouvry, Pascal; Guan, Haibing; Liang, Alei; Davoli, Franco: Probabilistic Fault Management, Context-Aware Computing and Self-Managing Systems, Chapman & Hall/CRC press, 2009, 2009, pp. 309-347, ISBN: 978-1420077711
• Ding, Jianguo; Balasingham, Ilangko; Bouvry, Pascal: Management challenges for emerging networks and services, Proceedings of the International Conference on Ultra Modern Telecommunications, IEEE communication society press, 2009, pp. 1-8, ISBN: 978-1-4244-3942-3
• Liu, Siqian; Bilal, Kashif; Khan, Samee Ullah; Li, Hongxiang; Min-Allah, Nasro; Li, Juan; Ghani, Nasir; Bouvry, Pascal; Madani, Sajjad: Heuristics-based nominal channels allocation in cellular networks, FIT '10, 8th International Conference on Frontiers of Information Technology, ACM, 2009, ISBN: 978-1-4503-0342-2
• Vosoughi, Aida; Bilal, Kashif; Khan, Samee Ullah; Min-Allah, Nasro; Li, Juan; Ghani, Nasir; Bouvry, Pascal; Madani, Sajjad: A multidimensional robust greedy algorithm for resource path finding in large-scale distributed networks, FIT '10, 8th International Conference on Frontiers of Information Technology, ACM, 2009, pp. 0-0, ISBN: 978-1-4503-0342-2
• Al Abed, Wisam; Amálio, Nuno; Barais, Olivier; Baudry, Benoît; Boizot, Nicolas; Busvelle, Eric; Capozucca, Alfredo; Creff, Stephen; Dhaussy, Philippe; Gallina, Barbara; Gauthier, Jean-Paul; Glodt, Christian; Guelfi, Nicolas; Jézéquel, Jean-Marc; Kelsen, Pierre; Kienzlé, Jörg; Klein, Jacques; Lahire, Philippe; Le Traon, Yves; Ma, Qin; Morin, Brice; Perrouin, Gilles; Pillain, Pierre-Yves; Pruski, Cédric; Raji, Amine; Ries, Benoît; Spanoudakis, George; Vanwormhoudt, Gilles: LASSY - Laboratory for Advanced Software Systems - Scientific Publications List 2009, Polyprint, 2009, ISBN: xxx-xxxxx-xxx
• Capozucca, Alfredo; Guelfi, Nicolas; Pelliccione, Patrizio; Romanovsky, Alexander; Zorzo, Avelino: CAA-DRIP: a framework for implementing Coordinated Atomic Actions, International Symposium on Software Reliability, 2009, pp. 385-394, ISBN: 0-7695-2684-5
• Schaberreiter, Thomas; Bonhomme, Cédric; Aubert, Jocelyn; Incoul, Christophe; Khadraoui, Djamel: Support tool development for real-time risk prediction in interdependent critical infrastructures, IEEE International Symposium on Sofware Reliability Engineering (ISSRE) supplemental proceedings, 2009, pp. 00-00, ISBN: 00
• Aubert, Jocelyn; Schaberreiter, Thomas; Incoul, Christophe; Khadraoui, Djamel: Real-time security monitoring of interdependent services in critical infrastructures. Case study of a risk-based approach, in 21th European Safety and Reliability Conference (ESREL 2010), 2009, pp. 00-00, ISBN: 00
• Pigné, Yoann; Danoy, Grégoire; Bouvry, Pascal: A Vehicular Mobility Model based on Real Traffic Counting Data, Nets4Cars/Nets4Trains 2011, vol. 6596, Springer-Verlag, 2009, pp. 131-142, ISBN: 0000
• Großschädl, Johann; Oswald, Elisabeth; Page, Dan; Tunstall, Michael: Side-Channel Analysis of Cryptographic Software via Early-Terminating Multiplications, Information Security and Cryptology --- ICISC 2009, vol. LNCS 5984, Springer Verlag, 2009, pp. 176-192, ISBN: 978-3-642-14422-6
• Zhang, Bin: New Cryptanalysis of Irregularly Decimated Stream Ciphers., Lecture Notes in Computer Science, vol. 5867, 2009, pp. 449-465, ISBN: 978-3-642-05443-3
• Piyatumrong, Apivadee; Ruiz, Patricia; Bouvry, Pascal; Guinand, Frederic; Lavangnananda, Kittichai: Token Traversal Strategies of a distributed spanning forest algorithm in mobile ad hoc - delay tolerant networks, Advances in Information Technology, vol. 55, Springer-Verlag Berlin Heidelberg, 2009, pp. 96-109, ISBN: 978-3-642-10391-9
• Gallardo, Jurado; Sorger, Ulrich; Angeles, Maria: Multiple Decision Feedback Equalizer for Satellite AIS Coherent detection, IEEE ISCC 2010, 2009, pp. 285-290, ISBN: 978-1-4244-7755-5
• Caire, Patrice; van der Torre, Leendert: A Conviviality Measure for Early Requirement Phase of Multiagent System Design, Normative Multiagent Systems, 2009
• Boella, Guido; van der Torre, Leendert; Villata, Serena: Four measures for the dynamics of coalitions in social networks, HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009, ACM, 2009, pp. 361–362, ISBN: 978-1-60558-486-7
• Gabbay, Dov M.: Semantics for Higher Level Attacks in Extended Argumentation Frames Part 1: Overview, Studia Logica, vol. 93, no. 2-3, 2009, pp. 357–381
• Gabbay, Dov M.; Schlechta, K.: Reactive Preferencial Structures and Nonmonotonic consequence, Review of Symbolic Logic, vol. 2, no. 2, 2009, pp. 414–450
• Gabbay, Dov M.; Szalas, Andrzej: Voting by Eliminating Quantifiers, Studia Logica, vol. 92, no. 3, 2009, pp. 365–379
• Gabbay, Dov M.; Woods, J.: Fallacies as Cognitive Virtues, Logic, Games and Philosophy: Foundational Perspectives, 2009, pp. 57–98
• Esch, Markus; Tobias, Eric: Decentralized Scale-free Network Construction and Load Balancing in Massive Multiuser Virtual Environments, Proceedings of the 6th International Conference on Collaborative Computing (CollaborateCom) 2010, 2009, pp. 0-0, ISBN: -
• Herbiet, Guillaume-Jean; Bouvry, Pascal: SHARC: community-based partitioning for mobile ad hoc networks using neighborhood similarity, World of Wireless Mobile and Multimedia Networks (WoWMoM), 2010 IEEE International Symposium on a, 2009, pp. 1 - 9, ISBN: 978-1-4244-7263-5
• Wagner, Cynthia; Wagener, Gerard; State, Radu; Engel, Thomas: Analyzing Malware by kernel methods and Support Vector Machines, informal proceedings, 2009, pp. 0-0, ISBN: 000
• test', Test: <b>test</b>, test, 2009, pp. 1-2
• Fotue, David; Tanonkou, Guy; Engel, Thomas: An ad-hoc Wireless Sensor Networks with Application to Air Pollution Detection, The First ISCA International Conference on Sensor Networks and Applications(SNA2009), San Francisco, California, USA., Gordon K. Lee, 2009, pp. 48-53, ISBN: 978-1-880843-74-1
• Veneziano, Thomas; Meyer, Patrick; Bisdorff, Raymond: Analyse inverse robuste à partir d'informations préférentielles partielles, Actes Roadef 2010, 11e congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, 2009, pp. 75 - 88, ISBN: 2-7238-0414-3
• Molter, Hans Gregor; Ogata, Kei; Tews, Erik; Weinmann, Ralf-Philipp: An Efficient FPGA Implementation for an DECT Brute-Force Attacking Scenario, ICWMC 2009, IEEE, 2009, pp. 82-86, ISBN: 978-0-7695-3750-4
• Dorronsoro, Bernabé; Ruiz, Patricia; Danoy, Grégoire; Bouvry, Pascal; Tardon, Lorenzo J.: Uso de Redes Hibridas para la Mejora de la Conectividad en VANETs, Proceedings of national Conference on Metaheuristicas, Algoritmos Evolutivos y Bioinspirados(MAEB'09), 2009, pp. 115-122, ISBN: 0
• Schleich, Julien; Danoy, Grégoire; Bouvry, Pascal; Le Thi Hoai, An: Blackbone2, an Efficient Deterministic Algorithm for creating 2-Connected m-dominating Set-based Backbones in Ad Hoc Networks, Proceedings of the Seventh ACM International Workshop on Mobility Management & Wireless Access, 2009, pp. 91-98, ISBN: 978-1-60558-617-5
• Schleich, Julien; Bouvry, Pascal; Le Thi Hoai, An: Decentralized Fault-tolerant Connected Dominating Set Algorithm for Mobile Ad hoc Networks, Proceedings of the 2009 International Conference on Wireless Networks, 2009, pp. 354-360, ISBN: 1-60132-113-9
• Boella, Guido; van der Torre, Leendert; Villata, Serena: On the Acceptability of Meta-Arguments, IAT 2009: Procs. of IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IEEE, 2009, pp. 259-262, ISBN: 0
• Boella, Guido; Genovese, Valerio; van der Torre, Leendert; Villata, Serena: Checking Consistency in role oriented Dependence Networks, BNAIC 2009: 21th Belgian - Netherlands Conference on Artificial Intelligence, 2009, pp. 27 - 34, ISBN: http://wwwis.win.tue.nl/bnaic2009/papers/bnaic2009_paper_77.pdf
• Hartmann, Stephan; Pigozzi, Gabriella; Sprenger, Jan: Reliable methods of judgment aggregation, Journal of Logic and Computation, 2009, pp. 1-15, ISSN: 1465-363X
• Amálio, Nuno: Analysing Security requirements formally and flexibly based on suspicion, International Journal of Advances in Security, vol. 2, no. 4, 2009, pp. 344-357, ISSN: 1942-2636
• Jonker, Hugo; Mauw, Sjouke; Pang, Jun: Measuring voter-controlled privacy, Proc. 4th Conference on Availability, Reliability and Security, 2009. ARES '09., IEEE Computer Society, 2009, pp. 289-298, ISBN: 978-1-4244-3572-2, http://www.informatik.uni-trier.de/~ley/db/conf/IEEEares/ares2009.html
• Bisdorff, Raymond: The Decision Deck Project, The electronic newsletter of the international society of mutiple criteria decision analysis, no. 2, Geiger, Martin Josef (editor), 2009, pp. 20-23
• Booth, Richard; Meyer, Thomas; Varzinczak, Ivan José: First steps in EL contraction, Proceedings of the Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE 2009), 2009
• Booth, Richard; Chevaleyre, Yann; Lang, Jèrôme; Mengin, Jèrôme; Sombattheera, Chattrakul: Learning various classes of models of lexicographic orderings, Proceedings of the ECML/PKDD-09 Workshop on Preference Learning (PL 2009), 2009
• Labutsri, Nawaphol; Chamchong, Rapeeporn; Booth, Richard; Rodtook, Annupan: English syntactic reordering for English-Thai phrase-based statistical machine translation, Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009), 2009, pp. 360–366
• Booth, Richard; Noisanguan, Wijittra: An axiomatic approach to firewall rule update, Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009), 2009, pp. 70–75
• Booth, Richard; Meyer, Thomas; Varzinczak, Ivan José: Next steps in propositional Horn contraction, Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), 2009, pp. 702–707
• Booth, Richard; Meyer, Thomas; Sombattheera, Chattrakul: A general family of preferential belief removal operators, Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI 2009), vol. 5834, Springer, 2009, pp. 42–54
• Gabbay, Dov M.; Engesser, Kurt; Lehmann, D.: Non-Monotonicity and Holicity in Quantum Logic, HANDBOOK OF QUANTUM LOGIC AND QUANTUM STRUCTURES: QUANTUM LOGIC, 2009, pp. 587–623
• Barringer, H.; Gabbay, Dov M.; Rydeheard, D.: Logical Modelling of Evolvable Systems, Logic Journal of IGPL, 2009
• Gabbay, Dov M.; Szalas, A.: Annotation theories over finite graphs, Studia Logica, 2009
• Gabbay, Dov M.; Schlechta, Karl: Size and Logic, Review of symbolic logic, vol. 2, no. 2, 2009, pp. 396–404
• Abraham, Michael; Gabbay, Dov M.; Schild, U.: Analysis of the Talmudic Argumentum A Fortiori Inference Rule (Kal-Vachomer) using Matrix Abduction, Studia Logica, vol. 92, no. 3, 2009, pp. 281–364
• Gabbay, Dov M.: Modal Foundations for Argumentation Networks, Studia Logica, 2009
• Gabbay, Dov M.; Schlechta, Karl: Independence-Revision and Defaults, Studia Logica, vol. 92, no. 3, 2009, pp. 381–394
• Gabbay, Dov M.; Schlechta, Karl: Roadmap for Preferential Logics, Journal of Applied Non-classical Logics, vol. 19, no. 1, 2009, pp. 43–95
• Gabbay, Dov M.; Schlechta, Karl: An Analysis of Defeasible Inheritance Systems, Logic Journal of the IGPL, 2009, pp. 17–54
• Gabbay, Dov M.; Schlechta, Karl: Reactive Preferential Structures and Nonmonotonic consequence, Review of Symbolic Logic, vol. 2, no. 2, 2009, pp. 414–450
• Gabbay, Dov M.; Garcez, A.S.D.Avila: Logical Modes of Attack in Argumentation Networks, Studia Logica, 2009
• Gabbay, Dov M.: Fibring Argumentation Frames, Studia Logica, 2009
• Gabbay, Dov M.; Schlechta, Karl: A Theory of Hierarchical Conditionals, Journal of Logic, Language and Information, 2009
• Gabbay, Dov M.; Marcelino, Sergio: Modal Logics of Reactive Frames, Studia Logica, 2009
• Gabbay, Dov M.; Szalas, A.: Voting with Second Order Quantifier Elimination, Studia Logica, vol. 92, no. 3, 2009, pp. 365–379
• Gabbay, Dov M.; Schlechta, Karl: Logical Tools for Handling Change in Agent-based Systems, Springer, 2009
• Gabbay, Dov M.; Rodrigues, O.; Russo, A.: Revision, Acceptability and Context, Springer, 2009
• Gabbay, Dov M.; Shehtman, V.; Skvortsov, D.: Quantification in Non-classical Logics, Elsevier, 2009
• Seylan, I.; Jamroga, W.: Description Logic for Coalitions, Proceedings of AAMAS'09, 2009, pp. 425–432
• Seylan, I.; Jamroga, W.: Coalition Description Logic for Individuals, Proceedings of the 6th Workshop on Methods for Modalities M4M-6, 2009, pp. 146–162
• Novák, P.; Jamroga, W.: Code Patterns for Agent Oriented Programming (Extended Abstract), Proceedings of BNAIC'09, 2009
• Novák, P.; Jamroga, W.: Code Patterns for Agent Oriented Programming, Proceedings of AAMAS'09, 2009, pp. 105–112
• Jamroga, W.: Easy Yet Hard: Model Checking Strategies of Agents, Computational Logic in Multi-Agent Systems: Proceedings of CLIMA IX, vol. 5405, 2009, pp. 1–12
• Bulling, N.; Jamroga, W.: Reasoning about Strategic Properties of Multi-Agent Programs, Proceedings of EUMAS2009, 2009
• Bulling, N.; Jamroga, W.: Rational Play and Rational Beliefs under Uncertainty, Proceedings of AAMAS'09, 2009, pp. 257–264
• Mauw, Sjouke; Radomirović, Saša; Dashti, M.Torabi: Minimal message complexity of asynchronous multi-party contract signing, Proceedings of the 22nd IEEE Computer Security Foundations Symposium (CSF'09), IEEE Computer Society, 2009, pp. 13–25
• Alcalde, Baptiste; Dubois, E.; Mauw, Sjouke; Mayer, N.; Radomirović, Saša: Towards a Decision Model Based on Trust and Security Risk Management, Proc. 7th Australasian Information Security Conference - AISC'09, vol. 98, Australian Computer Society, 2009, pp. 61–69
• Sun, J.; Liu, Y.; Dong, J.-S.; Pang, Jun: PAT: Towards flexible verification under fairness, Proc. 21th International Conference on Computer Aided Verification, vol. 5643, Springer-Verlag, 2009, pp. 709–714
• Liu, Y.; Pang, Jun; Sun, J.; Zhao, J.: Verification of population ring protocols in PAT, Proc. 3rd IEEE Symposium on Theoretical Aspects of Software Engineering, IEEE Computer Society, 2009, pp. 81–89
• Pang, Jun; Zhang, C.: How to work with honest but curious judges? (preliminary report), Proc. 7th International Workshop on Security Issues in Concurrency, vol. 7, 2009, pp. 31–45
• Zhang, Y.; Zhang, C.; Pang, Jun; Mauw, Sjouke: Game-based verification of multi-party contract signing protocols, Proc. 7th International Workshop on Formal Aspects in Security and Trust (FAST'09), Springer-Verlag, 2009
• Alcalde, Baptiste; Mauw, Sjouke: An algebra for trust dilution and trust fusion, Proc. 7th Workshop on Formal Aspects in Security and Trust, Springer-Verlag, 2009
• Biryukov, Alex; Khovratovich, Dmitry: Related-Key Cryptanalysis of the Full AES-192 and AES-256, Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, vol. 5912, Springer, 2009, pp. 1-18, ISBN: 978-3-642-10365-0
• Khovratovich, Dmitry: Cryptanalysis of Hash Functions with Structures, Selected Areas in Cryptography, 16th Annual International Workshop, SAC 2009, vol. 5867, Springer, 2009, pp. 108-125, ISBN: 978-3-642-05443-3
• Leprévost, Franck; Bernard, Nicolas; Pohst, Michael: Jacobians of genus 2 curves with a rational point of order 11, Journal of Experimental Mathematics, vol. 18, no. 1, 2009, pp. 65-70
• Berhe, Girma; Peters, Bernhard; Varrette, Sébastien; Bouvry, Pascal: Parallel implementation of domain decomposition algorithm for molecular dynamics, Proceedings of the First International Conference on Parallel, Distributed and Grid Computing for Engineering, Civil-Comp Press, 2009, pp. 1-19, ISBN: 978-1-905088-29-4
• Barbini, Patrizio; Wu, Yining; Caminada, Martin W.A.: An Implementation of Argument Based Discussion, Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, 2009, pp. 1425-1426, ISBN: 978-0-9817381-7-8
• Nassar, Mohamed El Baker; State, Radu; Festor, Olivier: VoIP Malware: Attack Tool & Attack Scenarios, IEEE ICC 09, IEEE Communications Society, 2009
• Abdelnur, Humberto J.; Avanesov, Tigran; Rusinowitch, Michael; State, Radu: Abusing SIP authentication, Journal of Information Assurance and Security, vol. 4, 2009, pp. 311–318
• Nebro, A.J.; Durillo, J.J.; Luna, F.; Dorronsoro, Bernabé; Alba, Enrique: MOCell: A Cellular Genetic Algorithm for Multiobjective Optimization, International Journal of Intelligent System, Special Issue on Nature Inspired Cooperative Strategies, vol. 24, no. 7, 2009, pp. 726–746, ISSN: 0884-8173
• Luque, Gabriel; Alba, Enrique; Dorronsoro, Bernabé: Optimization Techniques for Solving Complex Problems, Wiley, Wiley, 2009, pp. 49–62, ISBN: 978-0-470-29332-4
• Rehák, Martin; Staab, Eugen; Fusenig, Volker; Pċchouček, Michal; Grill, Martin; Stiborek, Jan; Bartoš, Karel; Engel, Thomas: Runtime Monitoring and Dynamic Reconfiguration for Intrusion Detection Systems, Proc. of the 12th International Symposium On Recent Advances In Intrusion Detection (RAID '09), vol. 5758, Springer-Verlag, 2009, pp. 61––80
• Francois, Jerome; Abdelnur, Humberto J.; State, Radu; Festor, Olivier: Behavioral Fingerprinting, RAID '09: Proceedings of the 11th international symposium on Recent Advances in Intrusion Detection, 2009
• Stieghahn, Michael; Engel, Thomas: Using XACML for Law-aware Access Control, 3rd. International Workshop on Juris-informatics (JURISIN 2009), 2009, ISBN: 4-915905-38-1
• Rehák, Martin; Staab, Eugen; Fusenig, Volker; Stiborek, Jan; Grill, Martin; Bartoš, Karel; Pċchouček, Michal; Engel, Thomas: Threat-Model Driven Runtime Adaptation and Evaluation of Intrusion Detection System, Proc. of the 6th Int. Conf. on Autonomic Computing and Communications (ICAC '09), ACM, 2009, pp. 65–66, ISBN: 978-1-60558-564-2
• Staab, Eugen; Engel, Thomas: Collusion Detection for Distributed Computing, Proc. of the 1st Luxembourg Day on Security and Reliability (P1Day '09), University of Luxembourg, 2009, pp. 75, ISBN: 2-919940-84-8
• Staab, Eugen; Engel, Thomas: Tuning Evidence-Based Trust Models, Proc. of the 2009 International Conference on Information Privacy, Security, Risk and Trust (PASSAT '09), IEEE Computer Society, 2009, pp. 92–99, ISBN: 978-0-7695-3823-5
• Staab, Eugen; Caminada, Martin W.A.: Simulating Knowledge and Dishonesty in a Client-Consultant Setting, Proc. of the 21st Benelux Conference on Artificial Intelligence (BNAIC '09), 2009
• Becker, Sheila; State, R.; Engel, Thomas: Using Game Theory to configure P2P SIP, Principles, Systems and Applications of IP Telecommunications Services and Security for Next Generation Networks, 2009
• Frank, Raphael; Hourte, Benjamin; Jungels, Dan; Engel, Thomas: Interoperable Networking Applications for Emergency Services, International Journal IJMU Multimedia and Ubiquitous Engineering, vol. 4, no. 1, 2009, pp. 11–22
• Giordano, Eugenio; Frank, Raphael; Ghosh, Abhishek; Pau, Giovanni; Gerla, Mario: Two Ray or not Two Ray this is the price to pay, First International Workshop on Intelligent Vehicular Networks (InVeNet'09), IEEE, 2009
• Becker, Sheila; State, R.; Engel, Thomas: Defensive configuration with game theory, The 11th IFIP/IEEE International Symposium on Integrated Network Management, 2009
• Wagener, Gerard; State, Radu; Dulaunoy, Alexandre; Engel, Thomas: Self Adaptive High Interaction Honeypots Driven by Game Theory, SSS 2009, LNCS 5873, Springer-Verlag Berlin Heidelberg, 2009, pp. 741–755
• Wagner, Cynthia; Wagener, Gerard; State, Radu; Engel, Thomas: Malware analysis with graph kernels and support vector machines, 4th International Conference on Malicious and Unwanted Software (Malware 2009), IEEE, 2009, pp. 63–68
• Melakessou, Foued; Engel, Thomas: Network Traffic Simulator 2.0: Simulating The Internet Traffic, 2009 International Workshop on Open-source Software for Scientific Computation, IEEE Computer Society, 2009
• Fischer, Daniel; Eckstein, Knut; Basin, David; Engel, Thomas: Increasing the Efficiency of Next-Generation Space Operations by Exploiting Predictability, SMC-IT '09: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology, IEEE Computer Society, 2009, pp. 315–322, ISBN: 978-0-7695-3637-8
• Heim, A.; Sorger, Uli: On the Convergence of Iterative Belief Propagation, Proc. IEEE International Symposium on Information Theory ISIT, 2009
• Ignac, Tomasz; Sorger, Uli: Functions on Probabilistic Graphical Models, Proceedings of the International Multiconference on Computer Science and Information Technology IMCSIT 2009, 2009
• Ignac, Tomasz; Sorger, Uli: Uncertainty in Bayesian Networks, Proceedings of the 7th Conference on Computer Methods and Systems, CMS, 2009
• Seredynski, Marcin; Ignac, Tomasz; Bouvry, Pascal: Probabilistic Packet Relaying in Wireless Mobile Ad Hoc Networks, 4th International Symposium on Communications, Control and Signal Processing (roceedings of the 8th Conference on Parallel Processing and Applied Mathematics PPAM 2009, 2009
• Höhfeld, Alexander; Gratz, Patrick; Beck, Angelo; Botev, Jean; Schloß, Hermann; Scholtes, Ingo: Self-organizing collaborative filtering in global-scale massive multi-user virtual environments, Proceedings of the 2009 ACM symposium on Applied Computing (SAC '09), ACM, 2009, pp. 1719–1723, ISBN: 978-1-60558-166-8
• Botev, Jean; Esch, Markus; Schloß, Hermann; Scholtes, Ingo; Sturm, Peter: HyperVerse: Simulation and Testbed Reconciled, Proceedings of the 2nd International Workshop on Massively Multiuser Virtual Environments (MMVE2009) at IEEE Virtual Reality 2009, 2009
• Melakessou, F.; Suchanecki, Z.; Sorger, U.: A multiplicative law of Network traffic and its consequences, Acta Physica Polonica, vol. 40, no. 1, 2009, pp. 1001–1019
• Aucher, Guillaume; Grossi, Davide; Herzig, Andreas; Lorini, Emiliano: Dynamic context logic, Proceedings of Logic, Rationality and Interaction (LORI 2009), vol. 5884, Springer Verlag, 2009, pp. 15–26
• Aucher, Guillaume; Grossi, Davide; Herzig, Andreas; Lorini, Emiliano: Dynamic context logic and its application to norm change, Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, 2009
• Aucher, Guillaume; Herzig, Andreas: Exploring the power of converse events, The Dynamic Turn in Epistemology, Springer, Springer, 2009
• Aucher, Guillaume; Balbiani, Philippe; del Cerro, Luis Fariñas; Herzig, Andreas: Global and local graph modifiers, Electronic Notes in Theoretical Computer Science, vol. 231, Elsevier, 2009, pp. 293–307
• Aucher, Guillaume: Generalizing AGM to a multi-agent setting, Logic journal of the IGPL, 2009
• Boella, Guido; Pigozzi, Gabriella; van der Torre, Leendert: Normative systems in computer science. Ten guidelines for normative multiagent systems, Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings 09121, 2009
• Boella, Guido; Pigozzi, Gabriella; van der Torre, Leendert: Normative framework for normative system change, Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 09), 2009
• Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert: Formal ex-post rationalization - A complete conclusion-based procedure for judgment aggregation, Proceedings of the Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 09), 2009
• Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert: A complete conclusion-based procedure for judgment aggregation, Proceedings of the First International Conference on Algorithmic Decision Theory (ADT), vol. 5783, Springer Verlag, 2009, pp. 1–13
• Grossi, Davide; Pigozzi, Gabriella; Slavkovik, Marija: White Manipulation in Judgment Aggregation, Proceedings of BNAIC 2009 - The 21st Benelux Conference on Artificial Intelligence (to appear), 2009
• Boella, Guido; Pigozzi, Gabriella; van der Torre, Leendert: Five guidelines for normative multiagent systems, Proceedings of JURIX 2009 - The 22nd International Conference on Legal Knowledge and Information Systems, IOS Press, 2009
• Pigozzi, Gabriella: Aggregation problems and models: what comes first?, The Present Situation in the Philosophy of Science, Springer, Springer, 2009
• Parent, Xavier; van der Torre, Leendert: Input/output logics, 9th De Morgan Workshop on Deontic Logic, 2009
• Parent, Xavier: A complete axiom set for Hansson's deontic logic DSDL2, Logic Journal of the IGPL, 2009
• Caminada, Martin W.A.: Truth, Lies and Bullshit; distinguishing classes of dishonesty, Social Simulation workshop (SS@IJCAI), 2009, pp. 39–50
• Boella, Guido; Pereira, C.da Costa; Pigozzi, Gabriella; Tettamanzi, A.; van der Torre, Leendert: The role of goals in belief selection, Logic Journal of the IGPL, 2009
• Modgil, S.; Caminada, Martin W.A.: Proof Theories and Algorithms for Abstract Argumentation Frameworks, Argumentation in Artificial Intelligence, 2009, pp. 105–129
• Wu, Yining; Caminada, Martin W.A.; Gabbay, Dov M.: Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming, Studia Logica, 2009
• Caminada, Martin W.A.; Pigozzi, Gabriella: On Judgment Aggregation in Abstract Argumentation, JAAMAS special issue on Computational Social Choice, 2009
• Wu, Yining; Caminada, Martin W.A.: Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming, BNAIC 2009, 2009
• Caminada, Martin W.A.: Truth, Lies and BS; distinguishing classes of dishonesty, BNAIC 2009, 2009
• Caire, Patrice: How to import the concept of conviviality to web communities, International Journal of Web Based Communities (IJWBC), vol. 3, 2009
• Caminada, Martin W.A.; Wu, Yining: An Argument Game for Stable Semantics, Logic Journal of the IGPL, vol. 17, no. 1, 2009, pp. 77–90
• Caire, Patrice; van der Torre, Leendert: The Design of Convivial Multiagent Systems, Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB, 2009
• Caire, Patrice; van der Torre, Leendert: Temporal Dependence Networks for the Design of Convivial Multiagent Systems, Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2009, pp. 1317–1318
• Boella, Guido; Caire, Patrice; van der Torre, Leendert: Norm Negotiation in Online Multi-Player Games, Knowledge Information System Journal, vol. 18, no. 2, 2009, pp. 137–156
• Caire, Patrice; van der Torre, Leendert: Convivial ambient technologies: Requirements, ontology, and design, The Computer Journal, vol. 3, 2009
• Caire, Patrice: Designing Convivial Digital Cities: A Social Intelligence Design Approach, AI Society Journal, vol. 24, no. 1, 2009, pp. 97–114
• Gabbay, Dov M.: Semantics for higher level attacks in extended argumentation frames, Studia Logica, 2009
• Boella, Guido; Sauro, Luigi; van der Torre, Leendert: Algorithms for finding coalitions exploiting a new reciprocity condition, Logic Journal of the IGPL, vol. 17, no. 3, 2009, pp. 273–297
• Sauro, Luigi; van der Torre, Leendert; Villata, Serena: Dependency in Cooperative Boolean Games, Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings, vol. 5559, Springer, 2009, pp. 1–10, ISBN: 978-3-642-01664-6
• Boella, Guido; Gabbay, Dov M.; van der Torre, Leendert; Villata, Serena: Meta-Argumentation part 1, Studia Logica, 2009
• Caminada, Martin W.A.; Gabbay, Dov M.: A logical account of formal argumentation, Studia Logica, 2009
• Boella, Guido; Kaci, Souhila; van der Torre, Leendert: Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, vol. 5590, Springer, 2009, pp. 107–118, ISBN: 978-3-642-02905-9
• Pigozzi, Gabriella; Slavkovik, Marija; van der Torre, Leendert: A Complete Conclusion-Based Procedure for Judgment Aggregation, Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings, vol. 5783, Springer, 2009, pp. 1–13, ISBN: 978-3-642-04427-4
• Caire, Patrice; van der Torre, Leendert: Temporal dependence networks for the design of convivial multiagent systems, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, IFAAMAS, 2009, pp. 1317–1318, ISBN: 978-0-9817381-7-8
• Boella, Guido; Hulstijn, Joris; van der Torre, Leendert: Social network semantics for agent communication, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, IFAAMAS, 2009, pp. 1215–1216, ISBN: 978-0-9817381-7-8
• Boella, Guido; van der Torre, Leendert; villata, Serena: Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics, Proceedings of COIN, 2009
• Boella, Guido; Kaci, Souhila; van der Torre, Leendert: Dynamics in argumentation with single extensions: attack refinement and the grounded extension, 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2, IFAAMAS, 2009, pp. 1213–1214, ISBN: 978-0-9817381-7-8
• Boella, Guido; Pigozzi, Gabriella; van der Torre, Leendert: Normative framework for normative system change, The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1, IFAAMAS, 2009, pp. 169–176, ISBN: 978-0-9817381-6-1
• Boella, Guido; van der Torre, Leendert; Villata, Serena: Analyzing Cooperation in Iterative Social Network Design, Journal of Universal Computer, 2009
• Boella, Guido; van der Torre, Leendert; Villata, Serena: A Normative Multiagent Approach to Requirements Engineering, SNAMAS, 2009
• Baldoni, Matteo; Boella, Guido; Genovese, Valerio; Grenna, Roberto; Mugnaini, Andrea; van der Torre, Leendert: A Middleware for modeling Organizations and Roles in Jade, Proceedings of PROMAS, 2009
• Boella, Guido; van der Torre, Leendert: The Interplay between Relationships, Roles and Objects, Proceedings of FSEN09, Springer, 2009
• Boella, Guido; Broersen, Jan; van der Torre, Leendert; Villata, Serena: Representing Excuses in Social Dependence Networks, AI*IA, Springer, 2009
• Boella, Guido; Genovese, Valerio; Gabbay, Dov M.; van der Torre, Leendert: A Multimodal view on Access Control and Trust Management: Fibred Security Language, Proceedings of STM09, 2009
• Boella, Guido; Broersen, Jan; van der Torre, Leendert; Villata, Serena: A Normative Multiagent Approach to Requirements Engineering, Postproceedings COIN@AAMAS 2009, Springer, 2009
• Khovratovich, Dmitry; Nikolic, Ivica; Weinmann, Ralf-Philipp: Meet-in-the-Middle Attacks on SHA-3 Candidates, Fast Software Encryption, vol. 5665, Springer, 2009, pp. 228-245, ISBN: 978-3-642-03316-2
• Pinel, Frederic; Dorronsoro, Bernabe; Bouvry, Pascal: A New Parallel Asynchronous Cellular Genetic Algorithm for de Novo Genomic Sequencing, Soft Computing and Pattern Recognition, 2009. International Conference of, 2009, pp. 178-183, ISBN: 978-1-4244-5330-6
• Pinel, Frederic; Bouvry, Pascal; Seredynski, Franciszek: Weak Key Analysis of Cellular Automata-Based Random Number Generation and Secret Key Cryptography, Computational Intelligence in Architecting Engineering Systems, vol. 19, ASME, 2009, pp. 43-49, ISBN: 978-0-7918-0295-3
• Coron, Jean-Sébastien; Naccache, David; Tibouchi, Mehdi; Weinmann, Ralf-Philipp: Practical Cryptanalysis of ISO/IEC 9796-2 and EMV Signatures, Advances in Cryptology - CRYPTO 2009, 29th Annual International Cryptology Conference, vol. 5677, Springer, 2009, pp. 428-444, ISBN: 978-3-642-03355-1
• Lucks, Stefan; Schuler, Andreas; Tews, Erik; Weinmann, Ralf-Philipp; Wenzel, Matthias: Attacks on the DECT authentication mechanisms, Topics in Cryptology - CT-RSA 2009, The Cryptographers' Track at the RSA Conference 2009, vol. 5473, Springer, 2009, pp. 48-65, ISBN: 978-3-642-00861-0
• Bisdorff, Raymond; Meyer, Patrick; Veneziano, Thomas: Inverse analysis from a Condorcet robustness denotation of valued outranking relations, Algorithmic Decision Theory, Berlin Heidelberg, Springer, Berlin Heidelberg 2009, 2009, pp. 180-191, ISBN: 978-3-642-04427-4
• Cid, Carlos; Weinmann, Ralf-Philipp: Block Ciphers: Algebraic Cryptanalysis and Gröbner Bases, Gröbner, Coding and Cryptography, Springer, 2009, 2009, pp. 307-325, ISBN: 978-3-540-93805-7
• Bhattacharyya, Rishiraj; Mandal, Avradip; Nandi, Mridul: Indifferentiability Characterization of Hash Functions and Optimal Bounds of Popular Domain Extensions, Progress in Cryptology - INDOCRYPT 2009, 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009. Proceedings, vol. 5922, Springer, 2009, pp. 199-218, ISBN: 978-3-642-10627-9
• Coron, Jean-Sébastien; Mandal, Avradip: PSS Is Secure against Random Fault Attacks, Advances in Cryptology - ASIACRYPT 2009, 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009. Proceedings, vol. 5912, Springer, 2009, pp. 653-666, ISBN: 978-3-642-10365-0
• Galindo, David; Kiltz, Eike: Direct chosen-ciphertext secure identity-based key encapsulation without random oracles, Theoretical Computer Science, vol. 410, no. 47-49, Elsevier B.V., 2009, pp. 5093-5111
• Galindo, David; Garcia, Flavio D.: A Schnorr-Like Lightweight Identity-Based Signature Scheme, Progress in Cryptology – AFRICACRYPT 2009, vol. Security and Cryptology,, no. LNCS 5580, Springer Berlin / Heidelberg, 2009, pp. 135-148, ISBN: 978-3-642-02383-5
• Galindo, David: Breaking and Repairing Damgard et al. Public Key Encryption Scheme with Non-interactive Opening, Topics in Cryptology - CT-RSA 2009: The Cryptographers' Track at the RSA Conference 2009, vol. LNCS 5473, Springer, 2009, pp. 135-148, ISBN: 978-3-642-00861-0
• Piyatumrong, Apivadee; Ruiz, Patricia; Bouvry, Pascal; Guinand, Frederic; Lavangnananda, Kittichai: Token Traversal Strategies of a Distributed Spanning Forest Algorithm in Mobile Ad hoc - Delay Tolerant Networks, Advances in Information Technology, vol. Communications in Computer and Information Science, no. 55, Springer Berlin Heidelberg, 2009, pp. 96-109, ISBN: 978-3-642-10391-9
• Herbiet, Guillaume-Jean; Bouvry, Pascal: UrbiSim: A Framework for Simulation of Ad Hoc Networks in Realistic Urban Environment, 2009 Global Information Infrastructure Symposium (GIIS 2009), Institute of Electrical and Electronics Engineers (IEEE), 2009, pp. 1-6, ISBN: 978-1-4244-4623-0
• Biryukov, Alex; Khovratovich, Dmitry; Nikolic, Ivica: Distinguisher and Related-Key Attack on the Full AES-256, CRYPTO, vol. 5677, Springer, 2009, pp. 231-249, ISBN: 978-3-642-03355-1
• Khovratovich, Dmitry; Biryukov, Alex; Nikolic, Ivica: Speeding up Collision Search for Byte-Oriented Hash Functions, Topics in Cryptology - CT-RSA, vol. 5473, Springer, 2009, pp. 164-181, ISBN: 978-3-642-00861-0
• Matusiewicz, Krystian; Naya-Plasencia, Maria; Nikolic, Ivica; Sasaki, Yu; Schläffer, Martin: Rebound Attack on the Full Lane Compression Function, Advances in Cryptology - ASIACRYPT, vol. 5912, Springer, 2009, pp. 106-125, ISBN: 978-3-642-10365-0
• Biryukov, Alex; Gauravaram, Praveen; Guo, Jian; Khovratovich, Dmitry; Ling, San; Matusiewicz, Krystian; Nikolic, Ivica; Pieprzyk, Josef; Wang, Huaxiong: Cryptanalysis of the LAKE Hash Family, Fast Software Encryption, vol. 5665, Springer, 2009, pp. 156-179, ISBN: 978-3-642-03316-2
• Poray, Jayanta; Schommer, Christoph: A Cognitive Mind-Map Framework to Foster Trust, Fifth International Conference on Natural Computation, ICNC 2009, Tianjian, China, 14-16 August 2009, 6 Volumes, 2009, pp. 3-7, ISBN: 978-0-7695-3736-8
• Kaufmann, Sascha; Schommer, Christoph: e-Conviviality in Web Systems by the Wisdom of Crowds, 4th ICITST09 - International Conference for Internet Technology and Secured Transactions, 2009, pp. 74-76, ISBN: -
• Schommer, Christoph: An Artificial Molecular Model to foster Communities, International Conference on Knowledge Discovery and Information Retrieval (KDIR 2009), 2009, pp. 120-125, ISBN: -
• Jonker, Hugo; Mauw, Sjouke: Discovering the core security requirements of DRM systems by means of objective trees, Handbook of Research on Secure Multimedia Distribution, Chapter V, Information Science Reference, Chapter V 2009, 2009, pp. 71-85, ISBN: 978-1-60566-262-6
• Bulling, N.; Jamroga, W.: Model checking ATL+ is harder than it seemed, Easy yet hard: Model checking strategies of agents, vol. 5405, Springer, 2009, pp. 1-12, ISBN: 978-3642027338
• Kordy, Barbara: A Rewrite Approach for Pattern Containment, Recent Trends in Algebraic Development Techniques, vol. volume 5486 of LNCS, Springer, 2009, pp. 236-250, ISBN: 978-3-642-03428-2
• Chen, Xihui; van Deursen, Ton; Pang, Jun: Improving automatic verification of security protocols with XOR, Formal Methods and Software Engineering, vol. 5885, Springer, 2009, pp. 107-126, ISBN: 978-3642103728
• van Deursen, Ton; Mauw, Sjouke; Radomirović, Saša; Vullers, Pim: Secure ownership and ownership transfer in RFID systems, Computer Security (ESORICS'09), vol. 5789, Springer, 2009, pp. 637-654, ISBN: 978-3642044434
• van Deursen, Ton; Radomirović, Saša: Algebraic attacks on RFID protocols, Information Security Theory and Practices. Smart Devices, Pervasive Systems, and Ubiquitous Networks (WISTP'09), vol. 5746, Springer, 2009, pp. 38-51, ISBN: 978-3642039430
• Alcade, B.; Dubois, Eric; Mauw, Sjouke; Mayer, N.; Radomirović, Saša: Towards a decision model based on trust and security risk management. In Ljiljana Brankovic and Willy Susilo, Conferences in Research and Practice in Information Technology, vol. 98, 2009, pp. 61-69, ISBN: 978-1-920682-79-8.
• van Deursen, Ton; Radomirović, Saša: Security of RFID protocols - A case study, Electronic Notes in Theoretical Computer Science, vol. 244, ENTCS, 2009, pp. 41-52, ISBN: 1571-0661
• Bulling, N.; Jamroga, W.: What agents can probably enforce, Fundamenta Informaticae, 2009, pp. 81-96
• van Deursen, Ton; Radomirović, Saša: On a new formal proof model for RFID location privacy, Information Processing Letters, vol. 110, no. 2, Elsevier, 2009, pp. 57-61
• Jonker, Hugo; Mauw, Sjouke; Pang, Jun: A formal framework for quantifying voter-controlled privacy, Journal of Algorithms in Cognition, Informatics and Logic, 2009, pp. 89-105
• Seredynski, Marcin; Bouvry, Pascal; Klopotek, Mieczyslaw: Evolving Strategy-Based Cooperation in Wireless Ad Hoc Networks, Intelligent Information Systems, Advances in Artificial Intelligence for Privacy Protection and Security, vol. 1, World Scientific, 2009, 2009, pp. 359-381, ISBN: 978-981-279-032-3
• Boella, Guido; Gabbay, Dov M.; Genovese, Valerio; van der Torre, Leendert: Fibred security language, Studia Logica, 2009, pp. 395-436
• Barker, Steve; Guido, Boella; Gabbay, Dov M.; Valerio, Genovese: A meta-model of access control in a fibred security language, Studia Logica, vol. 92, no. 3, Springer, 2009, pp. 437-477, ISSN: 0039-3215
• Melakessou, Foued; Sorger, Ulrich; Suchanecki, Zdzislaw: A Multiplicative Law of Network Traffic and Its Consequences., Acta Physica Polonica B, vol. 40, no. 5, Jagellonian University and the Polish Academy of Arts and Sciences., 2009, pp. 1507-1525, ISSN: PL ISSN 0587-4254
• Melakessou, Foued; Engel, Thomas: Network Traffic Simulator 2.0. Scilab Toolbox: Simulating the Internet Traffic., 2009 International Workshop on Open-source Software for Scientific Computation, 2009, pp. 1-9, ISBN: 0
• Kizhvatov, Ilya: Side channel analysis of AVR XMEGA crypto engine, 4th Workshop on Embedded Systems Security, ACM, 2009, pp. 1-7, ISBN: 978-1-60558-700-4
• Coron, Jean-Sébastien; Kizhvatov, Ilya: Analysis of the split mask countermeasure for embedded systems, 4th Workshop on Embedded Systems Security, ACM, 2009, pp. 1-10, ISBN: 978-1-60558-700-4
• Coron, Jean-Sébastien; Joux, Antoine; Kizhvatov, Ilya; Naccache, David; Paillier, Pascal: Fault Attacks on RSA Signatures with Partially Unknown Messages, Cryptographic Hardware and Embedded Systems - CHES 2009, vol. 5747, Springer, 2009, pp. 444-456, ISBN: 978-3-642-04137-2
• Coron, Jean-Sébastien; Kizhvatov, Ilya: An Efficient Method for Random Delay Generation in Embedded Software, Cryptographic Hardware and Embedded Systems - CHES 2009, vol. 5747, Springer, 2009, pp. 156-170, ISBN: 978-3-642-04137-2
• Seredynski, Marcin; Bouvry, Pascal: Evolutionary game theoretical analysis of reputation-based packet forwarding in civilian mobile Ad Hoc networks, The 12th International Workshop on Nature Inspired Distributed Computing, IEEE, 2009, pp. 1-8, ISBN: 978-1-4244-3751-1
• Großschädl, Johann; Savas, Erkay; Yumbul, Kazim: Realizing Arbitrary-Precision Modular Multiplication with a Fixed-Precision Multiplier Datapath, Proceedings of the 5th International Conference on Reconfigurable Computing and FPGAs (RECONFIG 2009), IEEE Computer Society, 2009, pp. 261-266, ISBN: 978-0-7695-3917-1
• Esch, Markus; Scholtes, Ingo: A Scale-free And Self-organized P2P Overlay For Massive Multiuser Virtual Environment, Proceedings of the 5th International Conference on Collaborative Computing Networking, Applications and Worksharing (CollaborateCom), 2009
• Esch, Markus; Ooi, Wei Tsang; Scholtes, Ingo: Evaluation Of The HyperVerse Avatar Management Scheme Based On The Analysis Of Second Life Traces, 2009
• Schloss, Hermann; Scholtes, Ingo; Botev, Jean; Esch, Markus; Höhfeld, Alexander; Sturm, Peter: Fuzzy Logic supported Consistency Management in DDVEs, ECEASST, vol. 17, 2009
• Scholtes, Ingo; Botev, Jean; Esch, Markus; Sturm, Peter: Epidemic Self-Synchronization in Complex Networks of Kuramoto Oscillators, Advances in Complex Systems (ACS), 2009, pp. 1794–1809
• Esch, Markus; Botev, Jean; Schloss, Hermann; Scholtes, Ingo: Performance Evaluation of GP3 - A Grid-Based Spatial Index Infrastructure, ITNG '09: Proceedings of the 2009 Sixth International Conference on Information Technology: New Generations, IEEE Computer Society, 2009, pp. 663–670, ISBN: 978-0-7695-3596-8
• Esch, Markus; Botev, Jean; Schloss, Hermann; Scholtes, Ingo: P2P-Based Avatar Interaction in Massive Multiuser Virtual Environments, vol. 0, IEEE Computer Society, 2009, pp. 977–982, ISBN: 978-0-7695-3575-3
• Gratz, Patrick; Botev, Jean: Collaborative Filtering via Epidemic Aggregation in Distributed Virtual Environments, Proceedings of the 5th International Conference on Collaborative Computing (CollaborateCom 2009), 2009
• Gratz, Patrick; Leclerc, Tom: Delay-Tolerant Collaborative Filtering, MSWiM '09: Proceedings of the 12th international symposium on Modeling, analysis and simulation of wireless and mobile systems, ACM Press, 2009
• Glodt, Christian; Kelsen, Pierre; Amalio, Nuno; Ma, Qin: From Platform-Independent to Platform-Specific Models using Democles, OOPSLA 2009 Demonstrations Track, 2009
• Boizot, Nicolas; Busvelle, Eric; Gauthier, Jean-Paul: Adaptive-gain Extended Kalman Filter: Extension to the Continuous-discrete Case, In Proceeding of the 10th European Control Conference (ECC'09), 2009
• Amalio, Nuno; Spanoudakis, George: From Monitoring Templates to Security Monitoring and Threat Detection, Workshop 1st Luxembourg Day on Security and Reliability, 2009
• Gallina, Barbara; Guelfi, Nicolas; Kelsen, Pierre: Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development, 33rd Annual IEEE Software Engineering Workshop 2009 (SEW-33), IEEE, 2009
• Gallina, Barbara; Guelfi, Nicolas: SPLACID: an SPL-oriented, ACTA-based, Language for Reusing (Varying) ACID Properties in Engineering Dependable Distributed Systems, 1st Luxembourg Day on Security and Reliability, 2009
• Morin, Brice; Perrouin, Gilles; Lahire, Philippe; Barais, Olivier; Vanwormhoudt, Gilles; Jézéquel, Jean-Marc: Weaving Variability into Domain Metamodels, ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), vol. 5795, Springer LNCS, 2009
• Amalio, Nuno: Suspicion-driven formal analysis of security requirements, SECURWARE 2009, 2009
• Kelsen, Pierre; Ma, Qin: Domain Hierarchies: a Basic Theoretical Framework for Integrating Software Domains, Extended Abstract, 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, IEEE, 2009
• Rusnjak, Andreas; El Kharbili, Marwane: On Leveraging Business Processes to deal with Critical Success Factors, Workshop on Business Process Modeling and Realization, vol. 154, 2009
• Dhaussy, Philippe; Pillain, Pierre-Yves; Creff, Stephen; Raji, Amine; Le Traon, Yves; Baudry, Benoit: Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation, Model Driven Engineering Languages and Systems (MODELS), vol. 5795, Springer LNCS, 2009, pp. 5795–438
• Glodt, Christian; Kelsen, Pierre; Amalio, Nuno; Ma, Qin: From Platform-Independent to Platform-Specific Models using Democles, International Conference on Object-Oriented Programming, Systems, Languages, and Applications, ACM Sigplan, 2009
• Kienzle, Joerg; Al Abed, Wisam; Klein, Jacques: Aspect-Oriented Multi-View Modeling, In 8th International Conference on Aspect Oriented Software Development (AOSD.09), 8th International Conference on Aspect Oriented Software Development (AOSD.09), ACM, 2009
• Luque, Gabriel; Bouvry, Pascal; Dorronsoro, Bernabé: An Asynchronous Parallel Implementation of a Cellular Genetic Algorithm for Combinatorial Optimization, Proceedings of the ACM International Genetic and Evolutionary Computation Conference (GECCO), 2009, pp. 1395–1401
• Guelton, S.; Varrette, S.: Une approche génétique et source à source de l'optimisation de code, Proc. des 19ème rencontres francophones du parallélisme (RenPar'19), 2009
• Guelton, S.; Gautier, T.; Pazat, J.-L.; Varrette, S.: Dynamic Adaptation Applied to Sabotage Tolerance, Proc. of the IEEE 17th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2009), IEEE Computer Society, 2009, pp. 237–244, ISBN: 978-0-7695-3544-9
• Varrette, S.; Bertholon, Benoit; Bouvry, Pascal: A Signature Scheme for Distributed Executions based on Macro-Dataflow Analysis, 2nd Int. Workshop on Remote Entrusting (Re-Trust 2009), 2009
• Seredynski, Michal; Kotowski, Romuald; Bouvry, Pascal: Collective behaviour in spatio-temporally generalized prisoner's dilemma, 15th International Workshop On Cellular Automata and Discrete Complex Systems, 2009
• Seredynski, M.; Ignac, T.; Bouvry, Pascal: Probabilistic Packet Relaying in Wireless Mobile Ad Hoc Network, Parallel Processing and Applied Mathematics (Proc. Parallel Processing and Applied Mathematics (PPAM 2009)), Springer LNCS, Springer Verlag, 2009
• Seredynski, M.; Bouvry, Pascal; Klopotek, M.A.: Evolving Strategy-Based Cooperation in Wireless Ad Hoc Networks, World Scientific, 2009
• Seredyński, Marcin; Bouvry, Pascal: Evolutionary Game Theoretical Analysis of Reputation-based Packet Forwarding in Civilian Mobile Ad Hoc Networks, The 22th IEEE International Parallel and Distributed Processing Symposium, NIDISC Workshop. Roma, Italy, 2009
• Sbazan, Miroslav; Seredynski, Franciszek; Bouvry, Pascal: Cryptographic Properties of Cellular Automata-based S-boxes Equivalent to DES S-boxes, ANNIE '09: Proceedings of the 19th international conference on Articial Neural Networks In Engineering (to appear), ASME Press Series, 2009
• Ostaszewski, Marek; Bouvry, Pascal; Seredynski, Franciszek: Multiobjective Classification with moGEP: An Application in the Network Traffic Domain, GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation, ACM, 2009, pp. 635–642
• Mehdi, Malika; Melab, Nouredine; Talbi, El-Ghazali; Bouvry, Pascal: Interval island model initialization for permutation-based problems, IEEE Proc. of the Genetic and Evolutionary Computation Conference (GECCO'09, ACM, 2009, pp. 1919–1920
• Loukil, Lakhdar; Mehdi, Malika; Melab, Nouredine; Talbi, El-Ghazali; Bouvry, Pascal: A parallel hybrid genetic algorithm-simulated annealing for solving Q3AP on computational grid, IPDPS '09: Proceedings of the 2009 IEEE International Symposium on Parallel&Distributed Processing, IEEE Computer Society, 2009, pp. 1–8, ISBN: 978-1-4244-3751-1
• Loukil, L.; Mehdi, M.; Melab, N.; Talbi, E-G.; Bouvry, Pascal: A Parallel Hybrid Genetic Algorithm-Simulated Annealing for Solving Q3AP on Computational Grid, The 22th IEEE International Parallel and Distributed Processing Symposium, NIDISC Workshop. Roma, Italy, 2009
• Le Thi, H.A.; Le Hoai, M.; Pham, D.T.; Bouvry, Pascal: Solving the Perceptron Problem by deterministic optimization approach based on DC programming and DCA, INDIN 2009, Cardiff, IEEE, 2009
• Herbiet, Guillaume-Jean; Bouvry, Pascal: A Framework for Simulation of Ad Hoc Networks in Realistic Urban Environment, Proceedings of the 2nd IEEE International Workshop on ITS for Ubiquitous Roads, co-located with IEEE GIIS, 2009
• Dunlop, D.; Varrette, S.; Bouvry, Pascal: Deskilling HPL - Using an Evolutionary Algorithm to Automate Cluster Benchmarking, Proc. of 8th Intl. conf. on Parallel Processing and Applied Mathematics (PPAM 2009), Springer Verlag, 2009
• Dorronsoro, Bernabe; Ruiz, Patricia; Danoy, Grégoire; Bouvry, Pascal; Tardon, Lorenzo: Towards Connectivity Improvement in VANETs using Bypass Links, 2009 IEEE Congress on Evolutionary Computation, IEEE Press, 2009, pp. 2201–2208
• Ding, Jianguo; Jian, Jian; Bouvry, Pascal; Hu, Yongtao; Guan, Haibing: Behavior-based Proactive Detection of Unknown Malicious Codes, 4th International Conference on Internet Monitoring and Protection, IEEE computer society press, 2009, pp. 72–77
• Danoy, Grégoire; Dorronsoro, Bernabé; Bouvry, Pascal; Franck, Zimmer: Multi-objective Optimization for Information Sharing in Vehicular Ad Hoc Networks, IAIT '09: Proceedings of the 3rd International Conference on Advances in Information Technology(to appear), Springer, 2009
• Danoy, Grégoire; Dorronsoro, Bernabé; Bouvry, Pascal: Overcoming partitioning in large ad hoc networks using genetic algorithms, GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation, ACM, 2009, pp. 1347–1354, ISBN: 978-1-60558-325-9
• Danoy, Grégoire; Bouvry, Pascal; Boissier, Olivier: A Multi-Agent Organizational Model for Coevolutionary Optimization, ANNIE '09: Proceedings of the 19th international conference on Articial Neural Networks In Engineering (to appear), ASME Press Series, 2009
• Danoy, Grégoire; Bouvry, Pascal; Boissier, Olivier: Multi Agent Organisation for Coevolutionary Optimization, 1st International Workshop on Organizational Modeling (ORGMOD'09), 2009, pp. 34 – 49
• Stieghahn, Michael; Engel, Thomas: Using XACML in Law-aware Access Control, Third International Workshop on Juris-informatics ({JURISIN} 2009), 2009, pp. 0-0, ISBN: 4-915905-38-1
• Stieghahn, Michael; Engel, Thomas: Law-aware Access Control for International Financial Environments, MobiDE '09: Proceedings of the Eighth ACM International Workshop on Data Engineering for Wireless and Mobile Access, ACM New York, NY, USA, 2009, pp. 33-40, ISBN: 978-1-60558-712-7
• Piyatumrong, Apivadee; Bouvry, Pascal; Guinand, Frederic; Lavangnananda, Kittichai; Ruiz, Patricia: A Study of Token Traversal Strategies on Tree-Based Backbones for Mobile Ad Hoc - Delay Tolerant Networks, 2009 International Conference on Ultra Modern Telecommunications, ICUMT 2009 and Workshops Proceedings, 2009, pp. 96-109, ISBN: 978-1-4244-3941-6
• Staab, Eugen; Engel, Thomas: Formalizing Excusableness of Failures in Multi-Agent Systems, Agent Computing and Multi-Agent Systems: Revised Papers of the 10th Pacific Rim International Conference on Multi-Agents (PRIMA 2007), vol. 5044, Springer Verlag, 2009, pp. 122-133, ISBN: 978-3-642-01638-7
• Fusenig, Volker; Staab, Eugen; Sorger, Uli; Engel, Thomas: Slotted Packet Counting Attacks on Anonymity Protocols, Proc. of the Australasian Information Security Conference (AISC2009), vol. 98, Australian Computer Society, 2009, pp. 53-59, ISBN: 978-1-920682-79-8
• Rehak, Martin; Staab, Eugen; Pechoucek, Michal; Stiborek, Jan; Grill, Martin; Bartos, Karel: Dynamic Information Source Selection for Intrusion Detection Systems, Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '09), 2009, pp. 1009-1016, ISBN: 0
• Staab, Eugen; Engel, Thomas: Collusion Detection for Grid Computing, Proceedings of the 9th IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGrid '09), IEEE Computer Society, 2009, pp. 412-419, ISBN: 0
• Aucher, Guillaume: BMS revisited, Theoretical Aspects of Rationality and Knowledge (TARK 2009), 2009, pp. 24-33, ISBN: 1421324
• Capozucca, Alfredo; Guelfi, Nicolas: Designing Reliable Real-Time Concurrent Object-Oriented Software Systems, Proceedings of the 24th ACM Symposium on Applied Computing (Track on Real-Time Systems) SAC'09, 2009
• Francis, Olivier; Jiang, Z.; Becker, M.; Germak, A.; Palinkas, V.; Kostelecky, J.; Jousset, P.; Dupont, F.; Lee, C. W.; Tsai, C. L.; Falk, R.; Wilmes, H.; Kopaev, A.; Ruess, D.; Ullrich, M. C.; Meurers, B.; Mrlina, J.; Deroussi, S.; Métivier, L.; Pajot, G.; Pereira Dos Santos, F.; Van Ruymbeke, M.; Naslin, S.; Ferry, M.: Relative Gravity Measurement Campaign during the 7th International Comparison of Absolute Gravimeters, Metrologia, vol. 46, no. 3, IOP Publishing, 2009, pp. 214-226
• Staab, Eugen; Fusenig, Volker; Engel, Thomas: Trust-Aided Acquisition of Unverifiable Information, Proceedings of the 18th European Conference on Artificial Intelligence (ECAI '08), IOS Press, 2009, pp. 869-870, ISBN: 978-1-58603-891-5
• Staab, Eugen; Fusenig, Volker; Engel, Thomas: Towards Trust-Based Acquisition of Unverifiable Information, Cooperative Information Agents XII, vol. 5180, Springer Verlag, 2009, pp. 41-54, ISBN: 978-3-540-85833-1
• Staab, Eugen; Engel, Thomas: Combining Cognitive with Computational Trust Reasoning, Trust in Agent Societies, vol. 5396, Springer Verlag, 2009, pp. 99-111, ISBN: 978-3-540-92802-7