Blog Archives

9 new Allow Ensembles publications

Towards Modelling and Execution of Collective Adaptive Systems A. V. Andrikopoulos, A. Bucchiarone, S. Gomez Saez, D. Karastoyanovam, and C. Antares Mezzina. 9th International Workshop on Engineering Service-Oriented Applications (WESOA 2013), In conjunction with ICSOC 2013, December 2nd 2013, Berlin,

Tagged with: ,
Posted in For Researchers, For Students, News Stream

New Quanticol publications

Insensitivity to Service-time Distributions for Fluid Queueing Models Max Tschaikowski and Mirco Tribastone 7th International Conference on Performance Evaluation Methodologies and Tools, Torino, Italy, December 2013. DOI: 10.4108/icst.valuetools.2013.254374 MultiVeStA: Statistical Model Checking for Discrete Event Simulators Stefano Sebastio and Andrea

Tagged with: ,
Posted in For Researchers, For Students, News Stream

2 new Quanticol publications

An Aggregation Technique for Large-Scale PEPA Models with Non-Uniform Populations Alireza Pourranjbar and Jane Hillston 7th International Conference on Performance Evaluation Methodologies and Tools, Torino, Italy, December 2013 Contextual Lumpability Jane Hillston, Andrea Marin, Carla Piazza and Sabina Rossi 7th

Tagged with: ,
Posted in For Researchers, For Students, News Stream

New Diversify publication

3. DIVERSIFY: Ecology-Inspired Software Evolution for Diversity Emergence Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhan Clarke In Proc. of the Int. Conf. on Software Maintenance and Reengineering (CSMR), 2014.

Tagged with: ,
Posted in For Researchers, For Students, News Stream

New Cassting publication

Lower-Bound Constrained Runs in Weighted Timed Automata Patricia Bouyer, Kim G. Larsen, Nicolas Markey. In Performance Evaluation, Elsevier Science Publishers, 2014. (To appear)

Tagged with: ,
Posted in For Researchers, For Students, News Stream

3 new ASSISI | bf publications

ASSISI: Mixing Animals with Robots in a Hybrid Society Thomas Schmickl, Stjepan Bogdan, Luís Correia, Serge Kernbach, Francesco Mondada, Michael Bodi, Alexey Gribovskiy, Sibylle Hahshold, Damjan Miklic, Martina Szopek, Ronald Thenius, José Halloy Biomimetic and Biohybrid Systems Lecture Notes in

Tagged with: ,
Posted in For Researchers, For Students, News Stream

5 new publications from Assisi | bf

Assisi | bf publications page 1. Evolution of Spatial Pattern Formation by Autonomous Bio-Inspired Cellular Controllers Payam Zahadat, Thomas Schmickl, Karl Crailsheim Advances in Artificial Life, ECAL 2013 (2013), 721-728 2. Social Inhibition Manages Division of Labour in Artificial Swarm

Tagged with: ,
Posted in For Researchers, For Students, News Stream

2 new Allow Ensembles publications

On-the-Fly Adaptation of Dynamic Service-Based Systems: Incrementality, Reduction and Reuse A. Bucchiarone, A. Marconi, C. Antares Mezzina, M. Pistore, and H. Raik ICSOC 2013, LNCS 8274, pp. 146–161. Springer, Heidelberg, 2013 Using Patterns to Move the Application Data Layer to

Tagged with: ,
Posted in For Researchers, For Students, News Stream

New publication from Diversify

Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software Diego Mendez, Benoit Baudry, Martin Monperrus In Proceedings of the IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM), 2013. Download available here

Tagged with: ,
Posted in For Researchers, For Students, News Stream

2 new publications from Quanticol

1. A Quantitative Approach to the Design and Analysis of Collective Adaptive Systems Luca Bortolussi, Rocco De Nicola, Nicolas Gast, Stephen Gilmore, Jane Hillston, Mieke Massink, Mirco Tribastone. 2. Stochastic Process Algebra and Stability Analysis of Collective Systems Luca Bortolussi,

Tagged with: ,
Posted in For Researchers, For Students, News Stream