Books (press here for further information)

1. "Methodologies and tools for discrete-event simulation" (in Spanish). G. Wainer. Nueva Librería, Buenos Aires, Argentina. 2003.

2. "Real-Time Systems: concepts and applications" (in Spanish), G. Wainer. Nueva Librería, Buenos Aires, Argentina. 1997.

1. "Using G-DEVS and Cell-DEVS to model complex continuous systems". N. Giambiasi, G. Wainer. Simulation: Transactions of the Society for Modeling and Simulation International. February 2005 Vol. 81, No. 2: 137-151.

2. "Cellular Discrete-event modeling and simulation of fire spreading across a fuel bed". A. Muzy, E. Innocenti, G. Wainer, A. Aiello, J-F. Santucci, T. Marcelli and P. Santoni. Accepted for publication in Simulation: Simulation: Transactions of the Society for Modeling and Simulation International. (Accepted: September 2003).

3.  "A framework for remote execution and visualization of Cell-DEVS models". G. Wainer, W. Chen. In Simulation: Transactions of the Society for Modeling and Simulation International. November 2003. pp. 626-647.

4. "CD++: a toolkit to define discrete-event models". G. Wainer. In Software, Practice and Experience. Wiley. Vol. 32, No.3.. November 2002. pp. 1261-1306 (find a preliminary version here)

5. "N-Dimensional Cell-DEVS". G. Wainer, N. Giambiasi. In Discrete Events Systems: Theory and Applications, Kluwer. Vol. 12, No. 1. January 2002. pp. 135-157.

6. "Experiences in modelling and simulation of computer architectures using DEVS". S. Daicz; A. Troccoli, G. Wainer. In Transactions of the Society for Modeling and Simulation International. Vol. 18, No. 4. December 2001. pp. 179-202.

7. "Using the ALFA-1 simulated processor for educational purposes". G. Wainer, S. Daicz, L. De Simoni, D. Wassermann. In ACM Journal on Educational Resources in Computing. Vol. 1, No. 4. December 2001. pp. 111-151.

8. "Application of the Cell-DEVS paradigm for cell spaces modelling and simulation". G. Wainer, N. Giambiasi. Simulation, Vol. 71, No. 1. January 2001. pp. 22-39.

9. "Experiences with DEVS modelling and simulation". G. Wainer. In IASTED Journal on Modelling and Simulation. Vol. 21, No. 2. March 2001. pp. 138-147.  

10. "Improved Cellular Models with Parallel Cell-DEVS". G. Wainer. In Transactions of the Society for Computer Simulation International. Vol. 17, No. 2. June 2000. pp. 73-88.

11. "Implementation of Real-Time services in MINIX". G. Wainer. In ACM Operating Systems Review. Vol. 9, No. 3. July 1995. pp. 75-84.  

12. "Using MINIX as a teaching tool in Operating Systems Courses". G. Wainer. In magazine of the International Network of Human Resources, CICC, Tokyo, Japan. 1992.

1. "Timed Cell-DEVS: modelling and simulation of cell spaces". G.Wainer, N. Giambiasi. Invited paper for the book Discrete Event Modeling & Simulation: Enabling Future Technologies.Springer-Verlag, 2001.
   
2. “Model-Driven Architecture of Real-Time Systems”. G. Wainer, E. Glinsky, P. MacSween. Accepted for publication in " Model-driven Software Development - Volume II of Research and Practice in Software Engineering

1. “Simulating Market Dynamics with CD++”. Q. Liu, G. Wainer. Accepted for publication in Proceedings of the International Conference on Computational Science. Lecture Notes in Computer Science. Atlanta, GA. 2005.

2.  “A model of virus spreading using Cell-DEVS”. H. Shang, G. Wainer. Accepted for publication in Proceedings of the International Conference on Computational Science. Lecture Notes in Computer Science. Atlanta, GA. 2005.

3. “Towards the Verification and Validation of DEVS Models”, Yvan Labiche, G. Wainer. Accepted for publication in the 1^st Open International Conference on Modeling & Simulation. Clermont-Ferrand, France. 2005

4. “Advanced DEVS model visualization”. A. Khan, W. Venhola, G. Wainer, M. Jemtrud. Accepted for publication in Proceedings of IMACS World Congress on Scientific Computation, Applied Mathematics and Simulation 2005. Paris, France. 2005.

5. “Modeling Space-Shaped Devense applications with Cell-DEVS”. R. Madhoun, G. Wainer. In Proceedings of SISO Fall Interoperability Workshop. San Diego, CA. U.S.A. 2005.

