skip to main content
Idioma:
Refinado por: tipo de recurso: Anais de Congresso remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Barringer, Howard ; Falcone, Yliès ; Havelund, Klaus ; Reger, Giles ; Rydeheard, David

FM 2012: Formal Methods, 2012, Vol.7436, p.68-84 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
2
From First-order Temporal Logic to Parametric Trace Slicing
From First-order Temporal Logic to Parametric Trace Slicing
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From First-order Temporal Logic to Parametric Trace Slicing

Reger, Giles ; Rydeheard, David

Runtime Verification, p.216-232 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
3
From Parametric Trace Slicing to Rule Systems
From Parametric Trace Slicing to Rule Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From Parametric Trace Slicing to Rule Systems

Reger, Giles ; Rydeheard, David

2018

Texto completo disponível

Citações Citado por
4
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems

Afifi, Djihed ; Rydeheard, David E. ; Barringer, Howard

Runtime Verification, p.469-474 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
5
From Runtime Verification to Evolvable Systems
From Runtime Verification to Evolvable Systems
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

From Runtime Verification to Evolvable Systems

Barringer, Howard ; Gabbay, Dov ; Rydeheard, David

Runtime Verification, p.97-110 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Sem texto completo

Citações Citado por
6
A pattern-based approach to parametric specification mining
A pattern-based approach to parametric specification mining
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A pattern-based approach to parametric specification mining

Reger, Giles ; Barringer, Howard ; Rydeheard, David

2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2013, p.658-663

IEEE Press

Texto completo disponível

Citações Citado por
7
Automata-based Pattern Mining from Imperfect Traces
Automata-based Pattern Mining from Imperfect Traces
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Automata-based Pattern Mining from Imperfect Traces

Reger, Giles ; Barringer, Howard ; Rydeheard, David

Association for Computing Machinery 2015

Texto completo disponível

Citações Citado por
8
Towards a categorical semantics of type classes
Towards a categorical semantics of type classes
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Towards a categorical semantics of type classes

Hilken, Barney P. ; Rydeheard, David E.

Mathematical Foundations of Computer Science 1991, 2005, p.191-201 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

Citações Citado por
9
A pattern-based approach to parametric specification mining
A pattern-based approach to parametric specification mining
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A pattern-based approach to parametric specification mining

Reger, Giles ; Barringer, Howard ; Rydeheard, David

IEEE 2013

Texto completo disponível

Citações Citado por
10
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors

Barringer, Howard ; Falcone, Ylies ; Havelund, Klaus ; Reger, Giles ; Rydeheard, David

Jet Propulsion Laboratory 2012

Sem texto completo

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (9)
  2. Revistas revisadas por pares (6)

Data de Publicação 

De até
Refinar
  1. Antes de1989  (1)
  2. 1989Até2004  (1)
  3. 2005Até2006  (1)
  4. 2007Até2010  (3)
  5. Após 2010  (8)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.