Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(18)
Marcelo F. Frias
12
Carlos Gustavo Lopez Pombo (Carlos Gustavo López Pombo)
7
Nazareno M. Aguirre
6
Nicolas Rosner (Nicolás Rosner)
2
Shaz Qadeer
1
Conferences
(6)
ICSE
2
ASM
2
ISSTA
1
CAV
1
IEEE International Conference on Formal Engineering Methods
1
Journals
(2)
TOSEM
1
ECEASST
1
Keywords
(40)
Embed
Subscribe
Academic
Authors
Juan Pablo Galeotti
Edit
Juan Pablo Galeotti
Universidad de Buenos Aires
Publications: 15
|
Citations: 49
|
G-Index: 7
|
H-Index: 4
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Algorithms & Theory
,
Operating Systems
View FAQ about top research area and research interests
Collaborated with
18 co-authors
from 2005 to 2010
; Cited by
75 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(15)
BibTeX
|
RIS
|
RefWorks
Download
Analysis of invariants for efficient bounded verification
(
Citations: 3
)
Juan Pablo Galeotti
,
Nicolás Rosner
,
Carlos Gustavo López Pombo
,
Marcelo Fabian Frias
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 25-36, 2010
Alloy+HotCore: A Fast Approximation to Unsat Core
Nicolás D’Ippolito
,
Marcelo F. Frias
,
Juan P. Galeotti
,
Esteban Lanzarotti
,
Sergio Mera
Conference:
Workshops on Abstract State Machines - ASM
, pp. 160-173, 2010
ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models
Nicolás Rosner
,
Juan P. Galeotti
,
Carlos López Pombo
,
Marcelo F. Frias
Conference:
Workshops on Abstract State Machines - ASM
, pp. 396-397, 2010
Intra-module Inference
(
Citations: 6
)
Shuvendu K. Lahiri
,
Shaz Qadeer
,
Juan P. Galeotti
,
Jan W. Voung
,
Thomas Wies
Conference:
Computer Aided Verification - CAV
, pp. 493-508, 2009
Dynamic Software Architectures Verification using DynAlloy
(
Citations: 4
)
Antonio Bucchiarone
,
Juan P. Galeotti
Journal:
Electronic Communication of The European Association of Software Science and Technology - ECEASST
, vol. 10, 2008
Order by:
Citations
(49 times by 44 publications)
Pervasive safety application with model checking in smart houses: The INOVUS intelligent oven
Thibault De Champs
,
Bessam Abdulrazak
,
Hélène Pigot
,
Mohammed Ouenzar
,
Marc Frappier
,
Benoît Fraikin
Conference:
IEEE International Conference on Pervasive Computing and Communications
, pp. 630-635, 2011
Testing Container Classes: Random or Systematic?
Rohan Sharma
,
Milos Gligoric
,
Andrea Arcuri
,
Gordon Fraser
,
Darko Marinov
Conference:
Fundamental Approaches to Software Engineering - FASE
, pp. 262-277, 2011
ExplainHoudini: Making Houdini Inference Transparent
Shuvendu K. Lahiri
,
Julien Vanegue
Conference:
Verification, Model Checking and Abstract Interpretation - VMCAI
, pp. 309-323, 2011
Modelling of security properties in Alloy
Lilia Georgieva
Conference:
Conference on Privacy, Security and Trust - PST
, 2011
Analysis of invariants for efficient bounded verification
(
Citations: 3
)
Juan Pablo Galeotti
,
Nicolás Rosner
,
Carlos Gustavo López Pombo
,
Marcelo Fabian Frias
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 25-36, 2010
Comments