Blog Archives

FoCAS Metro Map

FoCAS Metro Map

At the FoCAS Video Sprint in early January 2016 we developed the concept of a FoCAS Metro map to highlight the journeys, intersections and destinations of the FoCAS projects. Best viewed Full Screen

Tagged with: , , , , , , ,
Posted in For Educators, For Researchers, For Students, News Stream, Presentations, Video

Quanticol: Smart journey planning for bicycle-sharing systems

Bicycle-sharing systems have proven to be very successful in several major cities and are now spreading all across the world. There exist more than 700 such systems that operate on five continents. The benefits for cities are multiple: from a

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

Quanticol Summer School

The QUANTICOL project will have a Spring School in Bertinoro, Italy to disseminate the project results to PhD students and other researchers from around the world. The summer school on Formal Methods for the Design of Computer, Communication and Software

Tagged with: ,
Posted in By Event, For Educators, For Researchers, For Students, Future Events, News Stream

7 Quanticol technical reports

D. Latella, M. Loreti and M. Massink. On-the-fly PCTL Fast Mean-Field Model-Checking for Self-organising Coordination. Preliminary version.QUANTICOL TR-QC-01-2013. Dec. 17, 2013. M.H. ter Beek, S. Gnesi, and A. Fantechi. Chaining available tools to support the modelling and analysis of a

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

Static repositioning in a bike-sharing system: models and solution approaches

Background Paper

Raviv, Tal, Michal Tzur, and Iris A. Forma EURO Journal on Transportation and Logistics (2013) Vol 2, Issue 3, pp- 187-229 DOI: 10.1007/s13676-012-0017-6 Used by the Quanticol project Static repositioning refers to repositioning bikes among stations during night time in

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Balancing a dynamic public bike-sharing system

Background Paper

Contardo, Claudio, Catherine Morency, and Louis-Martin Rousseau CIRRELT 2012 https://www.cirrelt.ca/DocumentsTravail/CIRRELT-2012-09.pdf Used by the Quanticol project In this paper, a set of mathematical formulations and solution methodologies are provided for a dynamic public bike-sharing balancing problem arising from the daily operations.

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

Parameter and uncertainty estimation for process-oriented population and distribution models: data, statistics and the niche

Background Paper

G.Marion, G.J.McInerny, J.Pagel, S.Catterall, A.R.Cook, F.Hartig and R.B.O’Hara Journal of Biogeography, 2012, Volume 39, Issue 12, pages 2225–2239 DOI: 10.1111/j.1365-2699.2012.02772.x Used by the Quanticol project This is a review paper which gives an introduction to parameter estimation in the Bayesian

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers

The Importance of Being Discrete (and Spatial)

Background Paper

R Durrett, S Levin Theoretical population biology, Volume 46, Issue 3, December 1994, Pages 363–394 DOI http://dx.doi.org/10.1006/tpbi.1994.1032 Used by the Quanticol project The Importance of Being Discrete(and Spatial): This paper compares four approaches to the modelling of spatially distributed systems.

Tagged with: ,
Posted in For Researchers, For Students, Research Landscape, Reviews of Background Papers