|
|
|
|
|
|
Main.AcceptedPapers HistoryHide minor edits - Show changes to output Changed line 20 from:
Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' to:
%color=red%Best paper! %%Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' Added lines 3-4:
[[http://facs2015.ic.uff.br/facs-preprocs.pdf| Pre-proceedings]] Changed lines 6-30 from:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. '''''k ''''' Ben Said Najah, Takoua Abdellatif, Saddek Bensalem and Marius Bozga. A robust framework for securing composed Web Services Yael Luca Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. An Operational Semantics of BPMN Collaboration Ehsan Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud Jose Proenca and Dave Clarke. Typed Connector Families 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 Massimo Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by- to:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. '''''k ''''''''-bisimulation: a bisimulation for measuring the dissimilarity between processes'''\\ 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''' \\ Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. '''A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing'''\\ Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. '''An Operational Semantics of BPMN Collaboration''' \\ Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. '''Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors'''\\ Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. '''Time complexity of concurrent programs'''\\ Jonas Westman and Mattias Nyberg. '''Formal Architecture Modeling of Sequential C-Programs'''\\ Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. '''Asynchronous Coordination of Stateful Autonomic Managers in the Cloud'''\\ Jose Proenca and Dave Clarke. '''Typed Connector Families'''\\ 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''' \\ Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. '''A contract-oriented middleware'''\\ Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. '''Composing Constraint Automata, State-by-State''' Changed line 6 from:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. ''''k'''''''-bisimulation: a bisimulation for measuring the dissimilarity between processes''' to:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. '''''k ''''' '''-bisimulation: a bisimulation for measuring the dissimilarity between processes''' Changed lines 6-7 from:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. to:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. ''''k'''''''-bisimulation: a bisimulation for measuring the dissimilarity between processes''' Changed lines 4-5 from:
Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles \\ to:
Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. '''Combinatory Synthesis of Classes using Feature Grammars''' \\ Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. '''Configuration Logics - Modelling Architecture Styles''' \\ Changed lines 2-3 from:
Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars \\ Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture to:
------------ Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. "'Combinatory Synthesis of Classes using Feature Grammars"' \\ Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles \\ Changed lines 1-2 from:
Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars to:
Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars \\ Changed line 4 from:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. to:
Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. "k"-bisimulation: a bisimulation for measuring the dissimilarity between processes Added line 2:
Added line 4:
Added line 6:
Added line 8:
Added line 10:
Added line 12:
Added line 14:
Added line 16:
Added line 18:
Added line 20:
Added line 22:
Added line 24:
Added line 26:
Added line 28:
Added lines 1-15:
Jan Bessai, Boris Duedder, George T. Heineman and Jakob Rehof. Combinatory Synthesis of Classes using Feature Grammars Anastasia Mavridou, Eduard Baranov, Simon Bliudze and Joseph Sifakis. Configuration Logics - Modelling Architecture Styles Giuseppe De Ruvo, Giuseppe Lettieri, Domenico Martino, Antonella Santone and Gigliola Vaglini. ``k''-bisimulation: a bisimulation for measuring the dissimilarity between processes 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 Luca Aceto, Kim G. Larsen, Andrea Morichetta and Francesco Tiezzi. A cost/reward method for optimal infinite scheduling in Mobile Cloud Computing Flavio Corradini, Andrea Polini, Barbara Re and Francesco Tiezzi. An Operational Semantics of BPMN Collaboration Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan and Ramtin Khosravi. Bounded Floating-Time Transition System: Significant Reduction for Analysing Actors Elena Giachino, Einar Broch Johnsen, Cosimo Laneve and Ka I Pun. Time complexity of concurrent programs Jonas Westman and Mattias Nyberg. Formal Architecture Modeling of Sequential C-Programs Rim Abid, Gwen Salaün, Noel de Palma and Soguy Mak-Kare Gueye. Asynchronous Coordination of Stateful Autonomic Managers in the Cloud Jose Proenca and Dave Clarke. Typed Connector Families 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 Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda and Livio Pompianu. A contract-oriented middleware Sung-Shik T.Q. Jongmans, Tobias Kappé and Farhad Arbab. Composing Constraint Automata, State-by-State |
