SCHEDULE: 21th Nov 2017, 14:30, Room B SPEAKER: Luca Aceto (GSSI and School of Computer Science, Reykjavik University) TITLE: Theoretical Foundations for Runtime Monitoring ABSTRACT: Runtime Verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel questions to software engineers: it is not […]
Thomas A. Henzinger , president of IST Austria (Institute of Science and Technology Austria), will visit GSSI. Some information on our guest is available here: Web site , Google Scholar , DBLP . Two seminars will be provided: one on IST Austria and one on his research topics. Further information will be available soon. Save […]
ABSTRACT The Meeting on Algorithmic Game Theory, Algorithms, Games and Markets, will take place from the 13th to the 14th of July 2017, at Gran Sasso Science Institute (GSSI) in L’Aquila (Italy). The goal of the research meeting, the 1st of this kind in Italy, is to bring together researchers working in these areas of […]
Speaker: Prof. Alfredo Navarra (University of Perugia) Title: Robot-based computing systems: modeling and tasks Where: GSSI (Main Lecture Hall) When: Mon 11/07/2016, 15:00-17:00 Abstract: In the last years a considerably effort in the area of distributed computing has been devoted to the study of models and algorithmic approaches for the so called robot-based computing systems, […]
It is our pleasure to announce a CS group meeting for the next Wednesday, April 27th, at 11:00 at Room B. Speaker. Emilio Incerto Title. Symbolic performance adaptation Abstract. Quality-of-Service attributes such as performance and reliability heavily depend on the run-time conditions under which software is executed (e.g., workload fluctuation and resources availability). Therefore, it […]
It is our pleasure to announce another CS group meeting for the next Friday, September 4, at 11:30, Room B. Speaker. Catia Trubiani Title. Exploiting Traceability Uncertainty between Software Architectural Models and Performance Analysis Results Abstract. While software architecture performance analysis is a well studied field, it is less understood how the analysis results (i.e., […]
The slides of Kishor Trivedi seminars are available at the following links: Capacity Planning for Infrastructure-as-a-Service Cloud Why Does Software Fail and What Should be Done About It?
The 5th of February also L’Aquila will have its event on Microsoft .Net! The event will bring in L’Aquila many Microsoft MVP of international level that will introduce all the news on the development of applications for all types of devices, including those that we use every day and which go under the name of […]