| 2008 |
|---|
| 10 | EE | Wolfgang Grieskamp,
Nicolas Kicillof,
Dave MacDonald,
Alok Nandan,
Keith Stobie,
Fred L. Wurden:
Model-Based Quality Assurance of Windows Protocol Documentation.
ICST 2008: 502-506 |
| 9 | EE | Wolfgang Grieskamp,
Nicolas Kicillof,
Dave MacDonald,
Alok Nandan,
Keith Stobie,
Fred L. Wurden,
Danpo Zhang:
Model-Based Quality Assurance of the SMB2 Protocol Documentation.
QSIC 2008: 235-240 |
| 2007 |
|---|
| 8 | EE | Nicolas Kicillof,
Wolfgang Grieskamp,
Nikolai Tillmann,
Víctor A. Braberman:
Achieving both model and code coverage with automated gray-box testing.
A-MOST 2007: 1-11 |
| 7 | EE | Wolfgang Grieskamp,
Nicolas Kicillof:
6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).
ICSE Companion 2007: 129-130 |
| 2006 |
|---|
| 6 | EE | Lucía Cavatorta,
Guido de Caso,
Andrés Ferrari,
Víctor A. Braberman,
Diego Garbervetsky,
Nicolas Kicillof,
Fernando Schapachnik,
Alfredo Olivero:
A toolsuite for the verification of real-time systems in Eclipse.
ETX 2006: 35-39 |
| 5 | | Alan Cyment,
Nicolas Kicillof,
Rubén Altman,
Fernando Asteasuain:
Improving AOP Systems' Evolvability by Decoupling Advices from Base Code.
RAM-SE 2006: 9-21 |
| 4 | EE | Wolfgang Grieskamp,
Nicolas Kicillof:
A schema language for coordinating construction and composition of partial behavior descriptions.
SCESM 2006: 59-66 |
| 3 | EE | Wolfgang Grieskamp,
Nicolas Kicillof,
Nikolai Tillmann:
Action Machines: a Framework for Encoding and Composing Partial Behaviors.
International Journal of Software Engineering and Knowledge Engineering 16(5): 705-726 (2006) |
| 2005 |
|---|
| 2 | EE | Víctor A. Braberman,
Nicolas Kicillof,
Alfredo Olivero:
A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties.
IEEE Trans. Software Eng. 31(12): 1028-1041 (2005) |
| 2004 |
|---|
| 1 | EE | A. Alfonso,
Víctor A. Braberman,
Nicolas Kicillof,
Alfredo Olivero:
Visual Timed Event Scenarios.
ICSE 2004: 168-177 |
