5th International Federated Conferences on Distributed Computing Techniques
Amsterdam, Netherlands, 7-9 June 2010
Monday, June 7th | ||
|---|---|---|
| 08:00 - 08:45 | Registration | |
| 08:45 - 09:00 | Welcome Note | |
| Invited Talk | Z011 | |
| chaired by Dave Clarke | ||
| 09:00 - 10:00 | Joe Armstrong | |
| Erlang-style concurrency | ||
| 10:00 - 10:15 | Coffee Break | |
| COORDINATION - Session I | L120 | |
| chaired by Gul Agha | ||
| 10:15 - 10:45 | Hubert Plociniczak and Susan Eisenbach | |
| JErlang: Erlang with Joins | ||
| 10:45 - 11:15 | Francesco Calzolai and Michele Loreti | |
| Simulation and analysis of distributed systems in Klaim | ||
| DAIS - Session I - Ubiquitous services and applications | L017 | |
| chaired by Guillaume Pierre | ||
| 10:15 - 10:45 | Daniel Romero, Gabriel Hermosillo, Amirhosein Taherkordi, Russel Nzekwa, Romain Rouvoy and Frank Eliassen | |
| RESTful Integration of Heterogeneous Devices in Pervasive Environments | ||
| 10:45 - 11:15 | Shanshan Jiang, Svein Hallsteinsen, Paolo Barone, Alessandro Mamelli, Stephan Mehlhase and Ulrich Scholz | |
| Hosting and Using Services with QoS Guarantee in Self-Adaptive Service Systems | ||
| FMOODS & FORTE - Session I - Formal UML Modeling | L016 | |
| chaired by Elena Zucca | ||
| 10:15 - 10:45 | Artur Boronat, Roberto Bruni, Alberto Lluch Lafuente, Ugo Montanari and Generoso Paolillo | |
| Exploiting the hierarchical structure of rule-based specifications for decision planning | ||
| 10:45 - 11:15 | Frank Alexander Kraemer and Peter Herrmann | |
| Reactive Semantics for Distributed UML Activities | ||
| 11:15 - 11:30 | Coffee Break | |
| COORDINATION - Session II | L120 | |
| chaired by Jean-Marie Jacquet | ||
| 11:30 - 12:00 | Chien-Liang Fok, Gruia-Catalin Roman and Chenyang Lu | |
| Coordinating Resource Usage through Adaptive Service Provisioning in Wireless Sensor Networks | ||
| 12:00 - 12:30 | Jens Chr. Godskesen | |
| Observables for Mobile and Wireless Broadcasting Systems | ||
| 12:30 - 13:00 | KC Sivaramakrishnan, Lukasz Ziarek, Karthik Nagaraj and Patrick Eugster | |
| Efficient Session Type Guided Distributed Interaction | ||
| DAIS - Session II - Grid computing | L017 | |
| chaired by Raimundo Macedo | ||
| 11:30 - 12:00 | Travis Desell, David Anderson, Heidi Newberg, Malik Magdon-Ismail, Boleslaw Szymanski and Carlos Varela | |
| Validating Evolutionary Algorithms on Volunteer Computing Grids | ||
| 12:00 - 12:30 | Rémy Pottier, Marc Léger and Jean-Marc Menaud | |
| A reconfiguration language for virtualized grid infrastructures | ||
| FMOODS & FORTE - Session II - Components and Architecture | L016 | |
| chaired by Elie Najm | ||
| 11:30 - 12:00 | Ananda Basu, Saddek Bensalem, Marius Bozga, Benoit Caillaud, Benoît Delahaye and Axel Legay | |
| Statistical Abstraction and Model-Checking of Large Heterogeneous Component-Based Systems | ||
| 12:00 - 12:30 | Peter Ölveczky, Artur Boronat and José Meseguer | |
| Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude | ||
| 12:30 - 14:00 | Lunch | |
| DAIS - Session III - Sensor networks | L017 | |
| chaired by Peter Herrmann | ||
| 14:00 - 14:30 | Andoni Lombide Carreton, Kevin Pinte and Wolfgang De Meuter | |
| Distributed Object-Oriented Programming with RFID Technology | ||
| 14:30 - 15:00 | Jeisa Domingues, Antonio Damaso and Nelson Rosa | |
| WISeMid: Middleware for Integrating Wireless Sensor Networks and the Internet | ||
| FMOODS & FORTE - Session III - Components and Architecture | L016 | |
| chaired by Gianluigi Zavattaro | ||
| 14:00 - 14:30 | Rob Hierons and Manuel Nunez | |
| Testing probabilistic distributed systems | ||
| 14:30 - 14:45 | Juan J. Pardo, Manuel Nunez and M. Carmen Ruiz | |
| [Short Paper] Specification and testing of e-commerge agents described by using UIOLTSs | ||
| 14:45 - 15:00 | Laura Bocchi and Emilio Tuosto | |
| [Short Paper] Testing Attribute-Based Transactions in SOC | ||
| 15:00 - 15:30 | Coffee Break | |
| Joint Session IV | Z011 | |
| chaired by Roberto Bruni | ||
| 15:30 - 16:00 | Lucia Acciai, Michele Boreale and Gianluigi Zavattaro | |
| Behavioural contracts with request-response operations | ||
| 16:00 - 16:30 | Sonja Zaplata, Matthias Meiners and Winfried Lamersdorf | |
| Structured Context Prediction: A Generic Approach | ||
| 16:00 - 16:30 | Fatemeh Kazemeyni, Einar Broch Johnsen, Olaf Owe and Ilangko Balasingham | |
| Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory | ||
| 17:00 - 19:00 | Welcome reception | |
| Tuesday, June 8th | ||
| Invited Talk | Z011 | |
| chaired by John Hatcliff | ||
| 09:00 - 10:00 | Gerard Holzmann | |
| Formal Software Verification: how close are we? | ||
| 10:00 - 10:15 | Coffee Break | |
| COORDINATION - Session V | L120 | |
| chaired by Marjan Sirjani | ||
| 10:15 - 10:45 | Andoni Lombide Carreton and Theo D'Hondt | |
| A Hybrid Visual Dataflow Language for Coordination in Mobile Ad Hoc Networks | ||
| 10:45 - 11:15 | Stephanie Kemper | |
| Compositional Construction of Real-Time Dataflow Networks | ||
| DAIS - Session V - Service orientation | L017 | |
| chaired by Frank Eliassen | ||
| 10:15 - 10:45 | Audrey Occello, Cédric Joffroy, Anne-Marie Dery-Pinna, Philippe Renevier and Michel Riveill | |
| Experiments in Model Driven Composition of User Interfaces | ||
| 10:45 - 11:15 | Daniel Romero, Romain Rouvoy, Lionel Seinturier and Pierre Carton | |
| Service Discovery in Ubiquitous Feedback Control Loops | ||
| FMOODS & FORTE - Session V - 30th Anniversary Celebration | L016 | |
| 10:15 - 10:45 | Gregor Bochman | |
| The early times of protocol engineering | ||
| 10:45 - 11:15 | Ed Brinksma | |
| Testing Times: 20 years of research and collaboration in conformance testing | ||
| 11:15 - 11:30 | Coffee Break | |
| COORDINATION - Session VI | L120 | |
| chaired by Rocco De Nicola | ||
| 11:30 - 12:00 | Eline Philips, Ragnhild Van Der Straeten and Viviane Jonckers | |
| NOW: A Workflow Language for Orchestration in Nomadic Networks | ||
| 12:00 - 12:30 | K R Jayaram and Patrick Eugster | |
| Scalable and Efficient Composite Event Detection | ||
| DAIS - Session VI - Distributed Fault Tolerant Controllers / Fault tolerance | L017 | |
| chaired by Ruediger Kapitza | ||
| 11:30 - 12:00 | Alírio Sá and Raimundo Macêdo | |
| QoS Self-Configuring Failure Detectors For Distributed Systems | ||
| 12:00 - 12:30 | Leonardo Mostarda, Rudi Ball and Naranker Dulay | |
| Distributed Fault Tolerant Controllers | ||
| FMOODS & FORTE - Session VI - 30th Anniversary Celebration | L016 | |
| 11:30 - 12:00 | Tommaso Bolognesi | |
| Is the Big-Bang Object-Oriented? Can we use Formal Methods for understanding the early Universe? | ||
| 12:00 - 12:30 | Gianluigi Zavattaro | |
| Moving to the Cloud: If you put your files on Dropbox, why don't you put your processes on the Cloud? | ||
| 12:30 - 14:00 | Lunch | |
| Joint Session VII | Z011 | |
| chaired by Frank S. de Boer | ||
| 14:00 - 15:30 | Industrial Session + panel discussion | |
| 17:00 - 18:30 | Social event | |
| 19:00 - | Social dinner | |
| Wednesday, June 9th | ||
| Invited Talk | Z011 | |
| chaired by Kurt Geihs | ||
| 09:00 - 10:00 | Joost Roelands | |
| Distributed Social Data | ||
| 10:00 - 10:15 | Coffee Break | |
| COORDINATION - Session VIII | L120 | |
| chaired by Carolyn Talcott | ||
| 10:15 - 10:45 | Lorenzo Bettini, Ferruccio Damiani, Marco De Luca, Kathrin Geilmann and Jan Schäfer | |
| A Calculus for Boxes and Traits in a Java-like Setting | ||
| 10:45 - 11:15 | Somsak Vanit-Anunchai | |
| Modelling Railway Interlocking Tables using Coloured Petri Nets | ||
| DAIS - Session VIII - Cloud and cluster computing | L017 | |
| chaired by Elie Najm | ||
| 10:15 - 10:45 | Jacek Cala and Paul Watson | |
| Automatic Software Deployment in the Azure Cloud | ||
| 10:45 - 11:15 | Leandro Sales, Henrique Teofilo and Nabor Mendonca | |
| G2CL: A Generic Group Communication Layer for Clustered Applications | ||
| FMOODS & FORTE - Session VIII - Timed Process Algebra | L016 | |
| chaired by Heike Wehrheim | ||
| 10:15 - 10:45 | Anton Wijs | |
| Forgetting the Time in Timed Process Algebra - Timeless Behaviour in a Timestamped World | ||
| 10:45 - 11:15 | Ernesto Posse and Juergen Dingel | |
| Theory and implementation of a real-time extension to the pi-calculus | ||
| 11:15 - 11:30 | Coffee Break | |
| DAIS - Session IX - Adaptive and (re)configurable systems | L017 | |
| chaired by Kurt Geihs | ||
| 11:30 - 12:00 | Stefan Walraven, Bert Lagaisse, Eddy Truyen and Wouter Joosen | |
| Dynamic Composition of Cross-Organizational Features in Distributed Software Systems | ||
| 12:00 - 12:30 | Ulrich Scholz and Stephan Mehlhase | |
| Co-ordinated Adaptation of Multiple Applications on Resource-constrained, Mobile Devices | ||
| FMOODS & FORTE - Session IX - Timed & Hybrid Automata | L016 | |
| chaired by Manuel Nunez | ||
| 11:30 - 12:00 | Alberto de la Encina, Francisco Javier Crespo and Luis Llana | |
| Fuzzy-timed automata | ||
| 12:00 - 12:30 | Lei Bu, Alessandro Cimatti, Xuandong Li, Sergio Mover and Stefano Tonetta | |
| Model Checking of Hybrid Systems using Shallow Synchronization | ||
| 12:30 - 14:00 | Lunch | |
| DAIS - Session X - Collaborative system | L017 | |
| chaired by Romain Rouvoy | ||
| 14:00 - 14:30 | Amir Payberah, Jim Dowling, Fatemeh Rahimian and Seif Haridi | |
| gradienTv: Market-based P2P Live Media Streaming on the Gradient Overlay | ||
| 14:30 - 15:00 | Pascal Felber, Peter Kropf, Lorenzo Leonini, Toan Luu, Etienne Riviere and Martin Rajman | |
| Collaborative Ranking and Profiling: Exploiting the Wisdom of Crowds in Tailored Web Search | ||
| FMOODS & FORTE - Session X - Program Logics and Analysis | L016 | |
| chaired by Einar Broch Johnsen | ||
| 14:00 - 14:30 | Jan Smans, Bart Jacobs and Frank Piessens | |
| Heap-dependent Expressions in Separation Logic | ||
| 14:30 - 15:00 | Pietro Ferrara | |
| Static Type Analysis of Pattern Matching by Abstract Interpretation | ||
| 15:00 - 15:30 | Coffee Break | |
| DAIS - Closing Session | L017 | |
| 15:40 - 15:45 | Closing of DAIS | |
| FMOODS & FORTE - Session XI - Reasoning about distributed systems | L016 | |
| chaired by Carolyn Talcott | ||
| 15:30 - 16:00 | Yongyuth Permpoontanalarp | |
| On-the-fly Trace Generation and Textual Trace Analysis and their applications to the analysis of Cryptographic Protocols | ||
| 16:00 - 16:15 | Peter Bokor, Marco Serafini and Neeraj Suri | |
| [Short Paper] On Efficient Models for Model Checking Message-Passing Distributed Protocols | ||
| 16:15 - 16:30 | Ignacio Fábregas, David de Frutos-Escrig and Miguel Palomino | |
| [Short Paper] Logics for Contravariant Simulations | ||
| Thursday, June 10th | ||
| 08:30 - 09:00 | Workshop Registration | |
| CAMPUS - Session I - Middleware for Large-Scale Environments | L120 | |
| 09:00 - 09:30 | Welcome Note | |
| 09:30 - 10:00 | Koosha Paridel, Engineer Bainomugisha, Yves Vanrompay, Yolande Berbers and Wolfgang De Meuter | |
| Middleware for the Internet of Things, Design Goals and Challenges | ||
| 10:00 - 10:30 | Russel Nzekwa, Romain Rouvoy and Lionel Seinturier | |
| Modelling Feedback Control Loops for Self-Adaptive Systems | ||
| CS2Bio - Session I | L017 | |
| 09:00 - 10:00 | Invited Talk by Luca Cardelli | |
| Algebras and Languages for Molecular Programming | ||
| 10:00 - 10:30 | Lars Hartmann, Neil D. Jones and Jakob Grue Simonsen | |
| Programming in Biomolecular Computation | ||
| DCDP - Session I | L015 | |
| 09:00 - 10:30 | Keynote Talk by Tyler Close (Google) | |
| Using the Web for decentralized coordination of distributed processes. You can get there from here. | ||
| ICE - Session I | L016 | |
| 09:00 - 09:05 | Welcome Note | |
| 09:05 - 10:05 | Invited Talk by Tom A. Henzinger | |
| From Boolean to Quantitative Theories of Reactive Systems | ||
| 10:05 - 10:30 | Christian Lambertz and Mila Majster-Cederbaum | |
| Port Protocols for Deadlock-Freedom of Component-Based Systems | ||
| 10:30 - 11:00 | Coffee Break | |
| CAMPUS - Session II - Improving the Quality of Context | L120 | |
| 11:00 - 11:30 | Jose Ramon Hoyos, Jesus J. Garcia-Molina and Juan A. Botia | |
| MLContext: A Context-Modeling Language for Context-Aware Systems | ||
| 11:30 - 12:00 | Kuderna-Iulian Benta, Marcel Cremene and Amalia Hoszu | |
| Training the Behaviour Preferences on Context Changes | ||
| 12:00 - 12:30 | Konstantinos Kakousis, Nearchos Paspallis, George A. Papadopoulos and Pedro Antonio Ruiz | |
| Testing self-adaptive applications with simulation of context events | ||
| CS2Bio - Session II | L017 | |
| 11:00 - 11:30 | Federico Buti, Diletta Cacciagrano, Flavio Corradini, Emanuela Merelli, Luca Tesei and Martino Pani | |
| Bone Remodelling in BioShape | ||
| 11:30 - 12:00 | Oana Andrei and Muffy Calder | |
| A Model and Analysis of the AKAP Scaffold | ||
| DCDP - Session II | L015 | |
| 11:00 - 11:35 | Petteri Kaskenpalo | |
| On Secure Workflow Decentralisation on the Internet | ||
| 11:40 - 12:15 | Jan Sudeikat and Wolfgang Renz | |
| Separating Agent-Functioning and Inter-Agent Coordination by Activated Modules:The DECOMAS Architecture | ||
| ICE - Session II | L016 | |
| 11:00 - 11:30 | Marco Carbone and Søren Debois | |
| A Graphical Approach to Progress for Structured Communication in Web Services | ||
| 11:30 - 12:00 | Alejandro Hernandez and Flemming Nielson | |
| History-sensitive versus future-sensitive approaches to security in distributed systems | ||
| 12:00 - 12:25 | Chiara Bodei, Gian Luigi Ferrari and Viet Dung Dinh | |
| Safer in the Clouds | ||
| 12:00 - 14:00 | Lunch | |
| CAMPUS - Session III - Adaptation in Pervasive Environments | L120 | |
| 14:00 - 14:30 | Christian Straube and Andreas Schroeder | |
| Architectural Constraints for Pervasive Adaptive Applications | ||
| 14:30 - 15:00 | Rémi Mélisson, Daniel Romero, Romain Rouvoy and Lionel Seinturier | |
| Supporting Pervasive and Social Communications with FRASCATI | ||
| 15:00 - 15:30 | Dries Harnie, Christophe Scholliers and Wolfgang De Meuter | |
| Ambient Contracts | ||
| CS2Bio - Session III | L017 | |
| 14:00 - 14:30 | Andrea Degasperi and Muffy Calder | |
| Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration | ||
| 14:30 - 15:00 | Sara Montagna and Mirko Viroli | |
| A Framework for Modelling and Simulating Networks of Cells | ||
| 15:00 - 15:30 | Peter Drabik, Andrea Maggiolo-Schettini and Paolo Milazzo | |
| Modular Verification of Interactive Systems with an Application to Biology | ||
| DCDP - Session III | L015 | |
| 14:00 - 14:30 | Jan Sudeikat , Jan-Philipp Steghöfer, Hella Seebach, Wolfgang Reif, Wolfgang Renz, Thomas Preisler and Peter Salchow | |
| [Short Paper] A Wave-like Decentralized Reconfiguration Strategy for Self-organizing Resource-Flow Systems | ||
| 14:30 - 15:00 | Tadeusz Kobus and Pawel T. Wojciechowski | |
| [Short Paper] A 90% RESTful Group Communication Service | ||
| 15:00 - 15:30 | Open Discussion | |
| ICE - Session III | L016 | |
| 14:00 - 15:00 | Invited Talk by Joost-Pieter Katoen | |
| Concurrency, Interaction, Abstraction and Randomness | ||
| 15:00 - 15:30 | Ivan Lanese | |
| Static vs dynamic SAGAs | ||
| 15:30 - 16:00 | Coffee Break | |
| CAMPUS - Session IV | L120 | |
| 16:00 - 17:00 | Open Discussions | |
| 17:00 - 17:05 | Closing of CAMPUS | |
| CS2Bio - Session IV | L017 | |
| 16:00 - 16:30 | Andrea Degasperi and Muffy Calder | |
| Process Algebra with Hooks for Models of Pattern Formation | ||
| 16:30 - 17:30 | Invited Talk by Jerome Feret | |
| Internal coarse-graining of molecular systems | ||
| DCDP - Session IV | L015 | |
| 16:00 - 16:30 | Open Discussion | |
| 16:30 - 16:35 | Closing of DCDP | |
| ICE - Session IV | L016 | |
| 16:00 - 16:30 | Massimo Bartoletti and Roberto Zunino | |
| Primitives for Contract-based Synchronization | ||
| 16:30 - 17:00 | Matthieu Lemerre, Vincent David, Christophe Aussaguès and Guy Vidal-Naquet | |
| An Introduction to Time-Constrained Automata | ||
| 17:00 - 17:30 | Harsh Beohar and Pieter Cuijpers | |
| A theory of desynchronisable closed loop systems | ||
| 17:30 - 17:55 | Renaud Sirdey and Pascal Aubry | |
| A linear programming approach to general dataflow process network verification and dimensioning | ||
| 17:55 - 18:10 | Closing of ICE | |