User Tools

Site Tools


wp4_list

This is an old revision of the document!


List of publications for WP4

A. Armas, P. Baldan, M. Dumas, L. García-Bañuelos:BP-Diff: A Tool for Behavioral Comparison of Business Process Models. BPM (Demos) 2014: 1-2

A. Armas-Cervantes, P. Baldan, M. Dumas, L. García-Bañuelos: Behavioral Comparison of Process Models Based on Canonically Reduced Event Structures. BPM 2014: 267-282

A. Armas-Cervantes, P. Baldan, M. Dumas, L. García-Bañuelos: Diagnosing behavioral differences between business process models: An approach based on event structures. Inf. Syst. 56: 304-325 (2016)

A. Bizjak, L. Birkedal, and M. Miculan: A model of countable nondeterminism in guarded type theory. In G. Dowek, editor, Proc. RTA-TLCA, volume 8560 of Lecture Notes in Computer Science, pages 108–123. Springer, 2014.

Andrea Marin, Sabina Rossi: Autoreversibility: Exploiting Symmetries in Markov Chains. MASCOTS 2013: 151-160 (WP4)

Andrea Marin, Sabina Rossi: On the Relations between Lumpability and Reversibility. MASCOTS 2014: 427-432 (WP4) CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL 2015: 16-31, EPTCS, 194.

D. Latella, M. Loreti, M. Massink, Valerio Senni: On StocS: A Stochastic Extension of SCEL. Software, Services, and Systems 2015: 619-640,Lecture Notes in Computer Science, 8950, Springer, 2014.

D. Latella, M. Loreti, M. Massink, Valerio Senni: Stochastically timed predicate-based communication primitives for autonomic computing. QAPL 2014: 1-16, EPTCS, 154.

D. Latella, M. Loreti, M. Massink: Investigating Fluid-Flow Semantics of Asynchronous Tuple-Based Process Languages for Collective Adaptive Systems. COORDINATION 2015: 19-34, Lecture Notes in Computer Science, Springer, 2015.

D. Latella, M. Loreti, M. Massink: On-the-fly Fast Mean-Field Model-Checking. TGC 2013: 297-314, Lecture Notes in Computer Science, 8358, Springer, 2014.

D. Latella, M. Loreti, M. Massink: On-the-fly Fluid Model Checking via Discrete Time Population Models. EPEW 2015: 193-207, Lecture Notes in Computer Science, 9037, Springer, 2015.

D. Latella, M. Loreti, M. Massink: On-the-fly Probabilistic Model Checking. ICE 2014: 45-59, EPTCS, 166, 2015.

D. Latella, N. Loreti, M. Massink: On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination. Sci. Comput. Program. 110: 23-50 (2015)

D. Sangiorgi, V. Vignudelli: Environmental bisimulations for probabilistic higher-order languages. POPL 2016: 595-607, ACM 2016.

F. Corradini, A. Polini, B. Re. Inter-organizational Business Process Verification in Public Administration. Business Proc. Manag. Journal 21(5): 1040-1065 (2015)

G. Bacci and M. Miculan: Measurable stochastics for Brane Calculus. Theoretical Computer Science, 431:117–136, 2012.

G. Bacci and M. Miculan: Structural operational semantics for continuous state probabilistic processes. In Proc. CMCS’12, volume 7399 of Lecture Notes in Computer Science, pages 71–90. Springer, 2012.

G. Bacci and M. Miculan: Structural operational semantics for continuous state stochastic transition systems. Journal of Computer and System Sciences, 81:834–858, 2015.

J. Hillston, M. Loreti: Specification and Analysis of Open-Ended Systems with CARMA. E4MAS 2014: 95-116, Lecture Notes in Computer Science, 9068, Springer, 2014.

L. Aceto, A. Morichetta, F. Tiezzi: Decision Support for Mobile Cloud Computing Applications via Model Checking. MobileCloud 2015: 199-204, IEEE 2015.

L. Bortolussi, R. De Nicola, Vashti Galpin, S. Gilmore, J. Hillston, D. Latella, M. Loreti, M. Massink: M. Bernardo, D. Sangiorgi, V. Vignudelli: On the discriminating power of passivation and higher-order interaction. CSL-LICS 2014: 14:1-14:10, ACM 2014.

