Nicolas Kicillof

According to our database, Nicolas Kicillof authored at least 15 papers between 2004 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Assuring the model evolution of protocol software specifications by regression testing process improvement.

Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan

Softw. Pract. Exp., 2011

2010

Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software.

Bo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li

Proceedings of the 10th International Conference on Quality Software, 2010

2009

Interaction Coverage Meets Path Coverage by SMT Constraint Solving.

Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen

Proceedings of the Testing of Software and Communication Systems, 2009

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

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

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

Proceedings of the Eighth International Conference on Quality Software, 2008

Model-Based Quality Assurance of Windows Protocol Documentation.

Wolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden

Proceedings of the First International Conference on Software Testing, 2008

2007

6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07).

Wolfgang Grieskamp, Nicolas Kicillof

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Achieving both model and code coverage with automated gray-box testing.

Nicolas Kicillof, Wolfgang Grieskamp, Nikolai Tillmann, Víctor A. Braberman

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Action Machines: a Framework for Encoding and Composing Partial Behaviors.

Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann

Int. J. Softw. Eng. Knowl. Eng., 2006

A schema language for coordinating construction and composition of partial behavior descriptions.

Wolfgang Grieskamp, Nicolas Kicillof

Proceedings of the SCESM '06: Proceedings of the 2006 International Workshop on Scenarios and State Machines: Models, 2006

Improving AOP Systems' Evolvability by Decoupling Advices from Base Code.

Alan Cyment, Nicolas Kicillof, Rubén Altman, Fernando Asteasuain

Proceedings of the RAM-SE'06-ECOOP'06 Workshop on Reflection, 2006

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

Proceedings of the 2006 OOPSLA workshop on Eclipse Technology eXchange, 2006

2005

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

2004

Visual Timed Event Scenarios.

Alejandra Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004