6. “Design and Implementation of a Library of Network Protocols in CD++”. M. Ahmed, K. Yonis, M. Elshafei, G. Wainer. In Proceedings of the 38^th IEEE/SCS Annual Simulation Symposium. San Diego, CA. U.S.A. 2005.

7. “DEVS for mixed-signal Modeling based on VHDL ”. S. Mehta, G. Wainer. In Proceedings of the 2005 DEVS Integrative M&S Symposium, Spring Simulation Conference. San Diego, CA. U.S.A. 2005. xxx

8.  “DEVS Modeling and Simulation of the Cellular Metabolism by Mitochondria ”. R. Djafarzadeh, T. Mussivand, G. Wainer. In Proceedings of the 2005 DEVS Integrative M&S Symposium, Spring Simulation Conference. San Diego, CA. U.S.A. 2005.

9. “Advanced Visualization of DEVS and Cell-DEVS Models in CD++/Maya”. A. Khan, G. Wainer. In Proceedings of SISO Fall Interoperability Workshop. Orlando, FL. U.S.A. 2005.
10. “Application of the Cell-DEVS formalism for modeling cell spaces”. J. Ameghino, G. Wainer. Proceedings of AIS’2004. Jeju Island, Korea. Lecture Notes in Computer Science. Vol 3397. T.G.Kim, Ed. 2004.

11. “Applying Cell-DEVS in 3D Free-Form Shape Modeling”. P. Wu, X. Wu, G. Wainer. In Proceedings of ACRI 2004. Netherlands. Vol. 3305 Sloot, P.; Chopard, B.; Hoekstra, A. Eds. 2004.

12. “Improved Cell-DEVS model definition in CD++”. A. López, G. Wainer. In Proceedings of ACRI 2004. Netherlands. Vol. 3305 Sloot, P.; Chopard, B.; Hoekstra, A. Eds. 2004.

13. "Modeling and simulation of systems with hardware-in-the-loop". E. Glinsky, G. Wainer. In Proceedings of the Winter Simulation Conference. Washington, DC. 2004.

14. “Modeling and simulation of complex systems with Cell-DEVS”. G. Wainer. In Proceedings of the Winter Simulation Conference. Washington, DC. 2004.

15. "Modeling ad-hoc networks using Cell-DEVS models". B. Balya, U. Farooq, G. Wainer. In Proceedings of 2004 International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS'04). San Jose, CA. 2004.

16. "Modeling Computer Hardware Platforms using DEVS and HLA simulation”. A. Saghir, T. Pearce, G. Wainer. In Proceedings of the 2004 Summer Computer Simulation Conference (SCSC'04). San Jose, CA. 2004.

17. "Model-Based Development of Embedded Systems with RT-CD++". G. Wainer, E. Glinsky. In Proceedings of the WIP session, IEEE Real-Time and Embedded Technology and Applications Symposium. Toronto, ON. Canada. 2004.

18. “Performance Analysis of Continuous Cell-DEVS Models”. G. Wainer. In Proceedings of High  Performance Computing & Simulation (HPC&S) Conference; 18th European Simulation Multiconference. Magdeburg, Germany. 2004.

