Search the dblp DataBase

Publications of Author

1. Alan Cyment, Nicolas Kicillof, Rubén Altman, Fernando Asteasuain
   Improving AOP Systems' Evolvability by Decoupling Advices from Base Code. [Citation Graph (0, 0)][DBLP]
   RAM-SE, 2006, pp:9-21 [Conf]
   
2. A. Alfonso, Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
   Visual Timed Event Scenarios. [Citation Graph (0, 0)][DBLP]
   ICSE, 2004, pp:168-177 [Conf]
   
3. Wolfgang Grieskamp, Nicolas Kicillof
   A schema language for coordinating construction and composition of partial behavior descriptions. [Citation Graph (0, 0)][DBLP]
   SCESM, 2006, pp:59-66 [Conf]
   
4. Wolfgang Grieskamp, Nicolas Kicillof, Nikolai Tillmann
   Action Machines: a Framework for Encoding and Composing Partial Behaviors. [Citation Graph (0, 0)][DBLP]
   International Journal of Software Engineering and Knowledge Engineering, 2006, v:16, n:5, pp:705-726 [Journal]
   
5. Víctor A. Braberman, Nicolas Kicillof, Alfredo Olivero
   A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2005, v:31, n:12, pp:1028-1041 [Journal]
   
6. Wolfgang Grieskamp, Nicolas Kicillof
   6th International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (SCESM07). [Citation Graph (0, 0)][DBLP]
   ICSE Companion, 2007, pp:129-130 [Conf]
   
7. 
   Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis. [Citation Graph (, )][DBLP]
   
   
8. 
   Interaction Coverage Meets Path Coverage by SMT Constraint Solving. [Citation Graph (, )][DBLP]
   
   
9. 
   Model-Based Quality Assurance of the SMB2 Protocol Documentation. [Citation Graph (, )][DBLP]
   
   
10. 
    Achieving both model and code coverage with automated gray-box testing. [Citation Graph (, )][DBLP]
    
    
11. 
    A toolsuite for the verification of real-time systems in Eclipse. [Citation Graph (, )][DBLP]
    
    
12. 
    Model-Based Quality Assurance of Windows Protocol Documentation. [Citation Graph (, )][DBLP]