Bonaventure, Olivier - D�partement d'ing�nierie Informatique, Universit� Catholique de Louvain

Advanced Search

Bonaventure, Olivier - D�partement d'ing�nierie Informatique, Universit� Catholique de Louvain

Quadrimestriel | Octobre 2009 | n7 | Spirit of Management | le magazine de HEC-ULg | 5 E BELGIQUE-BELGIE
QoS Models for Business Layers Fernando Matos
Network Working Group D. Saucez Internet-Draft Universite catholique de Louvain
Disruption free topology reconfiguration in OSPF Pierre Francois
A Comparative Study of Path Performance Metrics Predictors
Interdomain Traffic Engineering in a Locator/Identifier Separation Context
BGP Add-Paths : The Scaling/Performance Virginie Van den Schrieck, Pierre Francois, Olivier Bonaventure
O. Bonaventure, 2007ISP-model 1 Issues in modelling ISP networks
IP Geolocation Databases: Unreliable? Ingmar Poese, Steve
A Bisimulation-Based Approach to the Analysis of Human-Computer Interaction
UCLouvain -Belgium IP Networking Lab -http://inl.info.ucl.ac.be
Nocturne d't l'Aquarium de Lige Sances commentes de
Combining Two Structured Domains for Modeling Various Graph Matching Problems
Distribution Statement ---Approved for public release, distribution is unlimited. This work was performed under NASA contract no. NAS801100 with the 2 nd Generation Reusable Launch Vehicle
Internet Engineering Task Force (IETF) B. Decraene Request for Comments: 6198 France Telecom
Improved Path Exploration in shim6-based Multihoming Sbastien Barr
OpenLISP: An Open Source Implementation of the Locator/ID Separation Protocol
Logic programming in the context of multiparadigm programming
Using LOTOS for Specifying the CHORUS Distributed Operating System Kernel Using LOTOS for Specifying the CHORUS Distributed
Building an AS-topology model that captures route diversity
ACM SIGCOMM conference MobiArch workshop
Formal Verification for a Next-Generation Space Shuttle
Internet Topology Discovery Through mrinfo Probing
Universit de Lige, Campus du Sart-Tilman Avenue des Chevreuils, 3
IP Networking Lab http://inl.info.ucl.ac.be
Department of Computing Science and Engineering Universit Catholique de Louvain
O. Bonaventure, 2008 Network Security
Formal Verification of Diagnosability via Symbolic Model Checking Alessandro Cimatti
Contacts Rseau des Bibliothques de l'Universit de Lige Direction
Practical Formal Verification of Diagnosability of Large Models
practical microeconomics and Internet resource sharing protocols
Improving the Specification of Data Types in LOTOS Doctorate thesis
Formal Verification of Diagnosability via Symbolic Model Checking
Quadrimestriel | Fvrier 2011 | n11 | Spirit of Management | le magazine de HEC-ULg | 5 BELgIQUE-BELgIE
Aggregating Noisy and Unsynchronized Measurements for Network Tomography
DTS: a Decentralized Tracing System Kenji Masui
LISP-Click: A Click implementation of the Locator/ID Separation Protocol
MERLIN: MEasure the Router Level of the INternet Pascal Merindol, Benoit Donnet, Jean-Jacques Pansiot, Matthew Luckie, Young Hyun
Seamless Network-Wide IGP Migrations Technical Report
ISP Driven Informed Path Selection Damien Saucez Benoit Donnet Olivier Bonaventure
Internet Engineering Task Force A. Ford Internet-Draft Roke Manor Research
Improving retouched Bloom filter for trading off selected false positives against false negatives
A Survey on Network Coordinates Systems, Design, and Security
Recent Advances in Multi-Constrained Routing for Multi-Domain Networks
Connecting Cloud Applications to the Internet Vytautas Valancius
Trafic engineering optimization methods to provide multiple IP services on a shared infrastructure
Triangle Inequality Violation Avoidance in Internet Coordinate Systems
Source Route Capabilities Vamsi Kambhampati
On Opportunistic Networking Security Bernhard Distl, Franck Legendre
Reliable Internetworking using publish/subscribe Nikolaos Fotiou
A Hierarchical Model for BGP Routing Policies Laurent Vanbever Bruno Quoitin Olivier Bonaventure
Customized BGP Route Selection Using BGP/MPLS VPNs
Extracting Intra-Domain Topology from mrinfo Probing
IGen: Generation of Router-level Internet Topologies through Network Design Heuristics
Preventing the Unnecessary Propagation of BGP Virginie Van den Schrieck1
D. Saucez,V. N. Nguyen and O. Bonaventure Universit catholique de Louvain
OpenLISP: An Open Source Implementation of the Locator/ID Separation Protocol
Universite Catholique de Louvain Ecole Polytechnique de Louvain
Implementation and evaluation of the Shim6 protocol in the Linux kernel
(Locator/Identifier Separation Protocol) Department of Computing Science and Engineering
Mickal Hoerdt, Dept. of computer engineering Universit catholique de Louvain la neuve
O. Bonaventure, 2008Evolution-Internet-Architecture/2008 Separating identifiers from locators to
O. Bonaventure 2008CNPP/2008.1. Computer Networks
O. Bonaventure 2008CNPP/2008.2. Computer Networks
O. Bonaventure 2008CNPP/2008.3. Computer Networks
O. Bonaventure 2008CNPP/2008.5. Computer Networks
O. Bonaventure 2008CNPP/2008.6. Computer Networks
O. Bonaventure 2008CNPP/2008.1. Computer Networks
O. Bonaventure 2008CNPP/2008.11. Computer Networks
EMANICS Summer School, July 2007 - B. Quoitin BGP Analysis and Modeling
Some of the note pages contain hypertext links to web pages. You can obtain an HTML or OpenOffice version of this tutorial with the hypertext links
Scaling Node Discovery for the Internet Interface Graph
Scaling the Internet: Still crazy after all these
(C)2009,BrunoQuoitin(UCLouvain) TRILOGYSummerSchool,24-28/08/2009,Louvain-la-Neuve
Let BGP speakers configure their iBGP sessions on Virginie Van den Schrieck, Pierre Francois, Sebastien Tandel, Olivier Bonaventure
Leveraging Network Performances with IPv6 Multihoming and Multiple Provider-Dependent
Evaluating the Benefits of the Locator/Identifier Bruno Quoitin, Luigi Iannone, Cdric de Launois, Olivier Bonaventure
Locator/ID Separation: Study on the cost of Mappings Caching and Mappings Lookups
LISP MappingVersioning draft-iannone-lisp-mapping-versioning-01.txt
The Two Best First Hops algorithm (TBFH) An Efficient Algorithm to Enable Path Diversity
Catholic University of Louvain Faculty of Applied Sciences
Portes ouvertes l'Universit
C-BGP User's Guide (version 1.1.20)
Interdomain Routing with BGP4, 2526 Nov. 2004 2004, B. Quoitin 1.1 Interdomain routing with BGP4Interdomain routing with BGP4
Interdomain Routing with BGP4, 2526 Nov. 2004 2004, B. Quoitin 2.1 Interdomain routing with BGP4Interdomain routing with BGP4
Leakage-resilient Stream Ciphers: an Overview Olivier Pereira
Incentives for BGP Guided IP-Level Topology Discovery
IEEE Communications Surveys & Tutorials 4th Quarter 20072 his survey focuses on measurements of the network
Authenticated Wireless Roaming via Tunnels: Making Mobile Guests Feel at Home
Improvements to IP routing convergence
O. Bonaventure, 2008 IPv6 host-based multihoming
s o m m a i r e Fvrier 2011 -no
Triannual | February 2010 | no 8 | Spirit of Management | the HEC-ULg magazine | EUR 5
Quadrimestriel | Juin 2010 | n9 | Spirit of Management | le magazine de HEC-ULg | 5 BELGIQUE-BELGIE
Quadrimestriel | Juin 2009 | n6 | Spirit of Management | le magazine de HEC-ULg | 5 BELGIQUE-BELGIE
Quadrimestriel | Fvrier 2009 | n5 | Spirit of Management | le magazine de HEC-ULg | 5 E BELGIQUE-BELGIE
Quadrimestriel | Juin 2008 | n3 | Spirit of Management | le magazine de HEC-ULg | 5 E BELGIQUE-BELGIE
N2 Spirit of Management | -Chaire KBL HEC-ULg|
N1 Spirit of Management | -Marc DUBRU Yves CRAMA
Universit de Lige, Campus du Sart-Tilman Avenue des Chevreuils, 3
conseil sprl Rue Ernest Solvay 376 4000 Lige Tl : +32 (0) 4 379 78 65
Depuis leur cration, il y a plus de trente ans, les Presses universitaires de Namur ont veill rendre compte des
The outlines package Charles Pecheur
Universit catholique de Louvain cole Polytechnique de Louvain
Sources et "questions" en histoire de l'ducation
Simulation-Based Verification of a Propulsion Feed Subsystem
Networking 2009, May 13th Preventing the
This work is licensed under a Creative Commons License http://creativecommons.org/licenses/by-sa/2.0/. The updated versions of the
On the Impact of Layer-2 on Node Degree Distribution Pascal Mrindol, Benoit Donnet, Olivier
VLib : infinite virtual libraries for LOTOS Charles PECHEUR *
Specification and Verification of the Co4 Distributed Knowledge System Using LOTOS
Theoretic overview Shim6 and Firewalls: Problem statement
Standardization Lars Eggert
A Formal Analysis of Requirements-Based Testing Charles Pecheur
Towards a modular architecture for future Internet control plane protocols
Network Working Group L. Iannone Internet-Draft TU Berlin -Deutsche Telekom
Compact Routing: Challenges,Compact Routing: Challenges, Perspectives, and BeyondPerspectives, and Beyond
A Secure Mechanism for Address Block Allocation and Distribution
Automatic Verification of Knowledge and Time with NuSMV Alessio Lomuscio
Improving Internal BGP Routing Virginie Van den Schrieck
A Proposal for Data Types for ELOTOS A Proposal for Data Types for ELOTOS
NGN model with heterogeneous mobile customers PhD Student
Vers des rflecteurs de routes plus intelligents Steve Uhlig, Cristel Pelsser, Bruno Quoitin, Olivier Bonaventure
An Adaptive Three-Party Accounting Protocol Gregory Detal Damien Leroy Olivier Bonaventure
Design et implmentation d'un logiciel de validation et de gnration de configurations rseaux
UNIVERSIT CATHOLIQUE DE LOUVAIN FACULT DES SCIENCES APPLIQUES
Bandwidth Aggregation over Heterogeneous Wireless Kristian Evensen
Towards validated network configurations with NCGuard
O. Bonaventure, P. Franois, 2004Page 1 MPLS'2005 February 15th, 2005 IGP Convergence in a SP network
Cibles de diffusion Tarif des annonces (HTVA)
INFORMATION TECHNOLOGY AND CONTROL NEEDS FOR INSITU RESOURCE UTILIZATION
MultiPath TCP -Architecture MultiPath TCP -Receive-Buffer
ROUTING IN NEXT GENERATION WORKSHOP, 2007 1 Implementing SHIM6 using the Linux XFRM
LISP-DHT: Towards a DHT to map identifiers onto locators Laurent Mathy
Communicating Process Architectures 2009 Peter Welch, Herman Roebbers and Tobe Announced (Eds.)
Symbolic Model Checking of Logics with Actions Charles Pecheur1
Verification and Validation and Artificial Intelligence
O. Bonaventure 2008CNPP/2008.4. Computer Networks
Introduction The life of an Internet communication...
Automating the iBGP organization in large IP networks Virginie Van den Schrieck
Experimentation with ns-3 Mathieu Lacage
B. Quoitin INL Workshop, April 22, 2008 Modeling the Routing of an ISP
Actes JFPC 2008 Hybridation de la programmation par contraintes
UNIVERSITE CATHOLIQUE DE LOUVAIN ECOLE POLYTECHNIQUE DE LOUVAIN
O. Bonaventure, 2009 Scaling the Internet with LISP
How to mitigate the effect of scans on mapping systems Damien Saucez
MERLIN: MEasure the Router Level of the INternet Pascal Merindol
Data Center Networking with Multipath TCP Costin Raiciu, Christopher Pluntke, Sebastien Barre, Adam Greenhalgh,
Efficient Symbolic Model Checking for Process Algebras
Quantifying ASes Multiconnectivity Using Multicast Information
Luigi Iannone 1 Benefits & Costs
The Paths Towards IPv6 Multihoming Cedric de Launois and Marcelo Bagnulo
Arithmetic Logic Units with High Error Detection Rates to Counteract Fault Attacks
Verification of Embedded Software: From Mars to Actions
LinShim6 -Implementation of the Shim6 protocol http://inl.info.ucl.ac.be/LinShim6
CBGP User's Guide (version 1.1.20)
Extensible Security Architectures for Java DAN S. WALLACH
University of Lige, Campus Sart-Tilman Avenue des chevreuils, 3
Solving Steel Mill Slab Problems with Constraint-Based Techniques: CP, LNS, and
On BGP Communities Benoit Donnet, Olivier Bonaventure
Enhanced Wireless Roaming Security using Three-Party Authentication and Tunnels
Quadrimestriel | Octobre 2008 | n4 | Spirit of Management | le magazine de HEC-ULg | 5 E BELGIQUE-BELGIE
POLITECNICO DI TORINO Faculty of Information Engineering
MipShim6 : une approche combine pour la mobilit et la multi-domiciliation
Verification of Intelligent Control Software Charles Pecheur
Simulation-Based Verification of Livingstone Applications A.E. Lindsey
CARE Rseau des Bibliothques B37 Grande Traverse 12 B-4000 Lige Belgique E-Mail Bib.direction@ulg.ac.be
de r eche r che INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
O. Bonaventure 2008CNPP/2008.10. Computer Networks
de la qualit des eaux Universit de Lige, Campus du Sart-Tilman
Some of the note pages contain hypertext links to web pages. You can obtain an HTML or OpenOffice version of this tutorial with the hypertext links
Advanced Modelling and Verification Techniques Applied to a Cluster File System
[Vla88] A. van Lamsweerde, B. Delcourt, E. Delor, M.C. Schayes and R. Champagne, ``Generic Lifecycle Support in the ALMA Environment'', IEEE Transactions on Software Engineering, Vol. 14, No. 6, June 1988, 720741.
O. Bonaventure 2008CNPP/2008.8. Computer Networks
TRANSACTIONS ON NETWORK AND SERVICE MANAGEMENT, ... 1 Traffic Engineering an Operational Network with
Network Working Group D. Saucez Internet-Draft Universite catholique de Louvain
MIPv6 et Shim6 MipShim6 : Une approche combinee pour la
O. Bonaventure, 2008Network Security/2008.2 Network Security
APERO Tools User's Guide APERO Tools User's Guide
From Livingstone to SMV Formal Verification for Autonomous Spacecrafts
O. Bonaventure, 2003BGP/2003.3.2 Organization of the global Internet
CONVENTION DE STAGE POUR LE MASTER EN INGENIEUR EN INFORMATIQUE
Engagement pdagogique relatif aux stages en entreprise organiss en master en sciences informatiques
Introduction Resolution
A secure role-based address allocation and distribution Damien Leroy
Path Diversity in Energy-Efficient Wireless Sensor Networks
MultiPath TCP: From Theory to Practice Sbastien Barr, Christoph Paasch, and Olivier Bonaventure
Interdomain traffic engineering with redistribution communities B. Quoitina
Domain Consistency with Forbidden Values Yves Deville1
Constraint-based local search for solving non-simple paths problems on graphs
Consistency check for the bin packing constraint Julien Dupuis1
Noname manuscript No. (will be inserted by the editor)
AEON: Synthesizing Scheduling Algorithms from High-Level Models
LS(Graph & Tree): A Local Search Framework for Constraint Optimization on Graphs and Trees
Actes JFPC 2008 LS(Graph): Un cadre de recherche locale pour des
Actes JFPC 2008 Hybridization of CP and VLNS for Eternity II.
Global Constraints for the Mean Absolute Deviation and the Variance: Application to the Vertical Line Balancing.
Introduction The Shim6 protocol
Experimenting with Multipath TCP Sbastien Barr, Olivier Bonaventure
From System Goals to Intruder Anti-Goals: Attack Generation and Resolution for Security Requirements Engineering
Actes JFPC 2010 Verification de consistance pour la contrainte de
PDVer, a Tool to Verify PDDL Planning Domains Franco Raimondi
Experimenting with Multipath TCP Sebastien Barre*, Olivier Bonaventure*
CONVENTION DE STAGE pour le Master Ingnieur civil lectricien Entre : 1. L'Universit de Lige
Improving Datacenter Performance and Robustness with Multipath TCP
Proc. of 12th J. Cartier Workshop on ``Formal Methods and their Applications: Telecommunications, VLSI and RealTime Computerized Control System'', Montreal, Canada, 24 Oct. 96.
Gestion avance de la mobilit dans les r-seaux maills sans fil
Enhanced Mobility Management in Wireless Mesh Networks
Automating Model Checking for Autonomous Systems Reid Simmons Charles Pecheur
Formal Verification of Autonomy Models From Livingstone to SMV
Formal Analysis of the Remote Agent Before and After Flight
Quadrimestriel | Octobre 2010 | n10 | Spirit of Management | le magazine de HEC-ULg | 5 E BELGIQUE-BELGIE
Towards validated router configurations
From Semirings to Meta-routing --An Algebraic Approach to Internet Routing
Copyright 2009 John Wiley & Sons, Ltd. Preparing network configurations for IPv6 renumbering
O. Bonaventure 2008CNPP/2008.1. Computer Networks
APERO Language Reference ---Version 2.0 APERO Language Reference
Applications of model checking for multiagent systems: verification of diagnosability and
Using Model Checking to Validate AI Planner Domain Models John Penix, Charles Pecheur and Klaus Havelund
Towards Automatic Verification of Autonomous Systems Reid Simmons Charles Pecheur Grama Srinivasan
Improving internal BGP V. Van den Schrieck, ICTEAM
Breaking Up the Transport Logjam
NH diversity in a research network model
GForge Manual Tom Copeland Roland Mas Ken McCullagh Tim Perdue Guillaume Smet
Representation-, Leakage-and Cipher-Dependencies in Algebraic Side-Channel Attacks
Comparison of IBGP Topologies Virginie Van den Schrieck
An Adaptive Three-Party Accounting Protocol Gregory Detal, Damien Leroy, Olivier Bonaventure
Work in Progress: On the Impact of Clustering on Measurement Reduction
The Case for an Informed Path Selection
LISP tutorial Damien Saucez
Autonomous Control of an InSitu Propellant Production Plant Daniel Clancy, William Larson, Charles Pecheur, Peter Engrand , Charles Goodrich
de r eche r che INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Seamless Network-Wide IGP Migrations Laurent Vanbever
BELNET -BEgrid UCL -INGI 18th
Just-In-Time Scheduling with Constraint Programming Jean-Noel Monette and Yves Deville
Testing Planning Domains (without Model Franco Raimondi1
O. Bonaventure, 2007Page 1 Reconsidering the Interdomain
Verification and Validation of Autonomy Software at NASA Charles Pecheur, RIACS / NASA Ames Research Center
Network Working Group S. Barre Internet-Draft C. Paasch
Quantifying the BGP routes diversity inside a tier-1 Steve Uhlig
Implications of the Topological Properties of Internet Traffic on Traffic Engineering
Interdomain Traffic Engineering with minimal BGP configurations Steve Uhlig
Providing Public Intradomain Traffic Matrices to the Research Community
Constraint-Based Graph Matching Vianney le Clment1, Yves Deville1, Christine Solnon2,3
This work is licensed under a Creative Commons License http://creativecommons.org/licenses/by-sa/2.0/. The updated versions of the
An Efficient Light Solver for Querying the Semantic Web
Traffic Engineering for Multiple Spanning Tree Protocol in Large Data Centers
s u m m a r y June 2011 -no
Internet Exchanges and BGP Route Servers
Traffic Engineering for Multiple Spanning Tree Protocol in Large Data Centers
Primitives for Active Internet Topology Mapping: Toward High-Frequency Characterization
Internet Topology Benoit Donnet
Pierre.Francois@UCLouvain.be BGP Path visibility
Triannual | June 2011 | no 12 | Spirit of Management | the HEC-ULg magazine | EUR 5
FSAB1402 Informatique 2 Examen Peter Van Roy et Pierre Dupont
CS2104 2003-2004, Semester 1 Assignment 1, CS2104: Train Shunting
BGP-based Interdomain Traffic Engineering
Speeding up constrained path solvers with a reachability propagator
FSAB1402 Informatique 2 Examen Peter Van Roy et Pierre Dupont
Failure Handling in a Network Transparent Distributed
Design, Implementation and Evaluation of MPVS
PALTA: Peer-to-peer AdaptabLe Topology for Ambient intelligence Alfredo Cadiz1
Requirements Engineering: From Craft to Discipline Axel van Lamsweerde
Lundi 12 mars Actualits en impt sur les revenus
Failure detection for the Bin-Packing Constraint , P. Schaus2
FlexClock, a Plastic Clock Written in Oz with the QTk toolkit
April 2006 P. Van Roy, FLOPS 2006 1 Convergence in Language Design
Patterns of Safe Collaboration Alfred Spiessens
Mercredi 14 mars Les plus-values de rvaluation, aspects comptables et fiscaux
springeronline.com All EURO and GBP prices are net prices subject to local VAT, e.g. in Germany 7% VAT. All prices exclusive
IEEE Network November/December 200512 0890-8044/05/$20.00 2005 IEEE he Internet consists of a collection of more than
Diversit des Chemins de Collecte dans les Rseaux de Capteurs conomes en nergie
Self Management of Large-Scale Distributed Systems by Combining Peer-to-Peer Networks and Components
FSAC1450 Informatique T4 Examen Final Prof. Peter Van Roy
Lock-Free Decentralized Storage for Transactional Upgrade Rollback Boris Mejias, Gustavo Gutierrez, Peter Van Roy
FSAB1402 Informatique 2 Examen Peter Van Roy
PROGRAMMATION Communiqu de presse Concepts, techniques, modles Octobre 2007
Lundi 6 fvrier La socit est-elle encore un outil de planification fiscale ?
Handling Obstacles in Goal-Oriented Requirements Engineering
Solving Balancing and Bin-Packing problems with
Multi-consistency in Peer-to-Peer computing Kevin Glynn Peter Van Roy
Beernet: A Relaxed Approach to the Design of Scalable Systems
A Relaxed-Ring for Self-Organising and Fault-Tolerant Peer-to-Peer Networks Boris Mejias and Peter Van Roy
Solving Constrained Graph Problems using Reachability Constraints based on
Sept. 2008 1 Overcoming Software Fragility with
Generating Annotated Behavior Models from End-User Scenarios
From mini-clouds to Cloud Computing Boris Mejias, Peter Van Roy
UNIVERSITE CATHOLIQUE DE LOUVAIN FACULTE DES SCIENCES APPLIQUEES
Contraintes pour Agents Autonomes Ordonnancement et Planification sous
UNIVERSITE CATHOLIQUE DE LOUVAIN FACULTE DES SCIENCES APPLIQUEES
I N S T I T U T S U P E R I E U R D E S L A N G U E S V I V A N T E S ANNE DES LANGUES
Lundi 5 mars Les rgles de preuve en droits comptable et fiscal
Reasoning About Confidentiality at Requirements Engineering Time
A Self-Adaptable Network Topology for Ambient Intelligence Boris Mejias, Alfredo Cadiz, Peter Van Roy, Kim Mens
Protocol (LISP) Damien Saucez* FRNOG 18, December 2th, 2011INRIA Sophia Antipolis
A Model-Based Approach for Distributed User Interfaces Jrmie Melchior1
Capability confinement by membranes Yves Jaradin, Fred Spiessens and Peter Van Roy
CS2104 Programming Language Concepts Assignment 2 on the Computation
Table of Contents Preface xiii
The Clouds of Revolution Peter Van Roy, Seif Haridi, Alexander Reinefeld, Jean-Bernard Stefani
Oct. 10, 2005 P. Van Roy, CIESC talk 1 A Concepts-Based Approach
Visualizing Transactional Algorithms for DHTs Boris Mejias
Distributed Unification Seif Haridi & Peter Van Roy
Enhancing Finite Set Constraint Programming with Probe Backtrack Search
Formal Specification: a Roadmap Axel van Lamsweerde
Datalogi II, Fall 2002 Exam Datalogi II (2G1512)
Mercredi 29 fvrier Gestion du risque pnal au sein de l'entreprise et
A concepts-based approach for teaching programming
Goal-Oriented Requirements Enginering: A Roundtrip from Research to Practice
nondeterminism? More declarative Less declarative
March 2006 P. Van Roy, UCL, Louvain-la-Neuve 1 The Road to Distributed Programming
Lundi 13 fvrier 10 erreurs ne pas commettre en matire d'valuation d'entreprises
Programming Language Concepts Seif Haridi
MultiparadigmProgramminginOz MartinMuller,TobiasMuller,andPeterVanRoy
Combining Partial-Order Reduction and Symbolic Model Checking
CS2104 Programming Language Concepts Tutorial 01, (Chapter 1)
A Language for Safe Capability Based Collaboration Yves Jaradin Fred Spiessens Peter Van Roy
Actes JFPC 2009 Aeon : Synth`ese d'Algorithmes d'Ordonnancement
proc if
Exam for 2G1512 DatalogiII, Apr 12th 2002 09.0014.00
From Object Orientation to Goal Orientation: A Paradigm Shift for Requirements Engineering
A Constraint Programming Approach to Subgraph
Concepts of Programming Languages Tutorial 05, CS2104 (2003-09-22)
Goal-Oriented Requirements Animation Hung Tran Van, Axel van Lamsweerde Philippe Massonet, Christophe Ponsard
Exam for 2G1512 DatalogiII, Dec 17th 2001 08.0013.00
The Importance of Concepts when Teaching Programming
of Revolution April 1, 2010
FSAB1402 Informatique 2 Examen Peter Van Roy et Pierre Dupont
Concurrent constraint programming-based path planning for uninhabited air vehicles
Path Selection Techniques to Establish Constrained Interdomain MPLS LSPs
Mozart System Limitations for Version 1.3.0 Peter Van Roy and Seif Haridi
CS2104, 2003 Semester 1 Tutorial 9 and 10, CS2104
From System Goals to Software Architecture Abstract. Requirements and architecture are two essential inter-related products
Intelligent Systems for the Future What About the Internet?
Low Complexity Link State Multipath Routing Pascal Merindol*
Designing Robust and Adaptive Distributed Systems with Weakly Interacting Feedback Structures
The Role of Language Paradigms in Teaching Programming Peter Van Roy (Moder.)
IST-2001-33234 PEer-to-Peer Implementation and TheOry
Using Constraints To Analyze And Generate Safe Capability Patterns
30th International Conference on Conceptual Modeling
CS2104 Programming Language Concepts Tutorial 03, Lecture 2 and 3
E cient Logic Variables for Distributed Computing SEIF HARIDI
Mercredi 28 mars Biens d'investissement usage mixte : l'article 45, 1er
The Challenges and Opportunities of Multiple Processors: Why Multi-Core Processors are Easy and Internet is Hard
Engineering Requirements for System Reliability and Security
Implementing Self-Adaptability in Context-Aware Systems
Mercredi 25 janvier Diriger une entreprise via une socit de management : avantages et inconvnients
Search heuristics and optimisations to solve package installability problems by constraint programming
Implementation of a traffic engineering technique that preserves IP Fast Reroute in
Improving transparency of a distributed programming Boris Mejias1
Agent-Based Tactics for Goal-Oriented Requirements Elaboration Emmanuel Letier and Axel van Lamsweerde
Introduction ``You're given the form,
Prolog and Its High Performance Execution This chapter gives an overview of the features of the Prolog language and an idea of what it means to
Inferring Declarative Requirements Specifications from Operational Scenarios
Recherche). Thanks to Martin Feather and Steve Fickas for encouragements and critical remarks, and to the FSE reviewers
1. H. AitKaci, The WAM: A (Real) Tutorial, DEC PRL Report Number 5, January 1990. 2. ALS Prolog, Version 1.0, Applied Logic Systems, Inc, 1988.
Logic Programming in Oz with Mozart
Evaluation of the Aquarius system 1. Introduction
Semantics of the Berkeley Abstract Machine 1. Introduction
disparition l'ordinateur
Concluding Remarks and Future Work ``So many things are possible just as long
Making distributed programming easy Peter Van Roy
Tuesday, May 27, 1997, 2:51 pm 1 Abstract. The WorldWide Web is rich in content and services, but access to
A Lightweight Reliable Object Migration Protocol
Formal specification of the Berkeley Abstract Machine semantics % Formal specification of the Berkeley Abstract Machine (BAM) semantics
Appeared in the 17th International Symposium on Computer Architecture 1 Fast Prolog with an Extended General Purpose Architecture
PARIS RESEARCH LABORATORY d i g i t a l
Source code of the C and Prolog benchmarks /* C version of tak benchmark */
Implementing a Distributed Shortest Path Propagator with Message Passing
ture of Domain and Instance``, Proc. RE'93 First International IEEE Symposium on Requirements Engineering, San Diego
The KAOS methodology provides a language and method for goaldriven requirements elaboration. GRAIL is an
2001 P. Van Roy and S. Haridi Teaching Programming
Integrating efficient records into concurrent constraint programming
Compiling Kernel Prolog to BAM Code 1. Introduction
Kernel transformations 1. Introduction
Contraintes pour Agents Autonomes Ordonnancement et Planification sous
Mobile Objects in Distributed Oz PETER VAN ROY
ESPRIT project 2537 Task IndusCas
Path Redundancy in a MobileState Protocol as a Primitive for LanguageBased Fault Tolerance
FaultTolerant Mobile Agents in Mozart Ili`es Alouini and Peter Van Roy \Lambda
Requirements & Specification Exemplars 1 Martin S. Feather * , Stephen Fickas + , Anthony Finkelstein ~ , and Axel van Lamsweerde #
PARIS RESEARCH LABORATORY d i g i t a l
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 DESIGN AND ANALYSIS OF HARDWARE
La disparition de l'ordinateur Expos'e donn'e au Conseil de Facult'e
Formal specification of the Berkeley Abstract Machine syntax % Formal specification of the Berkeley Abstract Machine (BAM) syntax
Table of Contents Chapter 1: Introduction
SRC Technical Note July 10, 1997
accumulator.pl % Copyright (C) 1989 Peter Van Roy and Regents of the University of California.
BAM Transformations 1. Introduction
``The Meeting Scheduler System Preliminary Definition'', Internal Report, University of Louvain, 1993.
Peter Van Roy Department of Computing Science and Engineering
Integrating Obstacles in GoalDriven Requirements Engineering
Le protocole rparti de Distributed Oz Ilis Alouini ---Peter Van Roy
Efficient Logic Variables for Distributed Computing SEIF HARIDI
Extended DCG notation: A tool for applicative programming in Prolog
The Two Representation Languages 1. Introduction
Acknowledgments This project has been an enriching experience in many ways. It was a privilege to be part of a team
Extended DCG notation: A tool for applicative programming in Prolog
ON THE SEPARATION OF CONCERNS IN DISTRIBUTED PROGRAMMING
Invited paper for New Generation Computing 1 Programming Languages
Multiparadigm Programming
Reconciling System Requirements and Runtime Behavior M.S. Feather 1 , S. Fickas 2 , A. van Lamsweerde 3 , and C. Ponsard 3
User manual for the Aquarius Prolog compiler 1. Introduction
Source code of the Aquarius Prolog compiler ``A dissertation is 1% ink and 99% pulp.''
The Beauty and Beast Algorithm: QuasiLinear Incremental Tests of
Programming Language Concepts Seif Haridi
gramming Languages and Systems 9(2), Apr. 87, 198234. [Fin89] A. Finkelstein and H. Fuks, ``Multiparty Specification'',
1. INTRODUCTION Requirements engineering (RE) is concerned with the
Mozart: A Programming System for Agent Applications Peter Van Roy
A new mobile state protocol for Distributed Oz M. Hadim & P. Van Roy
Using Local Search for Traffic Engineering in Switched Ethernet Networks Ho Trong Viet, Olivier Bonaventure, Yves Deville, Pham Quang Dung, and Pierre Francois
Failure Handling in a Network-Transparent Distributed Programming Language
A Formal Framework for Design and Analysis of Human-Machine Interaction
Mechanisms for Interdomain Traffic
Page 1 of 8 0-7803-7444-4/02/$17.00 2002 IEEE November 6 -9, 2002, Boston, MA
A Global Constraint for Bin-Packing with Precedences: Application to the Assembly Line Balancing Problem.
Playing the Minesweeper with Constraints Raphael Collet
Universite catholique de Louvain Faculte des Sciences Appliquees
Universite catholique de Louvain Louvain School of Engineering
A Practical Formal Model for Safety Analysis in Capability-Based Systems
May 12, 2006 P. Van Roy, IRCAM visit 1 How to say a lot
Overcoming the Multiplicity of Languages and Technologies for Web-based Development Using
Scale and Design for Peer-to-Peer and Cloud
LINF1251 Examen Final Prof. Peter Van Roy
Jan. 2006 P. Van Roy, UCL 1 Improving the Peer-to-Peer
Modeling the Performance of Ring Based DHTs in the Presence of Network Address Translators
Improving the Scalability of Logarithmic-Degree DHT-based Peer-to-Peer Networks
Overcoming Software Fragility with Interacting Feedback Loops and
Reasoning about Partial Goal Satisfaction for Requirements and Design Engineering
Concepts First in Introductory CS Courses Working Group Report ITiCSE 2003
2007 P. Dupont et P. Van Roy, FSAB1402 1 FSAB 1402: Informatique 2
2004 P. Van Roy, MOZ 2004 General Overview 1 General Overview
Datalogi II, 2002/2003 Exam Datalogi II (2G1512)
A Peer-to-Peer Approach to Enhance Middleware Connectivity
Improving Robustness in P2PS and a Generic Belief Propagation Service for P2PKit
Generic Abstractions for Very Large-Scale Neighborhoods
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
Distribution Primitives for Distributed User Interfaces Jrmie Melchior1
Enhancing Finite Set Constraint Programming
A performance evaluation of BGP-based traffic engineering
Convergence in Language Design: A Case of Lightning Striking
Analyzing Critical Process Models through Behavior Model Synthesis Christophe Damas1
Aspect-oriented programming for distributed systems
9/12/2004 P. Van Roy, BCS talk 1 Concepts, Techniques, and Models
March 27, 2009 15:4 WSPC/INSTRUCTION FILE relaxed-ring Parallel Processing Letters
Java, OCaml Programmation
FMICS 2004 Preliminary Version Early Verification and Validation
Programming Language Concepts, 2003 Semester 1 Tutorial 06 and 07, CS2104
A Transactional System for Structured Overlay Networks
Beernet: RMI-free peer-to-peer networks Boris Mejas, Alfredo Cdiz, Peter Van Roy
Introduction Rsolution question 3
Elaborating Security Requirements by Construction of Intentional Anti-Models Axel van Lamsweerde
Mercredi 1er Assurances et Solvabilit II : quels impacts conomiques pour les assureurs et les
Deriving Operational Software Specifications from System Goals Emmanuel Letier and Axel van Lamsweerde
Can Logic Programming Execute as Fast as Imperative Programming?
Exam for 2G1512 DatalogiII, Aug 16th 2002 14.0019.00
Invited paper for New Generation Computing 1 Programming Languages
IMPROVINGTHEPEER-TO-PEERRINGFORBUILDING FAULT-TOLERANT GRIDS
CS2104 Programming Language Concepts Tutorial 02,(Chapter 1)
FSAB1402 Informatique 2 Examen Peter Van Roy et Pierre Dupont
Can Logic Programming Execute as Fast as Imperative Programming?
Scenarios, Goals, and State Machines: a Win-Win Partnership for Model Synthesis
Requirements Engineering in the Year 00: A Research Perspective Axel van Lamsweerde
11 jan. 2008 P. Van Roy, confrence UPMC 1 Les principaux
CS2104 Programming Languages Concepts Tutorial 8, Declarative
CS2104 2003 Seif Haridi
Feb. 24, 2005 P. Van Roy, SIGCSE 2005, BoF session 1 A Concepts-Based Approach
SCOLL and SCOLLAR Safe Collaboration based on Partial Trust
A Service-Based Architecture for building Robust, Distributed, Scalable Applications
Ozma: Extending Scala with Oz Concurrency Sbastien Doeraene
Reasoning About Alternative Requirements Options* Axel van Lamsweerde
2004 S. Haridi & P. Van Roy 1 Concepts, Techniques,
Damien SaucezLISP Hands On FRNOG 18, December 2th, 2011INRIA Sophia Antipolis
Scalable Route Selection for IPv6 Multihomed Sites
From Worlds to Machines Axel van Lamsweerde
Multi-paradigm Programming System Boris Mejas and the Mozart community
Attach me, Detach me, Assemble me like You Work Donatien Grolaux1,2
CS2104 Programming Language Concepts Seif Haridi
Building Formal Requirements Models for Reliable Software1
Overcoming Software Fragility with Interacting Feedback Loops Peter Van Roy
Laziness and Declarative Concurrency Raphael Collet
Solving Scheduling problems from High-Level Models
Migratable User Interfaces: Beyond Migratory Interfaces Donatien Grolaux
Lundi 19 mars Avoirs financiers : valuation de l'actif successoral imposable et application du droit
WSN and P2P: a self-managing marriage Gustavo Gutierrez, Boris Mejias, Peter Van Roy,
Using Dominators for Solving Constrained Path Luis Quesada, Peter Van Roy, Yves Deville, and Raphael Collet
CS2104 Programming Language Concepts Tutorial 04, Lectures 4 and 5
Reinforced Adaptive Large Neighborhood Search Jean-Baptiste Mairy1
Goal-Oriented Requirements Engineering: A Guided Tour Axel van Lamsweerde
P. Van Roy, UCL, Louvain-la-Neuve Self Management
Universite catholique de Louvain Faculte des Sciences Appliquees
Logic Variables Distributed Computing
2002 P. Van Roy and S. Haridi Teaching Programming with
2001 P. Van Roy and S. Haridi Teaching Programming
Deriving Tabular Event-Based Specifications from Goal-Oriented Requirements Models
FSAB1402 Informatique 2 Examen Peter Van Roy
Mobile Objects in Distributed Oz PETER VAN ROY
Milestones: A Model Checker Combining Symbolic Model Checking and
Revisiting Next-hop Selection in Multipath Networks Simon van der Linden
CARE Rseau des Bibliothques Traverse des Architectes (B63d), B-4000 Lige E-Mail bib.direction@ulg.ac.be
8 Datasheet CoreTM2 Extreme Quad-Core Processor QX6000 and
Modular fault tolerance in a network-transparent Peter Van Roy, Raphal Collet, Sbastien Doeraene, and Gry Debongnie
CONFERENCES projet urbain
INAUGURATION 12 mars 2012
Version 2012 O. Bonaventure, G. Detal, C. Paasch
Quadrimestriel | Fvrier 2012 | n14 | Spirit of Management | le magazine de HEC-ULg | 5 BELGIQUE-BELGIE
iBGP Deceptions: More Sessions, Fewer Routes Stefano Vissicchio Luca Cittadini Laurent Vanbever Olivier Bonaventure
Computer Networking : Principles, Protocols and Practice