Nicolas Kicillof

	2009
12		Víctor A. Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero: Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. FORMATS 2009: 58-72
11		Wolfgang Grieskamp, Xiao Qu, Xiangjun Wei, Nicolas Kicillof, Myra B. Cohen: Interaction Coverage Meets Path Coverage by SMT Constraint Solving. TestCom/FATES 2009: 97-112
	2008
10		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		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		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		Wolfgang Grieskamp, Nicolas Kicillof: 6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ICSE Companion 2007: 129-130
	2006
6		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		Wolfgang Grieskamp, Nicolas Kicillof: A schema language for coordinating construction and composition of partial behavior descriptions. SCESM 2006: 59-66
3		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		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		A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero: Visual Timed Event Scenarios. ICSE 2004: 168-177

Coauthor Index

1	A. Alfonso	[1]
2	Rubén Altman	[5]
3	Fernando Asteasuain	[5]
4	Víctor A. Braberman	[1] [2] [6] [8] [12]
5	Guido de Caso	[6]
6	Lucía Cavatorta	[6]
7	Myra B. Cohen	[11]
8	Alan Cyment	[5]
9	Andrés Ferrari	[6]
10	Diego Garbervetsky	[6] [12]
11	Wolfgang Grieskamp	[3] [4] [7] [8] [9] [10] [11]
12	Dave MacDonald	[9] [10]
13	Daniel Monteverde	[12]
14	Alok Nandan	[9] [10]
15	Alfredo Olivero	[1] [2] [6] [12]
16	Xiao Qu	[11]
17	Fernando Schapachnik	[6]
18	Keith Stobie	[9] [10]
19	Nikolai Tillmann	[3] [8]
20	Xiangjun Wei	[11]
21	Fred L. Wurden	[9] [10]
22	Danpo Zhang	[9]

Colors in the list of coauthors