Sfoglia per Serie
Probabilistic Modelling and Analysis of a Fish Population
2015-01-01 Cini, Chiara; Tesei, Luca; Scarcella, Giuseppe; NIETO CORIA, CESAR AUGUSTO; Merelli, Emanuela
Programming Autonomic Systems with Multiple Constraint Stores
2015-01-01 Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco
Programming of CAS systems by relying on attribute-based communication
2016-01-01 Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele
ProSPs: Protein Sites Prediction Based on Sequence Fragments
2022-01-01 Quadrini, M.; Cavallin, M.; Daberdaku, S.; Ferrari, C.
Provably Correct Implementations of Services
2009-01-01 Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele; Mezzina, Leonardo
A Purpose-Guided Log Generation Framework
2022-01-01 Burattin, A.; Re, B.; Rossi, L.; Tiezzi, F.
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties
2015-01-01 Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke
Quantitative Analysis of Services
2011-01-01 Cappello, Igor; Clark, Allan; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Quaglia, Paola; Schivo, Stefano
Rate-Based Transition Systems for Stochastic Process Calculi
2009-01-01 DE NICOLA, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
2012-01-01 Bernardo, Marco; Nicola, Rocco; Loreti, Michele
SCC: a Service Centered Calculus
2006-01-01 Boreale, Michele; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi
The SCEL Language: Design, Implementation, Verification
2015-01-01 De Nicola, Rocco; Latella, Diego; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Massink, Mieke; Morichetta, Andrea; Pugliese, Rosario; Tiezzi, Francesco; Vandin, Andrea
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea
2015-01-01 NIETO CORIA, CESAR AUGUSTO; Tesei, Luca; Scarcella, Giuseppe; Russo, Tommaso; Merelli, Emanuela
Sessions and Pipelines for Structured Service Programming
2008-01-01 Boreale, Michele; Roberto, Bruni; DE NICOLA, Rocco; Loreti, Michele
Sibilla: A Tool for Reasoning about Collective Systems
2022-01-01 Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M.
Simulation and analysis of distributed systems in Klaim
2010-01-01 Calzolai, Francesco; Loreti, Michele
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems
2011-01-01 Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke
Spatial logic and spatial model checking for closure spaces
2016-01-01 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
Specification and Analysis of Open-Ended Systems with CARMA
2015-01-01 Hillston, Jane; Loreti, Michele
Specifying and Verifying Properties of Space
2014-01-01 Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke
Titolo | Data di pubblicazione | Autore(i) | Tipo | File |
---|---|---|---|---|
Probabilistic Modelling and Analysis of a Fish Population | 1-gen-2015 | Cini, Chiara; Tesei, Luca; Scarcella, Giuseppe; NIETO CORIA, CESAR AUGUSTO; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Programming Autonomic Systems with Multiple Constraint Stores | 1-gen-2015 | Montanari, Ugo; Pugliese, Rosario; Tiezzi, Francesco | Capitolo di libro o voce di enciclopedia | |
Programming of CAS systems by relying on attribute-based communication | 1-gen-2016 | Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
ProSPs: Protein Sites Prediction Based on Sequence Fragments | 1-gen-2022 | Quadrini, M.; Cavallin, M.; Daberdaku, S.; Ferrari, C. | Capitolo di libro o voce di enciclopedia | |
Provably Correct Implementations of Services | 1-gen-2009 | Bruni, Roberto; DE NICOLA, Rocco; Loreti, Michele; Mezzina, Leonardo | Capitolo di libro o voce di enciclopedia | |
A Purpose-Guided Log Generation Framework | 1-gen-2022 | Burattin, A.; Re, B.; Rossi, L.; Tiezzi, F. | Contributo in atto di convegno su volume | |
Qualitative and Quantitative Monitoring of Spatio-Temporal Properties | 1-gen-2015 | Nenzi, Laura; Bortolussi, Luca; Ciancia, Vincenzo; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Quantitative Analysis of Services | 1-gen-2011 | Cappello, Igor; Clark, Allan; Gilmore, Stephen; Latella, Diego; Loreti, Michele; Quaglia, Paola; Schivo, Stefano | Capitolo di libro o voce di enciclopedia | |
Rate-Based Transition Systems for Stochastic Process Calculi | 1-gen-2009 | DE NICOLA, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes | 1-gen-2012 | Bernardo, Marco; Nicola, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
SCC: a Service Centered Calculus | 1-gen-2006 | Boreale, Michele; Bruni, Roberto; Caires, Luis; DE NICOLA, Rocco; Lanese, Ivan; Loreti, Michele; Martins, Francisco; Montanari, Ugo; Ravara, Antonio; Sangiorgi, Davide; Vasconcelos, Vasco; Zavattaro, Gianluigi | Capitolo di libro o voce di enciclopedia | |
The SCEL Language: Design, Implementation, Verification | 1-gen-2015 | De Nicola, Rocco; Latella, Diego; Lafuente, Alberto Lluch; Loreti, Michele; Margheri, Andrea; Massink, Mieke; Morichetta, Andrea; Pugliese, Rosario; Tiezzi, Francesco; Vandin, Andrea | Capitolo di libro o voce di enciclopedia | |
Sea-Scale Agent-Based Simulator of Solea solea in the Adriatic Sea | 1-gen-2015 | NIETO CORIA, CESAR AUGUSTO; Tesei, Luca; Scarcella, Giuseppe; Russo, Tommaso; Merelli, Emanuela | Contributo in atto di convegno su volume | |
Sessions and Pipelines for Structured Service Programming | 1-gen-2008 | Boreale, Michele; Roberto, Bruni; DE NICOLA, Rocco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Sibilla: A Tool for Reasoning about Collective Systems | 1-gen-2022 | Del Giudice, N.; Matteucci, L.; Quadrini, M.; Rehman, A.; Loreti, M. | Capitolo di libro o voce di enciclopedia | |
Simulation and analysis of distributed systems in Klaim | 1-gen-2010 | Calzolai, Francesco; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
SoSL: A Service-Oriented Stochastic LogicRigorous Software Engineering for Service-Oriented Systems | 1-gen-2011 | Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Spatial logic and spatial model checking for closure spaces | 1-gen-2016 | Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia | |
Specification and Analysis of Open-Ended Systems with CARMA | 1-gen-2015 | Hillston, Jane; Loreti, Michele | Capitolo di libro o voce di enciclopedia | |
Specifying and Verifying Properties of Space | 1-gen-2014 | Ciancia, Vincenzo; Latella, Diego; Loreti, Michele; Massink, Mieke | Capitolo di libro o voce di enciclopedia |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile