The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Nicolas Kicillof: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002