Skip to contents

Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto

Lecture Notes in Computer Science: Improving the Encoding of LTL Model Checking into SAT

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Lecture Notes in Computer Science
Khoshkangini, Reza; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco

Automatic generation and recommendation of personalized challenges for gamification

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2021

Published in: User Modeling and User-Adapted Interaction
Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi

A context-aware framework for dynamic composition of process fragments in the internet of services

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Sociedade Brasileira de Computacao - SB, 2017

Published in: Journal of Internet Services and Applications
Bucchiarone, Antonio; Marconi, Annapaola; Pistore, Marco; Raik, Heorhi

Service-Oriented Computing: CAptEvo: Context-Aware Adaptation and Evolution of Business Processes

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Service-Oriented Computing
Bertoli, Piergiorgio; Kazhamiakin, Raman; Nori, Michele; Pistore, Marco

Web Information Systems Engineering - WISE 2012: SMART: Supporting the Design and Execution of User-Centric Service-Based Applications

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2012

Published in: Web Information Systems Engineering - WISE 2012
Kazhamiakin, Raman; Kerhet, Volha; Paolucci, Massimo; Pistore, Marco; Wagner, Matthias

Artificial Intelligence: Methodology, Systems, and Applications: Use-Based Discovery of Pervasive Services

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Artificial Intelligence: Methodology, Systems, and Applications
Bucchiarone, Antonio; Lafuente, Alberto Lluch; Marconi, Annapaola; Pistore, Marco

Lecture Notes in Computer Science: A Formalisation of Adaptable Pervasive Flows

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Lecture Notes in Computer Science
Kazhamiakin, Raman; Paolucci, Massimo; Pistore, Marco; Raik, Heorhi

On the Move to Meaningful Internet Systems: OTM 2010: Modelling and Automated Composition of User-Centric Services

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: On the Move to Meaningful Internet Systems: OTM 2010
Lewis, Grace; Smith, Dennis; Metzger, Andreas; Zisman, Andrea; Pistore, Marco

Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2010

Published in: ACM SIGSOFT Software Engineering Notes
Kazhamiakin, Raman; Wetzstein, Branimir; Karastoyanova, Dimka; Pistore, Marco; Leymann, Frank

Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops: Adaptation of Service-Based Applications Based on Process Quality Factor Analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2010

Published in: Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops
Kazhamiakin, Raman; Bertoli, Piergiorgio; Paolucci, Massimo; Pistore, Marco; Wagner, Matthias

Lecture Notes in Computer Science: Having Services “YourWay!”: Towards User-Centric Composition of Mobile Services

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2009

Published in: Lecture Notes in Computer Science
Kuter, Ugur; Nau, Dana; Pistore, Marco; Traverso, Paolo

Task decomposition on abstract states, for planning under nondeterminism

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2009

Published in: Artificial Intelligence
Ciancia, Vincenzo; Ferrari, Gian-Luigi; Pistore, Marco; Tuosto, Emilio

Concurrency, Graphs and Models: History Dependent Automata for Service Compatibility

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Concurrency, Graphs and Models
Hielscher, Julia; Kazhamiakin, Raman; Metzger, Andreas; Pistore, Marco

Towards a Service-Based Internet: A Framework for Proactive Self-adaptation of Service-Based Applications Based on Online Testing

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Towards a Service-Based Internet
Baresi, Luciano; Guinea, Sam; Kazhamiakin, Raman; Pistore, Marco

Towards a Service-Based Internet: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2008

Published in: Towards a Service-Based Internet
Ferrari, Gian-Luigi; Gnesi, Stefania; Montanari, Ugo; Pistore, Marco

A model-checking verification environment for mobile processes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2003

Published in: ACM Transactions on Software Engineering and Methodology
Fuxman, Ariel; Liu, Lin; Mylopoulos, John; Pistore, Marco; Roveri, Marco; Traverso, Paolo

Specifying and analyzing early requirements in Tropos

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Science and Business Media LLC, 2004

Published in: Requirements Engineering
Cimatti, Alessandro; Clarke, Edmund; Giunchiglia, Enrico; Giunchiglia, Fausto; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando

Computer Aided Verification: NuSMV 2: An OpenSource Tool for Symbolic Model Checking

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Computer Aided Verification
Cimatti, Alessandro; Giunchiglia, Enrico; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; Tacchella, Armando

Frontiers of Combining Systems: Integrating BDD-Based and SAT-Based Symbolic Model Checking

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2002

Published in: Frontiers of Combining Systems
De Sanctis, Martina; Geihs, Kurt; Bucchiarone, Antonio; Valetto, Giuseppe; Marconi, Annapaola; Pistore, Marco

Service-Oriented Computing – ICSOC 2015 Workshops: Distributed Service Co-evolution Based on Domain Objects

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2016

Published in: Service-Oriented Computing – ICSOC 2015 Workshops

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication