Visual Timed Event Scenarios. - Alejandra Alfonso; Víctor A. Braberman; Nicolas Kicillof; Alfredo Olivero (ICSE, 2004)

A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. - Víctor A. Braberman; Nicolas Kicillof; Alfredo Olivero (IEEE Trans. Software Eng., 2005)

A toolsuite for the verification of real-time systems in Eclipse. - Lucía Cavatorta; Guido de Caso; Andrés Ferrari; Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Fernando Schapachnik; Alfredo Olivero (ETX, 2006)

Improving AOP Systems' Evolvability by Decoupling Advices from Base Code. - Alan Cyment; Nicolas Kicillof; Rubén Altman; Fernando Asteasuain (RAM-SE, 2006)

A schema language for coordinating construction and composition of partial behavior descriptions. - Wolfgang Grieskamp; Nicolas Kicillof (SCESM, 2006)

Action Machines: a Framework for Encoding and Composing Partial Behaviors. - Wolfgang Grieskamp; Nicolas Kicillof; Nikolai Tillmann (Int. J. Softw. Eng. Knowl. Eng., 2006)

Achieving both model and code coverage with automated gray-box testing. - Nicolas Kicillof; Wolfgang Grieskamp; Nikolai Tillmann; Víctor A. Braberman (A-MOST, 2007)

6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). - Wolfgang Grieskamp; Nicolas Kicillof (ICSE Companion, 2007)

Model-Based Quality Assurance of Windows Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden (ICST, 2008)

Model-Based Quality Assurance of the SMB2 Protocol Documentation. - Wolfgang Grieskamp; Nicolas Kicillof; Dave MacDonald; Alok Nandan; Keith Stobie; Fred L. Wurden; Danpo Zhang (QSIC, 2008)

Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. - Víctor A. Braberman; Diego Garbervetsky; Nicolas Kicillof; Daniel Monteverde; Alfredo Olivero (FORMATS, 2009)

Interaction Coverage Meets Path Coverage by SMT Constraint Solving. - Wolfgang Grieskamp; Xiao Qu; Xiangjun Wei; Nicolas Kicillof; Myra B. Cohen (TestCom/FATES, 2009)

Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. - Bo Jiang 001; T. H. Tse; Wolfgang Grieskamp; Nicolas Kicillof; Yiming Cao; Xiang Li (QSIC, 2010)

Assuring the model evolution of protocol software specifications by regression testing process improvement. - Bo Jiang 001; T. H. Tse; Wolfgang Grieskamp; Nicolas Kicillof; Yiming Cao; Xiang Li; W. K. Chan 001 (Softw. Pract. Exp., 2011)

Model-based quality assurance of protocol documentation: tools and methodology. - Wolfgang Grieskamp; Nicolas Kicillof; Keith Stobie; Víctor A. Braberman (Softw. Test. Verification Reliab., 2011)