19. "Modeling Complex Physical Systems Using 2D Finite Elemental Cell-DEVS". H. Saadawi, G. Wainer. In Proceedings of MGA, Advanced Simulation Technologies Conference 2004 (ASTC'04). Arlington, VA. U.S.A. 2004.

20. "Modeling State-Based DEVS Models in CD++". G. Christen, A. Dobniewski, G. Wainer. In Proceedings of MGA, Advanced Simulation Technologies Conference 2004 (ASTC'04). Arlington, VA. U.S.A. 2004.

21. "Defining and visualizing models of urban traffic". G. Wainer, S. Borho, J. Pittner. In Proceedings of the SCS 1^st Mediterranean Multiconference on Modeling and Simulation. Genoa, Italy. 2004.

22. "A library of Layered Queuing Networks using the DEVS formalism". D. Petriu, G. Wainer. In Proceedings of the SCS 1^st Mediterranean Multiconference on Modeling and Simulation. Genoa, Italy. 2004.

23. "Accurate Modeling and Simulation of Heart TissueUsing GDEVS/CELL-DEVS". G. Wainer, N. Giambiasi. In Proceedings of the 2004 International Conference on Modeling, Simulation and Visualization Methods (MSV'04). Las Vegas, Nevada, USA. 2004.

24. "On the Construction of Complex Models Using Reusable Components". P. MacSween, G. Wainer. In Proceedings of SISO Spring Interoperability Workshop. Arlington, VA. U.S.A. 2004.

25. "Defining hybrid system models using DEVS quantization techniques". M. D'Abreu, G. Wainer. In Proceedings of the Winter Simulation Conference. New Orleans, LA. U.S.A. 2003.

26. "Implementing finite state machines using the CD++ toolkit". T. Zheng, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003.

27.   "Applying Cell-DEVS in models of complex systems". J. Ameghino, E. Glinsky, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003.

28. "Modeling of maze-solving problems using Cell-DEVS". K. Lam, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003.

29. "Improving the Finite Element Method models using Cell-DEVS". H. Saadawi, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003.

30. "Modeling a sand pile application using Cell-DEVS". H. Saadawi, G. Wainer. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003.

31. "Remote execution and 3D visualization of Cell-DEVS models". G. Wainer, W. Chen. In Proceedings of the 2003 Summer Computer Simulation Conference. Montreal, QC. Canada. 2003.

32. "Interfacing Real-Time DEVS models with a DSP platform". L. Li, T. Pearce, G. Wainer. In Proceedings of the Industrial Simulation Symposium 2003. Valencia, Spain. 2003.

33. "Implementing Parallel Cell-DEVS". A. Troccoli, G. Wainer. In Proceedings of 36^th IEEE/SCS Annual Simulation Symposium. Orlando, FL. USA. 2003.

34. "A flow injection model using Cell-DEVS". A. Troccoli, J. Ameghino, F. Iñón, G. Wainer. In Proceedings of the 35^th IEEE/SCS Annual Simulation Symposium. San Diego, CA. USA. 2002.

35. "Automatic verification of DEVS models". L. Morihama, V. Pasuello, G. Wainer. In Proceedings of SISO Spring Interoperability Workshop. Orlando, FL. USA. 2002.

36. "Performance analysis of DEVS environments". E. Glinsky, G. Wainer. In Proceedings of AIS'2002. Lisbon, Portugal. 2002.

37. "Comparing simulation methods for fire spreading across a fuel bed". A. Muzy, G. Wainer, E. Innocenti, A. Aiello, J.F. Santucci. In Proceedings of AIS'2002. Lisbon, Portugal. 2002.

38. "Using the CD++ DEVS toolkit to develop Petri Nets". C. Jacques, G. Wainer. In Proceedings of the 2002 Summer Computer Simulation Conference. San Diego, CA. USA. 2002.

39. "Definition of Real-Time simulation in the CD++ toolkit". E. Glinsky, G. Wainer. In Proceedings of the 2002 Summer Computer Simulation Conference. San Diego, CA. USA. 2002.

40. "Performance Analysis of Real-Time DEVS models". E. Glinsky, G. Wainer. In Proceedings of 2002 Winter Simulation Conference. San Diego, CA. USA. 2002.

41. "Cell-DEVS quantization techniques in a Fire Spreading application". A. Muzy, G. Wainer, E. Innocenti, A. Aiello, J.F. Santucci. In Proceedings of 2002 Winter Simulation Conference. San Diego, CA. USA. 2002.

42. "Application of the ATLAS language in models of urban traffic". A. Díaz, V. Vázquez, G. Wainer. In Proceedings of 34^th IEEE/SCS Annual Simulation Symposium. Seattle, WA. USA. 2001.

43. "Models of complex physical systems using Cell-DEVS". J. Ameghino, A. Troccoli, G. Wainer. In Proceedings of 34^th IEEE/SCS Annual Simulation Symposium. Seattle, WA. USA. 2001.

44. "Defining vehicle movement under congestion in the ATLAS modelling language". A. Díaz, V. Vázquez, G. Wainer. In Proceedings of the 2001 Summer Computer Simulation Conference. Orlando, FL. USA. 2001.

45. "Performance analysis of Cellular Models with parallel Cell-DEVS". A. Troccoli, G. Wainer. In 2001 Summer Computer Simulation Conference. Orlando, FL. USA. 2001.

46. "Including fault-tolerant sensor replication techniques in RT-Minix" (in Spanish). P. Rogina, G. Wainer. In Proceedings of 2001 Latinamerican Conference on Informatics. Mérida, Venezuela.2001.

47. "Defining DEVS models with the CD++ toolkit". G. Christen, A. Dobniewski, G. Wainer. In Proceedings of European Simulation Symposium. Marseille, France. 2001.

48. "Vehicle routing in Cell-DEVS models of urban traffic". A. Díaz, V. Vázquez, G. Wainer. In Proceedings of European Simulation Symposium. Marseille, France. 2001.

49. "Compiling of traffic models using TSC". M. Lo Tártaro, C. Torres, G. Wainer. In Proceedings of European Simulation Symposium. Marseille, France. 2001.

50. "Defining models of urban traffic using the TSC tool". M. Lo Tártaro, C. Torres, G. Wainer. In Proceedings of 2001 Winter Simulation Conference. Arlington, VA. USA. 2001.

51. "Specifying truck movement in traffic models using Cell-DEVS". A. Davidson, G. Wainer. In Proceedings of 33^rd IEEE/SCS Annual Simulation Symposium. Washington, D.C. USA. 2000.

52. "Using the DEVS paradigm to implement a simulated processor". S. Daicz, A. Troccoli, G. Wainer, S. Zlotnik. In Proceedings of 33^rd IEEE/SCS Annual Simulation Symposium. Washington, D.C. USA. 2000.

53. "Traffic control specifications using discrete event cellular models". A. Davidson, G. Wainer. In Proceedings of AIS'2000. Tucson, Arizona. USA. 2000.

54. "Experimental results of Timed Cell-DEVS quantization". G. Wainer, B. Zeigler. In Proceedings of AIS'2000. Tucson, Arizona. USA. 2000.

55. "Application of the Cell-DEVS paradigm using N-CD++". J. Ameghino, G. Wainer. In Proceedings of the 32^nd SCS Summer Computer Simulation Conference. Vancouver, BC. Canada. 2000.

56. "New Extensions to the CD++ tool". D. Rodríguez, G. Wainer. In Proceedings of 31^st SCS Summer Computer Simulation Conference. Chicago, USA. 1999.

57. "Avoiding serialization in timed Cell-DEVS models". G. Wainer, N. Giambiasi. In Proceedings of the 31^st SCS Summer Computer Simulation Conference. Chicago, USA. 1999.

58. "Cell-DEVS with explicit delays: Parallel simulation". G. Wainer, D. Rodríguez, N. Giambiasi. In Proceedings of the 15^th ISPE/IFAC International Conference on CAD/CAM, Robotics and Factories of the Future. Aguas de Lindoia, SP, Brazil. 1999.

59. "Improving the performance of local real-time scheduling". G. Wainer. In Proceedings of the 4th. IFAC/IFIP Workshop of Algorithms and Architectures for Real-Time Control (AARTC'97). Lisbon, Portugal. 1997.

60. "AgaPé-TR: a tool for simulation of local real-time scheduling". G. Wainer. In Proceedings of the 4th. IFAC/IFIP Workshop of Algorithms and Architectures for Real-Time Control (AARTC'97). Lisbon, Portugal. 1997.

61. "An environment for simulation of cellular DEVS models", G. Wainer, C. Frydman, N. Giambiasi. In Proceedings of the 1997 SCS European Simulation Multiconference. Istanbul, Turkey. 1997.

62. "Experiences with a tool to develop SCADA systems". S. Benítez, J. Seoane, G. Wainer, R. Bevilacqua. In Proceedings of the 1997 IEEE Conference on Systems, Man and Cybernetics. Orlando, USA. 1997.

63. "CELL-DEVS models with transport and inertial delays". G. Wainer, N. Giambiasi. In Proceedings of the SCS European Simulation Symposium on Industrial Simulation, Passau, Germany. 1996.

64. "Implementing Real-Time Scheduling in a Time-Sharing Operating System", G. Wainer. In Proceedings of the 3rd. IFAC/IFIP Workshop of Algorithms and Architectures for Real-Time Control (AARTC'95). Oostend, Belgium. 1995.

65. "Some Results on Experimental Evaluation of Real-Time Scheduling", G. Wainer. In Proceedings of the XXI Latin-American Conference on Informatics. Canela, Brazil.1995.

66. "Including hard real-time mechanisms in a time-sharing operating system" (in Spanish), G. Wainer. In Proceedings of the II Chilean Congress of Computer Science. Concepción, Chile. 1994.

67. "A survey of the results of using MINIX as a teaching tool in Operating Systems Courses", G. Wainer. In Proceedings of the XII International Conference of the SCCC. Santiago, Chile. 1992.