dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Nicolas Kicillof Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Grieskamp, Nicolas Kicillof, Keith Stobie, Víctor A. Braberman: Model-based quality assurance of protocol documentation: tools and methodology. Softw. Test., Verif. Reliab. 21(1): 55-71 (2011)
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li, W. K. Chan: Assuring the model evolution of protocol software specifications by regression testing process improvement. Softw., Pract. Exper. 41(10): 1073-1103 (2011)
2010
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBo Jiang, T. H. Tse, Wolfgang Grieskamp, Nicolas Kicillof, Yiming Cao, Xiang Li: Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software. QSIC 2010: 62-71
2009
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVí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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Grieskamp, Nicolas Kicillof, Dave MacDonald, Alok Nandan, Keith Stobie, Fred L. Wurden: Model-Based Quality Assurance of Windows Protocol Documentation. ICST 2008: 502-506
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicolas 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Grieskamp, Nicolas Kicillof: 6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). ICSE Companion 2007: 129-130
2006
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLucí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
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Cyment, Nicolas Kicillof, Rubén Altman, Fernando Asteasuain: Improving AOP Systems' Evolvability by Decoupling Advices from Base Code. RAM-SE 2006: 9-21
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang Grieskamp, Nicolas Kicillof: A schema language for coordinating construction and composition of partial behavior descriptions. SCESM 2006: 59-66
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVí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
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero: Visual Timed Event Scenarios. ICSE 2004: 168-177

Coauthor Index

1A. Alfonso [1]
2Rubén Altman [5]
3Fernando Asteasuain [5]
4Víctor A. Braberman [1] [2] [6] [8] [12] [15]
5Yiming Cao [13] [14]
6Guido de Caso [6]
7Lucía Cavatorta [6]
8Wing Kwong Chan (W. K. Chan) [14]
9Myra B. Cohen [11]
10Alan Cyment [5]
11Andrés Ferrari [6]
12Diego Garbervetsky [6] [12]
13Wolfgang Grieskamp [3] [4] [7] [8] [9] [10] [11] [13] [14] [15]
14Bo Jiang [13] [14]
15Xiang Li [13] [14]
16Dave MacDonald [9] [10]
17Daniel Monteverde [12]
18Alok Nandan [9] [10]
19Alfredo Olivero [1] [2] [6] [12]
20Xiao Qu [11]
21Fernando Schapachnik [6]
22Keith Stobie [9] [10] [15]
23Nikolai Tillmann [3] [8]
24T. H. Tse [13] [14]
25Xiangjun Wei [11]
26Fred L. Wurden [9] [10]
27Danpo Zhang [9]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page