|
Research Topics Information |
|
|
Publications "Automatic Verification of DEVS models".L. Morihama, V. Pasuello, G. Wainer. In Proceedings of SISO Spring Interoperability Workshop. Orlando, FL. U.S.A. "Using the CD++ DEVS toolkit to develop Petri Nets".C. Jacques, G. Wainer. In Proceedings of the 2002 Summer Computer Simulation Conference. San Diego, U.S.A. "Performance analysis of DEVS models"E. Glinsky, G. Wainer. In Proceedings of AIS'2002. Lisbon, Portugal. "New Extensions to the CD++ tool". D. Rodríguez, G. Wainer. In Proceedings of Summer Computer Simulation Conference. Chicago, U.S.A.1999. Theses
- "Definition of abstract real-time simulators for DEVS models". Computer Science Dept.; FCEN-UBA, Buenos Aires, Argentina. Student: E. Glinsky. (2002)
- "Parallel execution of Cell-DEVS". FCEN-UBA. Student: A. Troccoli. 2001. - "Inclusion of conservative strategies in the Warped environment". FCEN-UBA. Student: E. Szulsz tein. 2001. - "TSC: a Traffic Simulation Compiler". Students: C. Torres, M. Lo Tártaro (2000). - "Implementation of n-dimensional Cell-DEVS". Student: D. Rodríguez. (1999). - "CD++: an environment for Cell-DEVS modelling and simulation". FCEN-UBA. Students: A. Barylko, J. Beyoglonian (1998). In Progress - "A specification language for DEVS models". Students: G. Christen, C. Dobniewski. (1999-). Tools The CD++ modelling and simulation toolkit. Download HERE
|