M. Bernardo, D. Sangiorgi, V. Vignudelli: On the discriminating power of testing equivalences for reactive probabilistic systems: results and open problems. QEST 2014: 281-296, Lecture Notes in Computer Science 8657, Springer 2014.

M. Bernardo, F. Corradini, L. Tesei: Timed Process Calculi with Deterministic or Stochastic Delays: Commuting between Durational and Durationless Actions. Theoretical Computer Science, In Press (2016).

M. Bernardo, F. Corradini, L. Tesei: Timed process calculi: from durationless actions to durational ones. ICTCS 2014: 21-32, CEUR Workshop Proceedings 1231, CEUR-WS.org 2014.

M. Bernardo, L. Tesei: Encoding Timed Models as Uniform Labeled Transition Systems. EPEW 2013: 104-118, Lecture Notes in Computer Science 8168, Springer 2013.

M. Bernardo, R. De Nicola, M. Loreti: A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. Inf. Comput. 225: 29-82 (2013)

M. Bernardo, R. De Nicola, M. Loreti: Group-by-Group Probabilistic Bisimilarities and Their Logical Characterizations. TGC 2013: 315-330, Lecture Notes in Computer Science, 8358, Springer, 2014.

M. Bernardo, R. De Nicola, M. Loreti: Relating strong behavioral equivalences for processes with nondeterminism and probabilities. Theor. Comput. Sci. 546: 63-92 (2014)

M. Bernardo, R. De Nicola, M. Loreti: Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes. Logical Methods in Computer Science 10(1) (2014)

M. Bernardo, R. De Nicola, M. Loreti: Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Inf. 52(1): 61-106 (2015)

M. Bernardo, R. De Nicola, M. Loreti: The Spectrum of Strong Behavioral Equivalences for Nondeterministic and Probabilistic Processes. QAPL 2013: 81-96, EPTCS, 117.

M. Miculan and I. Sambarino: Implementing the stochastics brane calculus in a generic stochastic abstract machine. In Gabriel Ciobanu, editor, Proc. MeCBIC, volume 100 of Electronic Proceedings in Theoretical Computer Science, pages 82–100. Open Publishing Association, 2012.

M. Miculan and M. Peressotti: GSOS for non-deterministic processes with quantitative aspects. In N. Bertrand and L. Bortolussi, editors, Proceedings QAPL 2014, volume 154 of EPTCS, pages 17–33, 2014.

P. Baldan, F. Bonchi, H. Kerstan, B. König: Behavioral Metrics via Functor Lifting. FSTTCS 2014: 403-415

P. Baldan, F. Bonchi, H. Kerstan, B. König: Towards Trace Metrics via Functor Lifting. CALCO 2015: 35-49

R. Crubillé, U. Dal Lago, D. Sangiorgi, V. Vignudelli: On applicative similarity, sequentiality, and full abstraction. Correct System Design: 65-82, Lecture Notes in Computer Science 9360, Springer 2015.

R. De Nicola, D. Latella, M. Loreti, M. Massink: A uniform definition of stochastic process calculi. ACM Comput. Surv. 46(1): 5 (2013)

R.B. Uriarte, S. Tsaftaris, F. Tiezzi: Service Clustering for Autonomic Clouds Using Random Forest. CCGRID 2015: 515-524, IEEE 2015.

S. Crafa and F. Ranzato: Logical characterizations of behavioral relations on transition systems of probability distributions. ACM Transactions on Computational Logic 16(1):2:1-2:24 ACM Press, 2014.

S. Balsamo, A. Marin, I. Stojic: Perfect Sampling in Stochastic Petri Nets Using Decision Diagrams. MASCOTS 2015: 126-135

T. Brengos, M. Miculan, and Marco Peressotti: Behavioural equivalences for coalgebras with unobservable moves. Journal of Logical and Algebraic Methods in Programming, 84(6):826–852, 2015.

wp4_list.1458410505.txt.gz · Last modified: 2016/03/19 19:01 by imt