Workshop on Logic, Language and Information

edit SideBar

Program

 Wednesday - 10/14/15Thursday - 10/15/15Friday - 10/16/15
08:00RegistrationRegistration 
09:20Opening  
09:30Keynote speech: Martin Wirsing
Chair: Peter Ölveczky
Keynote speech: David Deharbe
Chair: Christiano Braga
Keynote speech: Renato Cerqueira
Chair: Christiano Braga
10:30Cofee breakCofee breakCofee break
11:00Session 1
Chair: Marius Bozga
Session 3
Chair: Dragan Bosnacki
Session 5
Chair: Bruno Lopes
12:30Lunch breakLunch breakClosing
14:30Session 2
Chair: Anamaria Moreira
Session 4
Chair: Simon Bliudze
 
16:00ReceptionSC meeting 
18:00 Conference dinner 
Session 1
Architecture modeling and Middleware
Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles
Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs
Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware
Session 2
Connectors and Product Families
Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State
Jose Proenca and Dave Clarke. Typed Connector Families
Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars
Session 3
Cloud computing
Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing
Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud
Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs
Session 4
Semantics
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes
Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors
Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. An Operational Semantics of BPMN Collaboration
Session 5
Compositional and modular methods
Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services
Yael Meller, Orna Grumberg and Karen Yorav. Learning-Based Compositional Model Checking of Behavioral UML Systems
Dragan Bosnacki, Mark Van Den Brand, Joost Gabriels, Bart Jacobs, Ruurd Kuiper, Sybren Roede and Anton Wijs. Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models
Edit - History - Print - Recent Changes - Search
Page last modified on October 07, 2015, at 05:43 PM