7th ieee international conference on self-adaptive and self
TRANSCRIPT
7th IEEE International Conference on Self-Adaptive and Self-Organizing SystemsSeptember 9-13, 2013Drexel UniversityPhiladelphia, PA
2
3
Contents
Message from the General Chair
7
8
Cam 9
10
12
.. 16
18
19
Conference Co-located Workshop 26
30
33
42
43
. 44
45
4
Message from the General Chairs SASO 2013
As General Chairs of the Seventh IEEE International Conference on Self-‐Adaptive and Self-‐Organizing Systems, we would like to welcome you to SASO 2013. This year, after past editions in Boston, Venice, San Francisco, Budapest, Ann Arbor, and Lyon, SASO is being hosted at Drexel University, in the University City District of Philadelphia, a location with a very high density of scholars and students, home to many institutions of higher education, a major transportation hub, as well as the historical and business center of the city. Philadelphia is known as the City of Brotherly Love, the cradle of democracy in the USA, and a vibrant urban environment that keeps re-‐inventing itself; the city will offer all SASO attendees many diverse opportunities to enjoy art, culture, history, and cuisine, alongside, of course, the great inter-‐disciplinary research experience that we have planned for this SASO week (9-‐13 September 2013). We are excited to introduce a varied program of papers, posters, demos, tutorials and workshops, which we are sure will satisfy the intellectual curiosity of every attendee, independent of individual interests and specialization. This year's program truly reflects the pervasive nature of the conference themes self-‐adaptation and self-‐organization in many areas of computing, communications and related fields. The keynote speeches We will hear from Yannis Kevrekidis (Princeton University, Dept. of Chemical and Biological Engineering) and Rene Doursat (Complex System Institute, Paris Ile-‐de-‐France and the School of Engineering at the Catholic University of America in Washington DC), and their talks are sure to be thought-‐provoking, since they touch upon many of the critical engineering challenges in understanding, designing and developing self-‐* systems, and draw insight on them from different perspectives. For the first time, we will also host an industry talk by Jeffrey Wilcox, Vice President for Corporate Engineering and Technology at Lockheed Martin Corporation, which will highlight the industrial implications and applications of self-‐adaptive and self-‐organized
-‐intensive engineering endeavors. An event like SASO 2013 can only be put together through the collaborative effort of many dedicated individuals. We would like to acknowledge each and every one of them, starting from the members of the Technical Meeting Committee: David Breen took responsibility for local arrangements and organization (with the invaluable help of Julie Fisher); Nagarajan Kandasamy is the steward of the conference finances; Tom Holvoet, Jeremy Pitt and Ichiro Satoh have led a highly qualified, rigorous and committed Program Committee for the
5
paper track, while Daniel Dubois organized the poster track. Together they have assembled much of the exciting and interactive program that has attracted all of us here. For the second consecutive year, after its debut in Lyon in 2012, we also have a Demo session and contest, organized by Sara Montagna and Ada Diaconescu. Ingo Scholte has led this year's workshop program and collaborated with workshop organizers to offer a number of high-‐quality events on Monday and Friday. The tutorial program led by Jake Beal is similarly thematically rich and varied. We are also very grateful to Salima Hassas, for her work leading to the publication of this year's proceedings, as well as for assistance and support in matters great and small. SASO 2013 would have simply not happened without the leadership and advice of our Steering Committee, the tireless effort of our Publicity Chairs, Jose Luis Fernandez-‐Marquez and Marcelo Serrano Zanetti, and our tech savvy Technical Chairs James Chacko and Cem Sahin. Thanks a lot to all of you! Finally, we are grateful for the work of our Sponsor Chairs Naga Kandasamy and Ingo Scholtes, supported by the experience and wisdom of Bob Laddaga, and for the support of our partners and sponsors, including the IEEE Computer Society, the College of Engineering at Drexel University, and our industrial sponsors: Lockheed Martin, Applied Communication Sciences, BAE Systems, DOLL, SIFT and Raytheon BBN Technologies. We are sure you will have an exciting and pleasant week at the conference and in the city of Philadelphia. Let the SASO 2013 week begin! Peppo Valetto, Drexel University, Philadelphia, USA, and Fondazione Bruno Kessler, Trento, Italy Ozalp Babaoglu, University of Bologna, Italy
6
Conference Sponsors
Titanium Sponsor
Gold Sponsors
Silver Sponsors
Bronze Sponsors
7
The Conference Venue Drexel University, Philadelphia, PA The conference will take place at Drexel University, Philadelphia, Pennsylvania, USA. The majority of sessions will be held in the Edmund D. Bossone Research Center, an addition to Drexel in 2005. The tutorials and workshops will be held in nearby buildings. Drexel University is located alongside the University of Pennsylvania in the heart of
ity City section. The downtown area, Center City, lies just across the Schuylkill River to the east, and the historic district including Old City and Society Hill are a short subway ride away. Address Drexel University University City Campus 3141 Chestnut Street Philadelphia, PA 19104 USA
8
Access
Public Transportation (SEPTA Southeastern Pennsylvania Transportation Authority http://www.septa.org)
From Philadelphia International Airport
Take SEPTA's Airport train to 30th Street Station (30th and Market Streets), which is two blocks from Drexel's University City Campus.
Amtrak Amtrak trains stop at 30th Street Station (30th and Market Streets), which is two blocks from Drexel's University City Campus.
SEPTA Regional Rail All Regional Rail trains stop at 30th Street Station (30th and Market Streets), which is two blocks from Drexel's University City Campus.
SEPTA Subways and Trolleys
The Market-‐Frankford Line (the Blue Line) stops at 30th and 34th Streets, and all trolley trains (the Green Lines) stop at 30th and 33rd Streets.
From 30th Street Station to the Bossone Research Center
Follow Market Street west, passing under a train bridge, to the Bossone Research Center located between 31st and 32nd Streets on Market Street.
Road Visit http://www.drexel.edu/about/directions/university-‐city-‐directions/ for travel instructions from surrounding cities.
Air Philadelphia International Airport
Taxi service from the airport to the conference hotels costs roughly $30-‐35. SEPTA runs trains from the airport to the downtown area for $6 to 8 per ride (take the Airport train to 30th Street Station).
9
Campus Map
10
Site Map
11
12
General Information
Registration Desk Hours and Locations September 9 13 8 a.m. to 5 p.m. Edmund D. Bossone Research Center Lobby Located on the south side of Market Street between 31st and 32nd Streets If you cannot register during these hours, please contact one of the organizers or a local volunteer. General Inquiries If you have anything regarding the conference organization, please write to the conference address at [email protected].
Welcome Reception
in the Main Building on the third floor (building #1 on the Campus Map). Website: http://www.drexel.edu/drexelcollection/picture_gallery.asp
Conference Banquet September 11 at 6:30 to 9:30 p.m. at the Academy of Natural Sciences of Drexel University located at 1900 Benjamin Franklin Parkway in Philadelphia. Website: http://www.ansp.org/ Drexel shuttle service will be available between 6 and 7:30 p.m. for transportation to The Academy of Natural Sciences for the Conference Banquet. Shuttle busses will be available at the corner of 31st and Market Street, just outside the Bossone Center. Return service will be available from 8:45 to 9:45 p.m. Conference Dinner Ticket Delegates will receive their conference dinner and drink tickets at registration. Tickets are to be displayed at the Conference Dinner. If you have misplaced your ticket or have not received tickets for the function you wish to attend, please visit the staff at the registration desk. Extra Tickets for the banquet are available for purchase subject to availability at a cost of $80. If you are vegetarian, please let the waiters know so that you can get a vegetarian meal. Volunteers You may ask Volunteers for help with any questions. They will be happy to help you. You will recognize volunteers from their special badge with the conference name.
13
Name Tags Each badge carries the name and affiliation of the badge holder. Please wear your name tag at all times during the conference, including the welcome reception and conference dinner. Admission to the conference workshops, tutorials and lunches is by badge only. If you lose your badge, please go to the Registration Desk for a replacement. Language The conference and all its activities will be conducted in English.
Note to Speakers If you are scheduled to present, please make sure you coordinate with the Session Chair of your session in advance, and show up at least 10 minutes before the beginning of the session, for any technical arrangement that may be necessary. Please visit the registration desk if you have any questions or for further details. Lunches, Morning and Afternoon Coffees and Teas Morning and afternoon coffee/tea breaks and lunches during the conference are included in the conference registration and are held on site. No Extra Tickets for the lunch are available. Internet Access WiFi Internet access is available at the conference venue, with the following credentials. SSID : drexelguest User ID : saso2013 Password : ergosum When you connect for the first time to SSID drexelguest and point your default Internet browser to any page, you are redirected to a welcome page, which contains connection instructions. This page looks like the figure below.
14
The saso2013
Please input the reserved User ID and the password for the conference in the form that you find in that page.
Mobile Phones, Pagers & Laptop Sound As a courtesy to presenters and colleagues, please ensure that all mobile phones, pagers and sound from your laptop are switched off during the conference sessions. No Smoking Policy Delegates should be aware that smoking is forbidden inside Drexel University buildings and in all public restaurants in Philadelphia. Money
cents, and $1. Notes have a value of $1, $2, $5, $10, $20, $50 and $100. The nearest ATM can be found at the Sovereign Bank at 3131 Market Street (corner of JFK Blvd and Market St.). Canadian dollars, English pounds and Euros may be exchanged at this bank. For other currencies a Travelex Currency Exchange is located at 1800 JFK Boulevard (corner of 18th St. and JFK Blvd.) Major credit cards are accepted throughout the United States, Tax is NOT included in prices, and varies by location and item purchased. Banking Banks are generally open Monday to Friday between 9am-‐5pm, and Saturday morning. The banks nearest to Drexel University are: Sovereign Bank, 3131 Market Street; PNC Bank, 3535 Market St.; Wells Fargo Bank, 3431 Chestnut St.; Citizens Bank, 134 S. 34th St (between Chestnut and Walnut).
15
Tipping Tipping is customary and expected in U.S. restaurants and bars. The tipping rate is 20-‐25% of the total bill. Electricity Electricity is supplied throughout the country at 120 volts, 60 hertz. For equipment from countries that use other voltages, an adapter/converter will be necessary unless your equipment is able to run on both 110/120 and 230/240 volts. Mail - United States Postal Service The nearest U.S. post offices are located within the 30th Street Station, and at 3000 Chestnut Street. The nearest (blue) mailboxes are located at 3198 Market Street and 3198 Chestnut Street.
16
Information for Session Chairs and Presenters Facilities at the Presentation Rooms Each presentation room is equipped with a video projector or other A/V equipment that can be connected to a computer. Session chairs and presenters shall make sure that everything is working properly in advance of presentation time. In case of any problems, please contact the volunteer who is in charge of the room, or the registration desk. Presentation Time The presentation time allocated to each conference paper is given on the timetable (including questions and answers): 30 minutes for papers and minutes for PechaKucha-‐style presentations. Session Chairs If you cannot fulfill your duties as a session chair, please ensure that someone else will take your place as the session chair and inform the Conference Chair.
Session chairs are kindly requested to help with the following: 1. Note the time allocated for each paper in your session. Each paper is allocated 30
minutes (20 to 25 minutes for the presentation plus 5 to 10 minutes for discussion), except for the PechaKucha-‐style presentations, which should be on a timer and run
minutes. (20 slides running for 20 seconds each).
2. Arrive at the room of the session at least 10 minutes before the session starts and identify each of the speakers for the session.
3. Suggest each speaker to keep corresponding time for discussions (questions and answers), and for transition to the next presentation. If a presentation extends into the time for discussions, please shorten the discussions accordingly or postpone the discussions until after the session
4. Do not allow presentations or the subsequent discussions to spill beyond the starting time of the next presentation.
5. If the presenter of a paper is absent (no-‐show), please continue to the next presentation. Please check again at the end of the last presentation whether the no-‐show shows up. Best efforts have been made to reduce the number of no-‐shows; however, they may not be eliminated. After your session, please inform the Conference Chair of the paper(s) that have not been presented.
17
Presenters Please check your presentation time and room. Please go to the room 10 minutes before the session starts and identify yourself to the session chairs.
1. Note the time allocated for your paper. Papers are allocated 30 minutes (20 to 25 minutes for the presentation plus 5 to 10 minutes for discussion), except for the PechaKucha-‐(20 slides running for 20 seconds each).
2. When it is your turn to present, please leave corresponding time for discussion (questions and answers), and for transition to the next presentation. If your presentation extends into the time for discussions, discussions on your paper will be shortened by the Session Chair accordingly or postponed until after the session.
3. Please do not exceed your allocated time. Please follow the instructions of the Session Chairs.
If you cannot find your name in Sessions or your information is incorrect in the Program Booklet, please contact the Conference Chairs.
18
Program at a Glance
19
Conference Program Monday, September 9, 2013
Tuesday, September 10, 2013
With 10:30 break in Papadakis Lobby
8:00 a.m. Registration Bossone Lobby
9:00 a.m. 12:30 p.m.
Papadakis 107 Tutorial (T1) Formal Models of Social Processes: The Pursuit of Computational Justice in Self Organising Multi-‐Agent Systems
9:00 a.m. 5:30 p.m.
Workshops
(WS1) Adaptive Host and Network Security (AHAN 2013)
(WS6) Workshop on Social Concepts in Self-‐Adaptive and Self-‐Organising Systems
Behrakis A
Behrakis C
12:30 2 p.m. Lunch Break
With 10:30 a.m. and 3:30 p.m. break in Papadakis Lobby
With 3:30 break in Papadakis Lobby
2:00 5:30 p.m.
Papadakis 107 Tutorial (T2) From Self-‐Organizing Mechanisms to Design Patterns to Engineering Self-‐Organizing Applications
Papadakis Lobby
8:00 a.m. Registration Bossone Lobby
9:00 9:30 a.m. Bossone Auditorium Welcome Note Giuseppe Valetto General Chair
9:30 10:30 a.m. Keynote Speaker
No Equations, No Variables: A Computer-‐assisted Approach to Modeling Complex Systems
Ioannis Kevrekidis, Princeton University
Bossone Auditorium
10:30 a.m. Morning Break Bossone Lobby
Welcome Note
20
Tuesday, September 10, 2013
11:00 a.m. 12:30 p.m.
Session 1: Distributed Systems and Smart Grid
(F1) A Trust-‐ and Cooperation-‐Based Solution of a Dynamic Resource Allocation Gerrit Anders, Jan-‐Philipp Steghofer, Florian Siefert and Wolfgang Reif
Bossone Auditorium
12:30 2:00 p.m. Lunch Bossone Atrium
(F2) Self-‐Adapting Coalition Formation among Electric Vehicles in Smart Grids Gabriel de Oliveira Ramos, Juan C. Burguillo and Ana Bazzan
(F3) A Holonic Control Arhitecture for a Heterogenous Multi-‐Objective Micro Smart Grid Sylvain Frey, Ada Diaconescu, David Menga and Isabelle Demeure
2:00 3:30 p.m. Session 2: Models and Algorithms
(F4) Regulating Concurrency in Software Transactional Memory: An Effective Model-‐based Approach Pierangelo Di Sanzo, Francesco Del Re, Diego Rughetti, Bruno Ciciani and Francesco Quaglia
Bossone Auditorium
(F5) Model-‐based Design of Self-‐adapting Networked Signal Processing Systems
Zoltan Papp, Julio de Oliveira Filho, Relja Djapic and Job Ostveen
(F6) Ja-‐be-‐Ja: A Distributed Algorithm for Balanced Graph Partitioning Fatemeh Rahimian, Amir Payberah, Sarunas Girdzijauskas, Mark Jelasity and Seif Haridi
3:30 p.m. Afternoon Break Bossone Lobby
4:00 5:00 p.m. Paper Session Powered by PechaKucha
(S1) A Search-‐Based Approach for Architectural Design of Feedback Control Concerns in Self-‐Adaptive Systems Sandro Andrade and Raimundo Macêdo (S2) Simulating Self-‐Adaptive Component-‐Based Systems using MATLAB/Simulink Christian Heinzemann, Jan Rieke and Wilhelm Schäfer
(S3) Self-‐managing Overlays for Infrastructure-‐less Networks Luciano Baresi, Sam Guinea and Panteha Saeedi
(S4) Self-‐Organizing Time Synchronization of Wireless Sensor Networks with Adaptive Value Trackers Önder Gürcan and Kasim Sinan Yildirim
Bossone Auditorium
21
Tuesday, September 10, 2013
Wednesday, September 11, 2013
5:00 6:00 p.m. Papers Poster Session Bossone Lobby
6:30 9:30 p.m. Welcome Reception A.J. Drexel Picture Gallery Main Building 3141 Chestnut Street
(S5) Constraint-‐Based Autonomic Reconfiguration John Hewson, Paul Anderson and Andrew Gordon (S6) Toward an Automatic, Online Behavioral Malware Classification System Raymond Canzanese, Spiros Mancoridis and Moshe Kam (S7) An Advisor Concept for Distributed Self-‐organizing Systems Acting in Highly Connected Environments Philipp Grosselfinger, Joerg Denzinger and Bernhard Bauer
(S8) Configuration Management for Proactive Adaptation in Pervasive Systems Sebastian Vansyckel, Dominik Schäfer, Gregor Schiele and Christian Becker
10:00 a.m. Morning Break Bossone Lobby
Session 3: Swarms
(F7) A Trust-‐ and Cooperation-‐Based Solution of a Dynamic Resource Allocation Gerrit Anders, Jan-‐Philipp Steghofer, Florian Siefert and Wolfgang Reif
Bossone Auditorium
(F8) Distributed Sequential Task Allocation in Foraging Swarms Harry Goldingay and Jort van Mourik
(F9) Tracking Time-‐dependent Scalar Fields with Swarms of Mobile Sensors Joshua Kirby, Marco A. Montes de Oca, Steven Senger, Louis F. Rossi and Chien-‐Chung
8:00 a.m. Registration Bossone Lobby
9:00 10:00 a.m.
Industry Talk Meeting the Challenge of Large-‐Scale Socio-‐Technical Systems Development in the Age of Complexity
Jeffrey Wilcox ,Vice President for Engineering, Lockheed Martin Corporation
Bossone Auditorium
10:30 a.m. 12:30 p.m.
(F10) Modeling and Analyzing Large Swarms with Covert Leaders Yu Sun, Louis Rossi, Hao Luan and Chien-‐Chung Shen
22
Wednesday, September 11, 2013
12:30 1:30 p.m. Lunch Bossone Atrium
1:30 2:30 p.m. Session 4: Autonomic Management and Middleware
(F11) A Framework for the Coordination of Multiple Autonomic Managers in Cloud Environments Frederico Alvares De Oliveira, Thomas Ledoux and Remi Sharrock
Bossone Auditorium
(F12) Increasing Efficiency of Data-‐flow Based Middleware Systems by Adapting Data Generation Herwig Guggi and Bernhard Rinner
3:00 4:30 p.m. Demo Session Powered by PechaKucha
Bossone Auditorium
2:30 3:00 p.m. Poster Session Powered by PechaKucha Bossone Auditorium
(D1) Spatial Computing Meets Realistic Mobile Wireless Problems
Bernat Wiandt, Vilmos Simon, Andras Kokuti and Jacob Beal (D2) Secure Channel Service for MANETs Francesco de Angelis, Jose Luis Fernandez-‐Marquez and Giovanna Di Marzo Serugendo
(D3) Ants, To-‐Go: A Portable Demonstration of Large Infrastructure Cyber Defense
Glenn A. Fink, Keith Fligg and Jereme N. Haack
(P1) Self-‐synchronization of Different Machines in Machine-‐to-‐Machine Systems Iva Bojic and Mario Kusek (P2) Self-‐Organising Services Giovanna Di Marzo Serugendo and Jose Luis Fernandez-‐Marquez (P3) FESAS: Towards a Framework for Engineering Self-‐Adaptive Systems Christian Krupitzer, Sebastian Vansyckel, and Christian Becker (P4) Using CVL to Support Self-‐Adaptation of Fault-‐Tolerant Service Compositions Amanda S. Nascimento, Cecilia Rubira and Fernando Castor (P5) ASSISI: Charged Hot Bees Shakin' in the Spotlight Thomas Schmickl, Martina Szopek, Michael Bodi, Sibylle Hahshold, Gerald Radspieler, Ronald Thenius, Stjepan Bogdan, Damjan Miklic, Karlo Griparic, Tomislav Haus, Serge Kernbach and Olga Kernbach
23
Wednesday, September 11, 2013
4:30 5:00 p.m. Afternoon Break
Bossone Lobby
4:30 6:00 p.m. Poster and Demo Session Bossone Lobby
7:00 9:00 p.m. Conference Banquet The Academy of Natural Sciences of Drexel University 1900 Benjamin Franklin Parkway
Drexel Shuttle Service-‐ Available between 6 and 7:30 p.m. for transportation to The Academy of Natural Sciences for the Conference Banquet. Shuttle busses will be available at the corner of 31st and Market Street, just outside the Bossone Center. Return service will be available from 8:45 to 9:45 p.m.
(D4) Interactive Graph View of Explicit Trusted Communities in an Open Trusted Desktop Grid System
Jan Kantert, Yvonne Bernard, Lukas Klejnowski and Christian Muller-‐Schloer
(D5) Self-‐Organizing Watch Platform for Assisting & Reminding Personal Activity
Kyung Chun Lee, Ki Eun Seong and Soon Ju Kang (D6) WebProto: Aggregate Programming for Everyone Kyle Usbeck and Jacob Beal (D7) A Distributed Smart Camera Network Simulator Lukas Esterle , Peter R. Lewis, Horatio Caine, Xin Yao and Bernhard Rinner: CamSim
(D8) Self-‐Organising Flexible Demand for Smart Grid Patricio E. Petruzzi, Didac Busquets and Jeremy Pitt (D9) Toward Systematic Conveying of Architecture Design Knowledge for Self-‐Adaptive Systems
Sandro S. Andrade and Raimundo Jose de A. Macedo (D10) Exemplifying Conflict Resolution in Multi-‐Objective Smart Micro-‐Grids
Sylvain Frey , Ada Diaconescu , David Menga and Isabelle Demeure (D11) Tile Assembly System -‐ A Software Package for Tile-‐Based Algorithmic Self-‐Assembly
Tyler Fochtman
24
Thursday, September 12, 2013
10:00 a.m. Morning Break Bossone Lobby
Session 5: Heuristics and Learning
(F13) Making Mobile Users' Devices Aware of the Surrounding Physical Environment: An Approach Based on Cognitive Heuristics Matteo Mordacchini, Andrea Passarella, Martin Chorley, Gualtiero Colombo and Vlad Tanasescu
Bossone Auditorium
12:30 2:00 p.m. Lunch Bossone Atrium
(F14) Learning to be Different: Heterogeneity and Efficiency in Distributed Smart Camera Networks Peter Lewis, Lukas Esterle, Arjun Chandra, Bernhard Rinner and Xin Yao
(F15) Meta-‐control of System Adaptation in FUZZBUSTER David Musliner, Scott Friedman, Jeffrey Rye and Tom Marble
8:00 a.m. Registration Bossone Lobby
9:00 10:00 a.m. Keynote
Architectured Self-‐Organized Systems: Toward the Best of Both Worlds by "Morphogenetic Engineering"
Rene Doursat, Complex Systems Institute, Paris CNRS & Ecole Polytechnique
Bossone Auditorium
10:30 a.m. 12:30 p.m.
(F16) A Reductionist Approach to Hypothesis-‐Catching for the Analysis of Self-‐Organizing Decision-‐Making Systems Heiko Hamann
2:00 3:00 p.m. Session 6: Wireless Networks
(F17) Adaptive Online Estimation of Temporal Connectivity in Dynamic Wireless Networks Venkatraman Iyer, Qingzhi Liu, Stefan Dulman and Koen Langendoen
Bossone Auditorium
(F18) Lightweight Self-‐organizing Reconfiguration of Opportunistic Infrastructuremode WiFi Networks
Daniel J. Dubois, Yosuke Bando, Konosuke Watanabe and Henry Holtzman
3:00 p.m. Afternoon Break Bossone Lobby
25
Thursday, September 12, 2013
Friday, September 13, 2013
3:30 4:30 p.m. Panel Discussion: Social Implications of SASO Systems and Technologies
Panel Chair: Jeremy Pitt Imperial College of London
Bossone Auditorium
Panelists: Ingo Scholtes, ETH Zurich, Switzerland Mihaela Ulieru, The Impact Institute for the Digital Economy, Canada Giuseppe Valetto Drexel University, USA, and Fondazione Bruno Kessler, Italy
4:30 5:00 p.m. Closing Remarks Bossone Auditorium
8:00 a.m. Registration Bossone Lobby
9:00 a.m. 5:30 p.m.
Behrakis A
Workshop (WS4) 3rd AWARE workshop on Challenges for Achieving Self-‐Awareness in Autonomic Systems (AWARE 2013)
9:00 a.m. 5:30 p.m.
Tutorial (T4) Complex Structures and Collective Dynamics in Networked Systems: Foundations for Self-‐Adaptation and Self-‐Organization
Behrakis C
12:30 2 p.m. Lunch Break
With 10:30 a.m. and 3:30 p.m. break in Behrakis B
Behrakis B
With 10:30 a.m. and 3:30 p.m. break in Behrakis B
Abstract: Adaptive systems with emergent properties, exemplified by machine learning, autonomic computing, and self-‐organization are making the transition from laboratory and field trial to fully-‐fledged deployment. However, the 'Ur' applications of adaptive and autonomic systems seem to be primarily 'hidden' to the user: for example data center management, mobile networks, swarm robotics, and so on. The aim of this panel is to consider whether or not SASO systems are destined to be forever closed to human involvement; and if not, what will be the nature of 'human-‐SASO system interaction', and in particular what are the social implications of SASO-‐systems, and what impact might they have when adaptive systems are reasoning about qualitative matters of human concern -‐-‐ legal or organizational rules, health and well-‐being, environmental issues, dispute resolution, to name but a few.
26
Conference Co-located Workshops WS1: Adaptive Host and Network Security (AHANS 2013) Date: Monday, September 9, 2013 Room: Behrakis Hall A Time: 9:00 a.m. to 5:30 p.m. Website: http://www.dollabs.com/ahanssaso2013.htm Organizers:
Stuart Wagner, Applied Communication Sciences, NJ, USA Robert Laddaga, DOLL Inc., MA, USA Robert Watson, University of Cambridge, UK
Workshop Statement: There is a clear need to develop systems at both the host level and the network level to actively adapt to cyber attacks and to provide greater protection for networked computation at all levels. The significance of this workshop is to bring together researchers from different areas such as networking, programming languages, computer hardware, and operating systems to gain broad insights into specific research issues related to adaptive host and network security, and to foster discussions about ongoing research, establish directions for future research and collaborations, and identify best practices for adaptive security.
27
WS4: 3rd AWARE Workshop on Challenges for Achieving Self-Awareness in Autonomic Systems (AWARE 2013) Date: Friday, September 13, 2013 Room: Behrakis Hall A Time: 9:00 a.m. to 5:30 p.m. Website: http://www.aware-‐project.eu/saso-‐2013/ Organizers:
Emma Hart, Edinburgh Napier University, UK Giacomo Cabri, Università di Modena e Reggio Emilia, Italy Jeremy Pitt, Imperial College London, UK
Workshop Statement: As technology continues to rapidly advance, the management of systems becomes increasingly more difficult: systems are likely to be composed of heterogeneous devices, the topology of the system can dynamically change to device mobility; components of the system are probably programmed with different models, and emergent behaviours can occur, not pre-‐programmed into the system. On top of this, users of systems expect 24/7 reliability, high levels of security, and privacy of their data. The scale of the challenge imposed by the necessity to manage these systems is such that control can no longer be devolved to a human. Systems must be able to manage themselves, delivering high-‐quality of service while at the same time optimising overall performance and resource usage. This poses significant challenges -‐ systems must respond to ever changing conditions, and continuously adapt to external context (such as user requirements and behaviour). Awareness will be required across a hierarchy of levels, ranging from an individual component level to global levels of patterns of use, system performance, network conditions and available resources. The goal of the workshop is to identify key challenges involved in creating self-‐aware systems which are capable of autonomous management, and consider methods by which these challenges can be addressed.
28
WS6: Workshop on Social Concepts in Self-Adaptive and Self-Organising Systems Date: Monday, September 9, 2013 Room: Behrakis Hall C Time: 9:00 a.m. to 5:30 p.m. Workshop Statement: This workshop will address all aspects of self-‐adaptive and self-‐organising mechanisms in socio-‐technical systems. Different perspectives of this exciting research area will be covered in three complementary topical sections as well as a concluding open panel discussion round.
*Topic 1: Socially-‐Aware Information and Communication Systems (SocioAware)*
Networked computing infrastructures involving Peer-‐to-‐Peer technologies, opportunistic networks, social media, collaboration platforms or other Internet-‐based applications are shaped not only by technological considerations but, increasingly, also by the social structures and processes into which they are embedded. This session will highlight novel research directions in the design of socially aware information and communication systems. A particular focus will be laid upon the question how the trend towards a mathematical modeling of social systems (for instance in the language of complex networks, dynamical systems and random matrix theory) can influence and inspire the design of distributed algorithms, collaboration platforms and communication protocols.
Session Organizers
Peter Sturm, University of Trier, Germany Jean Botev, University of Luxembourg, Luxemburg Ingo Scholtes, ETH Zurich, Switzerland Markus Esch, Fraunhofer Institute, Germany Bernd Klasen, University of Luxemburg/SES Astra, Luxemburg
*Topic 2: Trust in self-‐organizing and autonomous systems (TSOS)*
The nature of self-‐organizing and autonomous systems and cyper-‐physical entities demands that issues of trust and their trustworthiness become a primary concern. This session will provide an open stage for discussions about the different facets of trust in self-‐organizing and autonomous systems, how every single one of them can be fostered, and how they relate.
Session Organizers
Wolfgang Reif, University of Augsburg, Germany
29
Christian Müller-‐Schloer, Leibniz University Hannover, Germany Audun Jøsang, University of Oslo, Norway Jan-‐Philipp Steghöfer, University of Augsburg, Germany
*Topic 3: Computationally Adapted {laws | policies | norms} for Self-‐Organising Systems (CAOS)*
Many systems, as well as organisations, are characterised by having a set of rules that drive (and limit) the interactions amongst their components. These rules may range from simple ones to complex legal systems, norms, contracts or policies, among others. Examples of this kind of systems may be technical systems such as computing grids or sensor networks, which have to share limited resources, as well as socio-‐technical systems, with humans involved in the functioning of the system, such as in smart grids. The aim of this session is to discuss the different aspects, effects, and representations of law, norms, and justice in self-‐organising systems and to debate the impact of current and future technical self-‐organising systems on legal systems.
Session Organizers
Gerrit Anders, University of Augsburg Didac Busquets, Imperial College London, UK Giuseppe Contissa, European University Institute, Italy Bastin Tony Roy Savarimuthu, University of Otago, New Zealand
30
Tutorials T1: Formal Models of Social Processes: The Pursuit of Computational Justice in Self-Organising Multi-Agent Systems Date: Monday, September 9, 2013 Time: 9:00 a.m. to 12:30 p.m. Room: Papadakis Integrated Sciences Building, room 107 Website: http://www.iis.ee.ic.ac.uk/~dbusquet/CJ-‐SASO2013 Speakers:
Jeremy Pitt Didac Busquets Regis Rivert
Abstract: Computational justice is an interdisciplinary study at an intersection between computer science and social sciences, enabling and promoting an exchange of ideas and results in both directions. From one perspective, computational justice is concerned with the study of formal representations of justice developed in computer science, and transferring them to social settings. From the other perspective, it is also concerned with importing concepts from the social sciences into computing applications. From both perspectives, computational justice has much to offer the design of self-‐organising systems, whether a system or network composed purely of autonomous computing entities, or a socio-‐technical system composed of ICT-‐enabled people interacting with 'smart' devices. From either perspective, it offers significant into the design and application of self-‐organising systems. The objective of this tutorial is to contextualise computational justice in the use of formal models of social processes in the analysis design, specification, engineering and operation of open self-‐organising systems, specifically electronic institutions. We start by explaining what is meant by computational justice in general; give examples of self-‐organisation in multi-‐agent systems and identify a set of key features, and specify how these key features can be addressed by different qualifiers of justice. We go on the give a method (sociologically-‐inspired computing) and a multi-‐agent framework (self-‐organising electronic institutions) as a platform for specifying formal models of social processes, like justice. Tutorial attendees will gain general knowledge and skills in methods, tools and frameworks for specifying formal models of social processes, specific insight into ideas of computational justice and self-‐organising multi-‐agent systems, and an understanding of how computational representations of these social processes can be used in social contexts.
31
T2: From Self-Organizing Mechanisms to Design Patterns to Engineering Self-Organizing Applications Date: Monday, September 9, 2013 Time: 2:00 p.m. to 5:30 p.m. Room: Papadakis Integrated Sciences Building, room 107 Speakers:
Jose Luis Fernandez-‐Marquez Giovanna Di Marzo Serugendo
Abstract: This tutorial will first review the main bio-‐inspired self-‐organizing mechanisms available from the literature, such as gradient, gossip, or digital pheromone, explaining the links and relationships between them. The talk will then present these mechanisms under the form of design patterns, detailing what problem they address and what solution they provide. The second part of this tutorial focuses on showing how an application can be designed and engineered taking into account these design patterns. We will present three different execution models: rule-‐based systems, fraglets and BIO-‐CORE and discuss how they accommodate the design patterns discuss in the first part. In particular we will expand on BIO-‐CORE, an execution model that provides basic bio-‐inspired mechanisms as built-‐in services and allows the system to execute several composed or top-‐level bio-‐inspired mechanism at the same time, all sharing the basic mechanisms implemented inside the core. Finally, we will present open challenges in the area of engineering self-‐organizing systems, regarding the use of basic design patterns as operators ready-‐to-‐use that applications and services can rely on.
32
T4: Complex Structures and Collective Dynamics in Networked Systems: Foundations for Self-Adaptation and Self-Organization Date: Friday, September 13, 2013 Time: 9:00 a.m. to 5:30 p.m. Room: Behrakis Hall C Website: http://web.sg.ethz.ch/users/ischoltes/sasotutorial-‐2013/ Speakers:
Ingo Scholtes Claudio Juan Tessone
Abstract: This tutorial will provide an introduction to the methods and abstractions used in the quantitative study of complex structures and collective dynamical processes emerging in networked systems. Targeting at an audience of computer scientists and engineers, we particularly introduce the statistical physics perspective on self-‐organizing and self-‐adaptive network structures that is nowadays common in the modeling and analysis of complex systems occurring in biology, society, physics and technology. A particular emphasis will be placed on the evolution of robust and efficient network topologies based on simple, stochastic rules operating at the microscopic level. We further introduce the generating functions framework, which allows analyzing both the resilience and efficiency of network topologies based on a statistical description of connectivity patterns. In addition, the tutorial will cover the description and analysis of dynamical processes evolving on complex networks, thus providing methods to argue about the performance of distributed protocols. A particular focus of the tutorial is the introduction of basic methods and abstractions which will enable attendees to benefit from the literature on self-‐organization and self-‐adaptation phenomena studied in the fields of statistical physics, network science and complex systems. The tutorial does not require prior knowledge in graph theory, network science or statistical physics, except for the most elementary knowledge in discrete math, probability theory and calculus.
33
Keynote Abstracts No Equations, No Variables: A Computer-Assisted Approach to Modeling Complex Systems Speaker: Ioannis Kevrekidis, Pomeroy and Betty Perry Smith Professor of Engineering, CBE, PACM and Mathematics, Princeton University Date: Tuesday, September 10, 2013 Time: 9:30 to 10:30 a.m. Room: Bossone Auditorium
Bio: Yannis Kevrekidis studied Chemical Engineering at the National Technical University in Athens. He then followed the steps of many alumni of that department to the University of Minnesota, where he studied under Rutherford Aris and Lanny Schmidt (also Dick McGehee and Don Aronson in Mathematics) on computational studies of dynamical systems, which still remains the main theme of his research. He was a Director's Fellow at Los Alamos in 1985-‐86. He has been at Princeton since 1986, where he teaches Chemical Engineering and also Applied and Computational Mathematics. His research interests are centered around the dynamics of physical and chemical processes, types of instabilities, pattern formation, and their computational study. In more recent years he has developed an interest in multiscale computations. He has been a Packard Fellow, a Guggenheim Fellow and the Ulam Scholar at LANL. He holds the Colburn and Wilhelm Awards of the AIChE, and a Humboldt Prize. Last year he was the Gutzwiller Fellow at the Max Planck Institute for the Physics of Complex Systems in Dresden. Abstract: In current modeling practice for complex systems, including agent-‐based and network-‐based simulations, the best available descriptions of a system often come at a fine level (atomistic, stochastic, individual-‐based) while the questions asked and the tasks required by the modeler (parametric analysis, optimization, control) are at a much coarser, averaged, macroscopic level. Traditional modeling approaches start by deriving macroscopic evolution equations from the microscopic models. I will review a mathematically inspired, systems-‐based computational enabling technology that allows the modeler to perform macroscopic tasks acting on the microscopic models directly in an input-‐output mode. This "equation-‐free" approach circumvents the step of obtaining accurate macroscopic descriptions. I will discuss applications of this approach and its linking with recent developments in data mining algorithms, exploring large complex data sets to find good "reduction coordinates."
34
Meeting the Challenge of Large-Scale Socio-Technical Systems Development in the Age of Complexity Speaker: Jeffrey Wilcox, Vice President for Engineering, Lockheed Martin Corporation Date: Wednesday, September 11, 2013 Time: 9:00 to 10:00 a.m. Room: Bossone Auditorium
Bio: Jeffrey J. Wilcox is the Vice President for Engineering at the Lockheed Martin Corporation. In this capacity, he is responsible for leading the development and execution of engineering strategy for the Lockheed Martin Engineering Enterprise and its 60,000 engineers, scientists, and technologists. Previously, Mr. Wilcox was the Vice President for Systems and Software Engineering at Lockheed Martin. In that role, he was responsible for directing the development and implementation of enterprise-‐wide systems and software engineering processes, tools, technology, and training with special emphasis on complex, software-‐intensive systems development. Prior to joining Lockheed Martin, Mr. Wilcox served in a variety of increasingly responsible positions at the Science Applications International Corporation (SAIC), including Senior Vice President, where he led business planning and analysis for the Technology and Advanced Systems business unit. Mr. Wilcox graduated from Drexel University with a master's degree in Electrical Engineering and Case Western Reserve University with a degree in Biomedical Engineering. Mr. Wilcox holds an honorary doctorate of Engineering from Stevens Institute of Technology. Mr. Wilcox is an American Institute of Aeronautics and Astronautics (AIAA) Associate Fellow and a Senior Member of the Institute of Electrical and Electronics Engineers (IEEE). Abstract: Organizations like Lockheed Martin have evolved over the past half-‐century to solve highly-‐complex problems for a highly-‐complex set of stakeholders. During this time, the systems engineering discipline has been at the core of how our industry approached and met these challenges. It has served us well for decades. In recent years, however, the increasing complexity of these challenges has stressed our ability to sense and adapt to a terrain that is rapidly changing in multiple dimensions. This talk will explore those changes, identify where traditional approaches are being stressed, and provide suggestions for how the research community can advance and support the creation of effective complex systems and enterprises.
35
Architectured Self-Organized Systems: Toward
Speaker: Rene Doursat (Complex Systems Institute, CNRS and Ecole Polytechnique, Paris, France) Date: Thursday, September 12, 2013 Time: 9:00 to 10:00 a.m. Room: Bossone Auditorium
Bio: Rene Doursat is a Research Scientist and former Director of the Complex Systems Institute, Paris, under the French research council CNRS. He also co-‐founded the European Complex Systems Master's at Ecole Polytechnique, Paris, where he is an Adjunct Lecturer. Previously, he was a Visiting Assistant Professor in computer science at the University of Nevada, Reno, after an engineering period in the San Francisco Bay Area's software industry. An alumnus of Ecole Normale Superieure, Paris, he completed his PhD in 1991 and a postdoc in computational neuroscience at the Ruhr-‐Universitat Bochum, Germany. The main theme of Rene Doursat's research is bio-‐inspired models and simulations of "morphogenetic engineering" systems (book with Springer-‐Verlag), i.e. how complex architectures (e.g. software, robotic, network, neural) can self-‐organize from a swarm of heterogeneous agents via dynamical, developmental, and evolutionary processes. He was the General Chair of ECAL 2011, the European Conference on Artificial Life, and organized or created a dozen other conferences and workshops. He wrote over 100 publications, among which 40 full papers and chapters, and 10 edited books, proceedings and journal issues. In 2013, he moved to Washington DC, and received formal affiliations with Drexel University and George Mason University. He also holds a teaching appointment at the School of Engineering of The Catholic University of America in DC Abstract: Engineering is torn between an attitude of strong design and dreams of autonomous devices. It wants full mastery of its artifacts, but also wishes these artifacts were much more adaptive or "intelligent". Meanwhile, the escalation in system size and complexity has rendered the tradition of rigid top-‐down planning and implementation in every detail unsustainable. In this context, natural complex systems, large sets of elements interacting locally and behaving collectively, can constitute a powerful source of inspiration and help create a new generation of artificial systems with the desired "self-‐x" properties absent from classical engineering. Historically, along these lines, the observation of neurons and genes has given rise to machine learning and evolutionary algorithms. Yet, these domains have also shifted their focus toward classical optimization and search problems, away from emergent computation.
36
In this talk, I want to show other avenues of bio-‐inspired design stressing the importance and benefits of a genuine self-‐organization in architectured systems as exemplified by the growth of multicellular organisms or the nests of social insects. I will present a new field of research, "morphogenetic engineering" (ME), which explores the artificial design of complex morphologies that can reproducibly arise without central or external control. Potential applications range from swarm robotics to distributed software, techno-‐social networks and synthetic biology. What they have in common is a myriad of hardware/software/bioware agents that can be programmed to dynamically build structures on the sole basis of peer-‐to-‐peer communication. Four main groups of ME methodologies will be reviewed: constructing, coalescing, developing and generating. Then, I will describe two of my studies: the evolutionary development of animated organisms in a 3D virtual world (http://doursat.free.fr/mapdevo.html) and the self-‐assembly of abstract graph topologies (http://doursat.free.fr/nets.html). In all cases, the challenge is not to build a system directly but to find and/or evolve the proper rules that its components should follow to build it for you.
37
A Brief History of Drexel University
In founding Drexel University, Philadelphia financier and philanthropist Anthony J. Drexel launched a tradition of innovation.
Mr. Drexel envisioned an institution of higher learning uniquely suited to the needs of a rapidly growing industrial society and of the young men and women seeking their place in it core values that continue to guide the University in its modern era.
Institute of Art, Science and Industry. Originally a non-‐degree-‐granting institution, Drexel began conferring the bachelor of science degree in 1914, when its 18 departments were organized into four schools. In 1927, the Commonwealth of Pennsylvania granted Drexel the privilege to confer the master of science degree, and in 1965, the doctor of philosophy degree.
has been the University's co-‐operative education program. Introduced at Drexel in 1919 as one of the first models of its kind, the program has become integral to the University's educational experience. Through it, students alternate periods of study with periods of full-‐time professional employment, providing unrivaled, valuable professional experience.
The institution's curriculum and organization of its academic programs have evolved to include nine colleges and four schools. In accord with this evolution, Drexel has undergone two changes in name, in 1936 becoming Drexel Institute of Technology and in 1970, Drexel University. The current title reflects the institution's commitment to research, as well as the breadth of its programs.
Drexel's mission, services, and opportunities expanded further in April 2002 when MCP Hahnemann University a major Philadelphia health sciences institution became the Drexel University College of Medicine, College of Nursing and Health Professions, and School of Public Health. In May 2011, the University established an affiliation with one of
events have extended the resources of Drexel and led to many productive synergies in teaching and research.
leader in higher education. In 1983, Drexel became the nation's first university to require all undergraduates to have personal access to a microcomputer for use in all of their coursework. The university continued its commitment to integrating technology when it became the first university to operate a fully wireless campus in 2000. In 2006, Drexel became the first major research university to open a new law school in 25 years and is one of only two universities operating law schools that follow a co-‐operative model of learning.
38
Through all of the changes and evolution, Drexel's core mission has held constant. Since its founding, the institution has remained a privately controlled, nonsectarian, coeducational center of higher learning, distinguished by a commitment to preparing men and women for success in their chosen careers. Its greatly expanded enrollment, campuses, and curriculum reflect a history of responsiveness to societal and individual needs all of which Mr. Drexel sought to address in his day.
Drexel at a Glance Drexel is a comprehensive global research university ranked among the top 100 in the nation. With approximately 25,000 studentsuniversities. Drexel has built its global reputation on core achievements that include:
Leadership in experiential learning through Drexel Co-‐op. A history of academic technology firsts. Recognition as a model of best practices in translational, use-‐inspired research.
Founded in 1891 in Philadelphia, Drexel now engages with students and communities around the world via:
Three Philadelphia campuses and other regional sites. Drexel University Sacramento The Acnatural science museum and research organization.
International research partnerships including China and Israel. Drexel Online, one of the oldest and most successful providers of online degree programs.
engaged university, with community partnerships integrated into every aspect of service and academics.
-‐century trajectory.
39
Philadelphia Points of Interest
Known as "the birthplace of the nation," Philadelphia is a city full of history and firsts. Ethnically and culturally diverse, Philadelphia is the fifth most populous city in the country and is comprised of many small neighborhoods, each with a distinctive flavor and feel. As a world-‐class center for business, art, and education, Philadelphia offers many educational and career opportunities for students, as well as cultural events, entertainment, and gourmet food, from food trucks to five-‐star restaurants. Drexel University's Main Campus is located in the University City neighborhood, which it shares with two other universities and several thousand students. Within walking distance of Center City Philadelphia's downtown and main business district the campus is easily accessible by public transportation, so whether you're visiting for a weekend or here for the long haul, you can explore it all without having to worry about parking. A mecca for arts and culture
cheesesteaks s a city with a deep appreciation for the arts and culture. But with a thriving shopping and nightlife scene, an eclectic spectrum of art galleries, boutiques and museums, and a restaurant scene revered by both five-‐star chefs and underground foodies, ther A city rich with history Home to national symbols such as the Liberty Bell, the Betsy Ross House and Independence
40
Discover Philadelphia
Philadelphia Facts Find out a few things Philadelphia is known for cheesesteaks are only part of it. http://www.drexel.edu/undergrad/student-‐life/philadelphia/facts/
Shopping While Philadelphia is full of fashion, sometimes you need other things. Here's a list of places (including fashion) that will help you cover the basics. http://www.drexel.edu/undergrad/student-‐life/philadelphia/shopping/
Dining Philadelphia is a fantastic city for people who love food. Whether you enjoy greasy or high class, splurging or budgeting, you have many delicious options to explore. http://www.drexel.edu/undergrad/student-‐life/philadelphia/dining/
Arts, Culture, and Entertainment Museums and much more, Philadelphia has a thriving arts and entertainment scene showcasing world-‐class offerings as well as new and up-‐and-‐coming talents. http://www.drexel.edu/undergrad/student-‐life/philadelphia/arts/
Parks, Outdoor Recreation, and Sports There's always a home team to cheer for in Philadelphia, and the extensive park system provides space to get out and play your own games. http://www.drexel.edu/undergrad/student-‐life/philadelphia/sports/
History Whether you're a history buff or a casual tourist, Philadelphia is home to many historic sites used by the Founding Fathers. http://www.drexel.edu/undergrad/student-‐life/philadelphia/history/
Neighborhoods Philadelphia may be a big city, but the many neighborhoods make the diverse offerings of culture, food, and lifestyle accessible. http://www.drexel.edu/undergrad/student-‐life/philadelphia/neighborhoods/
Travel and Accommodations Find directions for getting to Philadelphia and Drexel, where to stay if you're visiting, and how to get around once you're here. http://www.drexel.edu/undergrad/student-‐life/philadelphia/travel/
For more information about Philadelphia, visit the Philadelphia Convention and
Visitors Bureau at http://www.pcvb.org/.
41
Sample Philadelphia Popular Attractions
Philadelphia Museum of Art -‐-‐ http://www.philamuseum.org/ Franklin Institute -‐-‐ http://www.fi.edu/ Academy of Natural Sciences -‐-‐ http://www.ansp.org/ Pennsylvania Academy of the Fine Arts -‐-‐ http://www.pafa.org/ The Barnes Foundation -‐-‐ http://www.barnesfoundation.org/ Mütter Museum -‐-‐ http://www.collegeofphysicians.org/mutter-‐museum/ National Museum of American Jewish History -‐-‐ http://www.nmajh.org/ Kimmel Center -‐-‐ http://www.kimmelcenter.org/ Academy of Music -‐-‐ http://www.academyofmusic.org/home.php Philadelphia Zoo -‐-‐ http://www.philadelphiazoo.org/ Reading Terminal Market -‐-‐ http://www.readingterminalmarket.org/ Schuylkill Banks -‐-‐ http://www.schuylkillbanks.org/
Only in Philadelphia
The Rocky Statue and the Rocky Steps -‐-‐http://www.visitphilly.com/museums-‐attractions/philadelphia/the-‐rocky-‐statue-‐and-‐the-‐rocky-‐steps/
Mural Arts Program -‐-‐ http://muralarts.org/ Eastern State Penitentiary -‐-‐ http://www.easternstate.org/
Historical All Stars
Liberty Bell Center -‐-‐ http://www.nps.gov/inde/liberty-‐bell-‐center.htm Independence Hall -‐-‐ http://www.nps.gov/inde/index.htm National Constitution Center -‐-‐ http://constitutioncenter.org/
42
SASO Steering Committee Permanent Members
Ozalp Babaoglu, University of Bologna, Italy Robert Laddaga, Dynamic Object Language Labs, USA Howard E. Shrobe, Massachusetts Institute of Technology, USA Roy Sterritt, University of Ulster, UK Franco Zambonelli, Università di Modena e Reggio Emilia, Italy
Elected Members
Kurt Geihs, University of Kassel, Germany Salima Hassas, Université Claude Bernard-‐Lyon 1, France Mike Hinchey, LERO, Ireland Mark Jelasity, Hungarian Academy of Sciences and University of Szeged, Hungary Paul Robertson, Dynamic Object Language Labs, USA
43
SASO 2013 Technical Meeting Committee General chair
Ozalp Babaoglu, University of Bologna, Italy Giuseppe (Peppo) Valetto, Drexel University, USA and Fondazione Bruno Kessler, Italy
Local chair
David Breen, Drexel University, USA Finance chair
Nagarajan Kandasamy, Drexel University, USA PC chairs
Tom Holvoet, KU Leuven, Belgium Jeremy Pitt, Imperial College London, UK Ichiro Satoh, National Institute of Informatics, Japan
Poster chair
Daniel Dubois, Massachusetts Institute of Technology, USA Contest and Demos track chairs
Ada Diaconescu, TELECOM ParisTech, France Sara Montagna, Universita di Bologna, Italy
Workshop chair
Ingo Scholtes, ETH Zurich, Switzerland Tutorial chair
Jacob Beal, Raytheon BBN Technologies, USA Publicity chairs
Jose Luis Fernandez-‐Marquez, Univ. Geneva, Switzerland Marcelo Serrano Zanetti, ETH Zurich, Switzerland
Publication chair
Salima Hassas, University of Lyon, France Industry chair
Mark Burstein, Smart Information Flow Technologies, USA Sponsor chair
Nagarajan Kandasamy, Drexel University, USA Ingo Scholtes, ETH Zurich, Switzerland
Technical chair
James Chacko, Drexel University, USA Cem Sahin, Drexel University, USA
44
Program Committee Members Chairs
Tom Holvoet, KU Leuven, Belgium Jeremy Pitt, Imperial College London, UK Ichiro Satoh, National Institute of Informatics, Japan
Technical Program Committee
Marco Aiello, University of Groningen, Netherlands Richard Anthony, School of Computing and Mathematical Sciences, University of Greenwich, United Kingdom Alexander Artikis, NCSR "Demokritos", Greece Abdalkarim Awad, University of Erlangen, Germany Luciano Baresi, DEI -‐ Politechnico di Milano, Italy Alberto Bartoli, Universita di Trieste, Italy Nelly Bencomo, Inria, France Christian Bettstetter, University of Klagenfurt, Austria Jean Botev, University of Luxembourg, Luxembourg Juergen Branke, University of Warwick, United Kingdom Sven Brueckner, Jacobs Technology Inc., USA Didac Busquets, Imperial College London, United Kingdom Betty Cheng, Michigan State University, USA Rogerio De Lemos, University of Kent, United Kingdom H ermann De Meer, University of Passau, Germany Mathijs De Weerdt, Delft University of Technology, Netherlands Yves Demazeau, CNRS -‐ Laboratoire LIG, France Giovanna Di Marzo Serugendo, University of Geneva, France Simon Dobson, University of St Andrews, United Kingdom Schahram Dustdar, TU Wien, Austria Bruce Edmonds, Manchester Metropolitan University Business School, United Kingdom Markus Esch, Universite Catholique de Louvain, Germany Niloy Ganguly, Indian Institute of Technology Kharagpur, India Kurt Geihs, Universitaet Kassel, Germany Aditya Ghose, University of Wollongong, Australia Marie-‐Pierre Gleizes, IRIT -‐ Universite de Toulouse, France Rean, RGriffith, AD Lab, EECS Department, UC Berkley, USA Emma Hart, Napier University, United Kingdom Salima Hassas, Universit Claude Bernard-‐Lyon1, France Mike Hinchey, Lero-‐the Irish Software Engineering Research Centre, Ireland Karin Anna Hummel, ETH Zurich, Switzerland Mark Jelasity, University of Szeged, Hungary Cao Jiannong, The Hong Kong Polytechnic University, Hong Kong Peter Lewis, University of Birmingham, United Kingdom
45
Maite Lopez-‐Sanchez, Universitat de Barcelona, Spain Simone Ludwig, North Dakota State University, USA Sam Malek, George Mason University, USA Marco Mamei, University of Modena and Reggio Emilia, Italy Carlo Mastroianni, ICAR-‐CNR, Italy Julie Mccann, Imperial College of London, United Kingdom Philip Mckinley, Michigan State University, USA Rene Meier, Trinity College Dublin, Ireland Christian Muller-‐Schloer, Leibniz Universitat, Germany Maurice Mulvenna, University of Ulster, United Kingdom Hiroyuki Nakagawa, University of Electro-‐Communications, Japan Tatsuo Nakajima, Waseda University, Japan Andrea Omicini, Alma Mater Studiorum-‐Universita di Bologna, Italy H. Van Dyk Parunake, Soar Technology, USA Hu Peizhao, NICTA Queensland Research Lab, Australia Gauthier Picard, ENS Mines Saint-‐Etienne, France Tony Savarimuthu, University of Otago, New Zealand Howard,Shrobe, Massachusetts Institute of Technology, USA Anita Sobe, University of Neuchatel, Switzerland Jan-‐Philipp Steghofer, University of Augsburg, Germany Burkhard Stiller, University of Zurich, Switzerland Greg Sullivan, BAE Systems, USA Jun Suzuki, University of Massachusetts, USA M. Birna Van Riemsddijk, Delft University of Technology, Netherlands Mirko Viroli, Alma Mater Studiorum -‐ Universite di Bologna, Italy Danny Weyns, Linnaeus University, Sweden Cees Witteveen, Delft University of Technology, Netherlands Franco Zambonelli, University of Modena and Reggio Emilia, Italy Jie Zhang, Nanyang Technological University, Singapore Katarina Zweig, University of Kaiserslautern, Germany
46
Local Organizing Committee Linge Bai, Drexel University, USA Kerry Boland, Drexel University, USA David Breen, Drexel University, USA Isuru Daulagala, Drexel University, USA Julie Fisher, Drexel University, USA Xin Guan, Drexel University, USA Dhantha Gunaratne, Drexel University, USA Misty Hill, Drexel University, USA Nagarajan Kandasamy, Drexel University, USA Alex Keller, Drexel University, USA Jennifer Lally, Drexel University, USA Savannah Lee, Drexel University, USA Brenda Sheridan, Drexel University, USA Michele Spotts, Drexel University, USA Isabel Welsh¸ Drexel University, USA