skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-31, 2006 : proceedings
Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-31, 2006 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of software science and computation structures 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25-31, 2006 : proceedings

FOSSACS 2006 (2006 Vienna, Austria) Luca Aceto; Anna Ing olfsd ottir 1952; ETAPS 2006 (2006 Vienna, Austria)

Berlin Springer New York c2006

Acesso online. A biblioteca também possui exemplares impressos.

2
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Reactive Systems: Modelling, Specification and Verification

Luca Ingólfsdóttir, Anna Larsen, Kim Guldstrand Aceto Luca Aceto; Anna Ingolfsdottir; Anna Ingólfsdóttir; Kim Guldstrand Larsen; Jiri Srba

Cambridge University Press 2007

Acesso online

3
Comparing controlled system synthesis and suppression enforcement
Comparing controlled system synthesis and suppression enforcement
Material Type:
Artigo 		Adicionar ao Meu Espaço

Comparing controlled system synthesis and suppression enforcement

Aceto, Luca ; Cassar, Ian ; Francalanza, Adrian ; Ingólfsdóttir, Anna

International journal on software tools for technology transfer, 2021-08, Vol.23 (4), p.601-614 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
4
Reactive Systems: Modelling, Specification and Verification
Reactive Systems: Modelling, Specification and Verification
Material Type:
Livro 		Adicionar ao Meu Espaço

Reactive Systems: Modelling, Specification and Verification

Aceto, Luca ; Ingólfsdóttir, Anna ; Larsen, Kim Guldstrand ; Srba, Jiri

Cambridge: Cambridge University Press 2007

Sem texto completo

Citações Citado por
5
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

Bidirectional Runtime Enforcement of First-Order Branching-Time Properties

Aceto, Luca ; Cassar, Ian ; Francalanza, Adrian ; Ingolfsdottir, Anna

Logical methods in computer science, 2023-01, Vol.19, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
6
An operational guide to monitorability with applications to regular properties
An operational guide to monitorability with applications to regular properties
Material Type:
Artigo 		Adicionar ao Meu Espaço

An operational guide to monitorability with applications to regular properties

Aceto, Luca ; Achilleos, Antonis ; Francalanza, Adrian ; Ingólfsdóttir, Anna ; Lehtinen, Karoliina

Software and systems modeling, 2021-04, Vol.20 (2), p.335-361 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
7
A Survey of Runtime Monitoring Instrumentation Techniques
A Survey of Runtime Monitoring Instrumentation Techniques
Material Type:
Artigo 		Adicionar ao Meu Espaço

A Survey of Runtime Monitoring Instrumentation Techniques

Cassar, Ian ; Francalanza, Adrian ; Aceto, Luca ; Ingólfsdóttir, Anna

Electronic proceedings in theoretical computer science, 2017-08, Vol.254 (Proc. PrePost 2017), p.15-28

Open Publishing Association

Texto completo disponível

Citações Citado por
8
On the Axiomatisability of Parallel Composition
On the Axiomatisability of Parallel Composition
Material Type:
Artigo 		Adicionar ao Meu Espaço

On the Axiomatisability of Parallel Composition

Aceto, Luca ; Castiglioni, Valentina ; Ingolfsdottir, Anna ; Luttik, Bas ; Pedersen, Mathias R.

Logical methods in computer science, 2022-01, Vol.18, Issue 1 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
9
Rule Formats for Nominal Process Calculi
Rule Formats for Nominal Process Calculi
Material Type:
Artigo 		Adicionar ao Meu Espaço

Rule Formats for Nominal Process Calculi

Luca Aceto ; Ignacio Fábregas ; Álvaro García-Pérez ; Anna Ingólfsdóttir ; Yolanda Ortega-Mallén

Logical methods in computer science, 2019-10, Vol.15, Issue 4 [Periódico revisado por pares]

Logical Methods in Computer Science e.V

Texto completo disponível

Citações Citado por
10
Model-based Testing of Mobile Systems – An Empirical Study on QuizUp Android App
Model-based Testing of Mobile Systems – An Empirical Study on QuizUp Android App
Material Type:
Artigo 		Adicionar ao Meu Espaço

Model-based Testing of Mobile Systems – An Empirical Study on QuizUp Android App

Gudmundsson, Vignir ; Lindvall, Mikael ; Aceto, Luca ; Bergthorsson, Johann ; Ganesan, Dharmalingam

Electronic proceedings in theoretical computer science, 2016-05, Vol.208 (Proc. PrePost 2016), p.16-30

Open Publishing Association

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (277)
  2. Book Chapters  (170)
  3. Anais de Congresso  (118)
  4. Livros  (9)
  5. Reports  (4)
  6. Imagens  (3)
  7. Conjunto de Dados  (2)
  8. Videos  (1)
  9. magazinearticle  (1)
  10. Dissertações  (1)
  11. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1998  (38)
  2. 1998Até2003  (59)
  3. 2004Até2009  (130)
  4. 2010Até2016  (190)
  5. Após 2016  (162)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (585)
  2. Japonês  (13)
  3. Francês  (1)
  4. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.