|
|
|
|
|
|
Main.Program HistoryHide minor edits - Show changes to output 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''' 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''' to:
|| 14:30|| '''Session 2''' [<<]] Chair: Anamaria Moreira || '''Session 4''' [[<<]] Chair: Simon Bliudze || || Changed line 7 from:
|| 09:30|| Keynote speech: Martin Wirsing 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 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 || 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 to:
|| 09:30|| Keynote speech: Martin Wirsing || Keynote speech: David Deharbe || Keynote speech: Renato Cerqueira || Changed line 4 from:
||border=0 rules=rows frame=hsides width=100% to:
||border=0 cellpadding="10" rules=rows frame=hsides width=100% Changed lines 6-16 from:
|| 08:00 || 09:20 || 09:30 || 10:30 || 11:00 || 12:30 || 14:30 || 16:00 || 18:00 || border=0 cellpadding=" 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 || || || border=0 cellpadding="10" rules=cols frame=vsides width = 100% Changed lines 16-17 from:
|| border || '''Session 1''' [[<<]] ''Architecture modeling and Middleware'' || to:
|| border=0 cellpadding="5" rules=cols frame=vsides width = 100% || '''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'' || 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'' || 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'' || 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'' || 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''|| 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''' || Connectors || '''Session 3 || ''Cloud computing || || Semantics || || || || Compositional 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''' || ''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:
|| 14:30 || Session 2 || Session 4 || || to:
|| 14:30 || '''Session 2''' || '''Session 4''' || || Changed lines 16-17 from:
|| border = 0 || '''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:
|| border = 0 rules=cols frame=vsides width = 100% || '''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:
|| border = 0 align=left rules=cols frame=vsides width = 100% to:
|| border = 0 valign=top align=left rules=cols frame=vsides width = 100% 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'' || || Connectors || || Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars || '' || || || '' || Semantics || Ehsan || || Semantics Ehsan Khamespanah || Compositional and modular methods || Yael Meller, Orna Grumberg and Karen Yorav. Learning-Based Compositional Model Checking of Behavioral UML Systems || || || Dragan Bosnacki 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:
|| || 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 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 || || 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:
|| border = 0 rules=cols frame=vsides width = 100% to:
|| border = 0 align=left rules=cols frame=vsides width = 100% Changed line 16 from:
|| border = 0 to:
|| border = 0 rules=cols frame=vsides width = 100% 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:
||border=0 width=100% to:
||border=0 rules=rows frame=hsides width=100% Deleted line 31:
Changed lines 16-17 from:
|| border = 0 width = 100% || centered || left-aligned || to:
|| border = 0 align=left width = 100% Changed line 8 from:
|| 09:30 || Keynote speech: Martin Wirsing 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 || to:
|| 08:00 || Registration || Registration || || Changed lines 8-19 from:
|| 09: 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 || || || border = 0 width = 100% || 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:
|| 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:
||border=0 to:
||border=0 width=100% || ''Wednesday - 10/14/15'' || ''Thursday - 10/15/15'' || ''Friday - 10/16/15'' || Changed lines 4-5 from:
' to:
||border=0 || ''Wednesday - 10/14/15'' || "Thursday - 10/15/15" || "Friday - 10/16/15" || Changed lines 2-3 from:
to:
---------------- '+TBA+' |
