Workshop on Logic, Language and Information
edit SideBar
|
Main.Program History
Hide minor edits - Show changes to markup
Changed line 9 from:
| 11:00 | Session 1
Chair: Marius Bozga | Session 3
Chair: Dragan Bosnacki | Session 5
Chair: Bruno Lopes |
to:
| 11:00 | Session 1
Chair: Marius Bozga | Session 3
Chair: Dragan Bosnacki | Session 5
Chair: Bruno Lopes |
Changed line 11 from:
| 14:30 | Session 2 [<<]] Chair: Anamaria Moreira | Session 4
Chair: Simon Bliudze | |
to:
| 14:30 | Session 2
Chair: Anamaria Moreira | Session 4
Chair: Simon Bliudze | |
Changed line 9 from:
| 11:00 | Session 1 | Session 3 | Session 5 |
to:
| 11:00 | Session 1
Chair: Marius Bozga | Session 3
Chair: Dragan Bosnacki | Session 5
Chair: Bruno Lopes |
Changed line 11 from:
to:
| 14:30 | Session 2 [<<]] Chair: Anamaria Moreira | Session 4
Chair: Simon Bliudze | |
Changed line 7 from:
| 09:30 | Keynote speech: Martin Wirsing \\ Chair: Peter Ölveczky | Keynote speech: David Deharbe \\ Chair: Christiano Braga | Keynote speech: Renato Cerqueira \\ Chair: Christiano Braga |
to:
| 09:30 | Keynote speech: Martin Wirsing
Chair: Peter Ölveczky | Keynote speech: David Deharbe
Chair: Christiano Braga | Keynote speech: Renato Cerqueira
Chair: Christiano Braga |
Changed line 7 from:
| 09:30 | Keynote speech: Martin Wirsing | Keynote speech: David Deharbe | Keynote speech: Renato Cerqueira |
to:
| 09:30 | Keynote speech: Martin Wirsing \\ Chair: Peter Ölveczky | Keynote speech: David Deharbe \\ Chair: Christiano Braga | Keynote speech: Renato Cerqueira \\ Chair: Christiano Braga |
Changed line 10 from:
| 12:30 | Lunch break | Lunch break | Lunch break |
to:
| 12:30 | Lunch break | Lunch break | Closing |
Deleted line 17:
Deleted line 18:
Deleted line 19:
Changed lines 2-3 from:
to:
Deleted line 16:
Changed line 8 from:
| 09:30 | Keynote speech: Martin Wirsing | Keynote speech - David Deharbe | Keynote speech - Renato Cerqueira |
to:
| 09:30 | Keynote speech: Martin Wirsing | Keynote speech: David Deharbe | Keynote speech: Renato Cerqueira |
Changed line 4 from:
to:
Changed lines 6-16 from:
| 08:00 | Registration | Registration | |
| 09:20 | Opening | | |
| 09:30 | Keynote speech: Martin Wirsing | Keynote speech - David Deharbe | Keynote speech - Renato Cerqueira |
| 10:30 | Cofee break | Cofee break | Cofee break |
| 11:00 | Session 1 | Session 3 | Session 5 |
| 12:30 | Lunch break | Lunch break | Lunch break |
| 14:30 | Session 2 | Session 4 | |
| 16:00 | Reception | SC meeting | |
| 18:00 | | Conference dinner | |
to:
| 08:00 | Registration | Registration | |
| 09:20 | Opening | | |
| 09:30 | Keynote speech: Martin Wirsing | Keynote speech - David Deharbe | Keynote speech - Renato Cerqueira |
| 10:30 | Cofee break | Cofee break | Cofee break |
| 11:00 | Session 1 | Session 3 | Session 5 |
| 12:30 | Lunch break | Lunch break | Lunch break |
| 14:30 | Session 2 | Session 4 | |
| 16:00 | Reception | SC meeting | |
| 18:00 | | Conference dinner | |
Changed lines 16-17 from:
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 |
|---|
to:
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 |
Changed line 17 from:
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 |
to:
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 |
|---|
Changed line 17 from:
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 |
to:
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 |
Changed line 19 from:
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 |
to:
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 |
Changed line 21 from:
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 |
to:
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 |
Changed line 23 from:
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 |
to:
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 |
Changed line 25 from:
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 |
to:
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 |
Changed lines 19-26 from:
| Session 2 | 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 |
| Connectors and Product Families | |
| Session 3 | 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 |
| Cloud computing | |
| Session 4 | 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 |
| Semantics | |
| Session 5 | 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 |
| Compositional and modular methods | |
to:
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 |
Changed lines 17-18 from:
| Session 1 | 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 |
| Architecture modeling and Middleware | |
to:
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 |
| | |
Changed lines 17-18 from:
| Session 1 | 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 ||
to:
| Session 1 | 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 |
Changed line 12 from:
to:
Changed lines 16-17 from:
| Session 1 | 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 |
to:
| Session 1 | 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 ||
Changed line 20 from:
| Session 2 | 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 |
to:
| Session 2 | 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 |
Changed line 22 from:
| Session 3 | 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 |
to:
| Session 3 | 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 |
Changed line 24 from:
| Session 4 | 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 |
to:
| Session 4 | 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 |
Changed line 26 from:
| Session 5 | 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 |
to:
| Session 5 | 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 |
Changed line 16 from:
to:
Changed line 17 from:
Session 1 || 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
to:
| Session 1 | 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 |
Changed lines 18-30 from:
Architecture modeling and Middleware ||
| Session 2 | Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State |
| Connectors and Product Families | 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 | Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing |
| 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 | Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes |
| Semantics | Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors |
| | Semantics Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors |
| Session 5 | Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services |
| Compositional and modular methods | 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 |
to:
| Architecture modeling and Middleware | |
| Session 2 | 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 |
| Connectors and Product Families | |
| Session 3 | 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 |
| Cloud computing | |
| Session 4 | 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 |
| Semantics | |
| Session 5 | 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 |
| Compositional and modular methods | |
Changed lines 17-19 from:
| Session 1 | 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 |
| Architecture modeling and Middleware |
| |
to:
Session 1 || 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
Architecture modeling and Middleware ||
Changed line 17 from:
| Session 1 | 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 |
to:
| Session 1 | 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 |
Changed lines 17-19 from:
| Session 1 | Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles |
| Architecture modeling and Middleware | 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 |
to:
| Session 1 | 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 |
| Architecture modeling and Middleware |
| |
Changed line 16 from:
to:
Changed line 16 from:
to:
Changed line 31 from:
| | 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 |
to:
| | 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 |
Changed line 4 from:
to:
Deleted line 31:
Changed lines 16-17 from:
to:
Changed line 8 from:
| 09:30 | Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems | Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method | Keynote speech - Renato Cerqueira: TBA |
to:
| 09:30 | Keynote speech: Martin Wirsing | Keynote speech - David Deharbe | Keynote speech - Renato Cerqueira |
Changed lines 17-18 from:
| Session 1 | 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 |
to:
| Session 1 | Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles |
| Architecture modeling and Middleware | Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs |
Added lines 20-32:
| Session 2 | Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State |
| Connectors and Product Families | 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 | Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing |
| 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 | Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. k -bisimulation: a bisimulation for measuring the dissimilarity between processes |
| Semantics | Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors |
| | Semantics Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors |
| Session 5 | Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services |
| Compositional and modular methods | 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 |
Deleted lines 5-7:
<<<<<<<
| 08:00 | Registration | Registration | |
=======
Deleted line 6:
Added lines 6-8:
<<<<<<<
| 08:00 | Registration | Registration | |
=======
Added line 10:
Changed line 23 from:
| | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware |
to:
| | Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware |
Changed line 6 from:
| 08:00 | Registration | Rgistration | |
to:
| 08:00 | Registration | Registration | |
Changed lines 8-19 from:
| 09:00 | Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems | Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method | Keynote speech - Renato Cerqueira: TBA |
to:
| 09:30 | Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems | Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method | Keynote speech - Renato Cerqueira: TBA |
| 10:30 | Cofee break | Cofee break | Cofee break |
| 11:00 | Session 1 | Session 3 | Session 5 |
| 12:30 | Lunch break | Lunch break | Lunch break |
| 14:30 | Session 2 | Session 4 | |
| 16:00 | Reception | SC meeting | |
| 18:00 | | Conference dinner | |
| Session 1 | 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 |
Changed lines 5-8 from:
| Wednesday - 10/14/15 | Thursday - 10/15/15 | Friday - 10/16/15 |
to:
| | Wednesday - 10/14/15 | Thursday - 10/15/15 | Friday - 10/16/15 |
| 08:00 | Registration | Rgistration | |
| 09:20 | Opening | | |
| 09:00 | Keynote speech: Martin Wirsing: A Formal Framework for Simulation-Based Autonomous Systems | Keynote speech - David Deharbe: A Formal Framework for the Design of Software Components with the B method | Keynote speech - Renato Cerqueira: TBA |
Changed lines 4-5 from:
| Wednesday - 10/14/15 | "Thursday - 10/15/15" | "Friday - 10/16/15" |
to:
| Wednesday - 10/14/15 | Thursday - 10/15/15 | Friday - 10/16/15 |
Changed lines 4-5 from:
to:
| Wednesday - 10/14/15 | "Thursday - 10/15/15" | "Friday - 10/16/15" |
Changed lines 2-3 from:
to:
|
