A scenario-matching approach to the description and model checking of real-time properties
Braberman, V., Kicillof, N., Olivero, A.
Published in IEEE transactions on software engineering (01.12.2005)
Published in IEEE transactions on software engineering (01.12.2005)
Get full text
Journal Article
Simulation of interactions between network endpoints
Jin Meng, Mera Sergio F, Sun Ning, Arkharov Andrey, Kaler Christopher G, Cao Yiming, Kicillof Nicolas
Year of Publication 30.08.2016
Get full text
Year of Publication 30.08.2016
Patent
Discretizing Technical Documentation for End-to-End Traceability Tests
Stobie, K, Kicillof, N, Grieskamp, W
Published in 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (01.08.2010)
Published in 2010 Second International Conference on Advances in System Testing and Validation Lifecycle (01.08.2010)
Get full text
Conference Proceeding
Communication Analyzer
SUN NING, MERA SERGIO F, KALER CHRISTOPHER G, KICILLOF NICOLAS, CAO YIMING, ARKHAROV ANDREY, JIN MENG
Year of Publication 11.09.2014
Get full text
Year of Publication 11.09.2014
Patent
Regression Testing Process Improvement for Specification Evolution of Real-World Protocol Software
Bo Jiang, Tse, T H, Grieskamp, Wolfgang, Kicillof, Nicolas, Yiming Cao, Xiang Li
Published in 2010 10th International Conference on Quality Software (01.07.2010)
Published in 2010 10th International Conference on Quality Software (01.07.2010)
Get full text
Conference Proceeding
Model-Based Quality Assurance of Windows Protocol Documentation
Grieskamp, W., MacDonald, D., Kicillof, N., Nandan, A., Stobie, K., Wurden, F.
Published in 2008 1st International Conference on Software Testing, Verification, and Validation (01.04.2008)
Published in 2008 1st International Conference on Software Testing, Verification, and Validation (01.04.2008)
Get full text
Conference Proceeding
Symbolic program model compositions
KICILLOF NICOLAS, GRIESKAMP WOLFGANG, SCHULTE WOLFRAM, TILLMANN NIKOLAI, VEANES MARGUS, CAMPBELL COLIN L
Year of Publication 12.04.2011
Get full text
Year of Publication 12.04.2011
Patent
Symbolic program model compositions
Campbell, Colin L, Veanes, Margus, Kicillof, Nicolas, Tillmann, Nikolai, Grieskamp, Wolfgang, Schulte, Wolfram
Year of Publication 12.04.2011
Get full text
Year of Publication 12.04.2011
Patent
Model-Based Quality Assurance of the SMB2 Protocol Documentation
Grieskamp, W., Kicillof, N., MacDonald, D., Nandan, A., Stobie, K., Wurden, F., Danpo Zhang
Published in 2008 The Eighth International Conference on Quality Software (01.08.2008)
Published in 2008 The Eighth International Conference on Quality Software (01.08.2008)
Get full text
Conference Proceeding
Symbolic program model compositions
KICILLOF NICOLAS, GRIESKAMP WOLFGANG, SCHULTE WOLFRAM, TILLMANN NIKOLAI, VEANES MARGUS, CAMPBELL COLIN L
Year of Publication 19.07.2007
Get full text
Year of Publication 19.07.2007
Patent