Gabriel A. Wainer

Khaldoon Al-Zoubi, Gabriel A. Wainer: RISE: A general simulation interoperability middleware container. J. Parallel Distrib. Comput. 73(5): 580-594 (2013)

Shafagh Jafer, Qi Liu, Gabriel A. Wainer: Synchronization methods in parallel and distributed discrete-event simulation. Simulation Modelling Practice and Theory 30: 54-73 (2013)

Matías Bonaventura, Gabriel A. Wainer, Rodrigo Castro: Graphical modeling and simulation of discrete-event systems with CD++Builder. Simulation 89(1): 4-27 (2013)

Hesham Saadawi, Gabriel A. Wainer: Principles of Discrete Event System Specification model verification. Simulation 89(1): 41-67 (2013)

Qi Liu, Gabriel A. Wainer: Multicore acceleration of Discrete Event System Specification systems. Simulation 88(7): 801-831 (2012)

Emilio Mancini, Gabriel A. Wainer, Khaldoon Al-Zoubi, Olivier Dalle: Simulation in the Cloud Using Handheld Devices. CCGRID 2012: 867-872

Judicaël Ribault, Gabriel A. Wainer: Simulation Processes in the Cloud for Emergency Planning. CCGRID 2012: 886-891

Alan Davoust, Gabriel A. Wainer, Babak Esfandiari: DEVS simulation of peer-to-peer file-sharing. HPCS 2012: 357-364

Mohammad Moallemi, Gabriel A. Wainer: Content-based image recognition using cellular discrete-event system specifications methodology. SpringSim (ANSS) 2012: 3

Shafagh Jafer, Yasser Jafer, Gabriel A. Wainer: Data mining with cellular discrete event modeling and simulation. SpringSim (ANSS) 2012: 4

Hesham Saadawi, Gabriel A. Wainer: On the verification of hybrid DEVS models. SpringSim (TMS-DEVS) 2012: 26

Rodrigo Castro, Iván Ramello, Matías Bonaventura, Gabriel A. Wainer: M&S-based design of embedded controllers on network processors. SpringSim (TMS-DEVS) 2012: 32

Heather Morris, Gabriel A. Wainer: Music generation using cellular models. SpringSim (TMS-DEVS) 2012: 37

Judicaël Ribault, Gabriel A. Wainer: Using workflows and web services to manage simulation studies (WIP). SpringSim (TMS-DEVS) 2012: 50

Gabriel A. Wainer: Advanced spatial systems with cellular discrete-event modeling and simulation. Winter Simulation Conference 2012: 4

Sixuan Wang, Michael Van Schyndel, Gabriel A. Wainer, Vinu Subashini Rajus, Robert Woodbury: Devs-based building information modeling and simulation for emergency evacuation. Winter Simulation Conference 2012: 60

Simon J. E. Taylor, Richard Fujimoto, Ernest H. Page, Paul A. Fishwick, Adelinde M. Uhrmacher, Gabriel A. Wainer: Panel on grand challenges for modeling and simulation. Winter Simulation Conference 2012: 232

Gabriel A. Wainer, Pieter J. Mosterman (Eds.): 2012 Spring Simulation Multiconference, SpringSim '12, Orlando, FL, USA, March 26-29, 2012, Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium. SCS/ACM 2012, isbn 978-1-61839-786-7

Gabriel A. Wainer, Ezequiel Glinsky, Marcelo Gutierrez-Alcaraz: Studying performance of DEVS modeling and simulation environments using the DEVStone benchmark. Simulation 87(7): 555-580 (2011)

Rhys Goldstein, Gabriel A. Wainer: Impulse-Based Dynamic Simulation of Deformable Biological Structures. T. Comp. Sys. Biology 13: 39-60 (2011)

Mohammad Moallemi, Gabriel A. Wainer: I-DEVS: imprecise real-time and embedded DEVS modeling. SpringSim (TMS-DEVS) 2011: 95-102

Shafagh Jafer, Gabriel A. Wainer: A performance evaluation of the conservative DEVS protocol in parallel simulation of DEVS-based models. SpringSim (TMS-DEVS) 2011: 103-110

Mohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel A. Wainer: Interfacing DEVS and visualization models for emergency management. SpringSim (TMS-DEVS) 2011: 111-116

Mohammad Moallemi, Gabriel A. Wainer, Federico Bergero, Rodrigo Castro: Component-oriented interoperation of real-time DEVS engines. SpringSim (ANSS) 2011: 127-134

Ken Edwards, Gabriel A. Wainer: GATLAS: Google Earth visualization for ATLAS. SpringSim (TMS-DEVS) 2011: 213-220

Mariano Zapatero, Rodrigo Castro, Gabriel A. Wainer, Maysoun Houssein: Architecture for integrated modeling, simulation and visualization of environmental systems using GIS and cell-devs. Winter Simulation Conference 2011: 997-1009

Gabriel A. Wainer, Mamadou K. Traoré, Reiko Heckel, Jan Himmelspach (Eds.): 2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS). SCS/ACM 2011

Gabriel A. Wainer, Rodrigo Castro: A Survey on the Application of the Cell-DEVS Formalism. J. Cellular Automata 5(6): 509-524 (2010)

John R. Heath, Olivier Dalle, Gabriel A. Wainer: Erratum to: Development Tools and Techniques for Mobile Telecommunications. MONET 15(6): 816 (2010)

Gabriel A. Wainer: Editorial for Recent Advances in Unified Modeling and Simulation Approaches. Simulation 86(1): 3-4 (2010)

Gabriel A. Wainer, Olivier Dalle: Software Tools, Techniques and Architectures for Computer Simulation. Simulation 86(5-6): 267-269 (2010)

Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer: A Formal Framework for Stochastic Discrete Event System Specification Modeling and Simulation. Simulation 86(10): 587-611 (2010)

Shafagh Jafer, Gabriel A. Wainer: Global Lookahead Management (GLM) Protocol for Conservative DEVS Simulation. DS-RT 2010: 141-148

Hesham Saadawi, Gabriel A. Wainer: From DEVS to RTA-DEVS. DS-RT 2010: 207-210

Qi Liu, Gabriel A. Wainer, Ligang Lu, Michael Perrone: Novel performance optimization of large-scale discrete-event simulation on the Cell Broadband Engine. HPCS 2010: 108-114

Qi Liu, Gabriel A. Wainer: Exploring Multi-Grained Parallelism in Compute-Intensive DEVS Simulations. PADS 2010: 65-72

Yuri Boiko, Gabriel A. Wainer: Accelerating the computation of parallel trajectories of gradient descent with the Cell-BE multiprocessor environment. SummerSim 2010: 320-327

Michael W. Floyd, Gabriel A. Wainer: Creation of DEVS models using imitation learning. SummerSim 2010: 334-341

Shafagh Jafer, Gabriel A. Wainer: Conservative vs. optimistic parallel simulation of DEVS and Cell-DEVS: a comparative study. SummerSim 2010: 342-349

Seyed Ali Etemad, Gabriel A. Wainer: DEVS-based modeling of a human motion data synthesis and control system. SummerSim 2010: 469-474

Sanaa Lissari, Nada Farran, Hamel Yigang, Rhys Goldstein, Gabriel A. Wainer: Applying the TPS method to modeling and simulation of biological systems. SummerSim 2010: 498-505

Mohammad Moallemi, Gabriel A. Wainer, Antoine Awad, Dieynaba Alpha Tall: Application of RT-DEVS in military. SpringSim 2010: 29

Qi Liu, Gabriel A. Wainer: Accelerating large-scale DEVS-based simulation on the cell processor. SpringSim 2010: 124

Matías Bonaventura, Gabriel A. Wainer, Rodrigo Castro: Advanced IDE for modeling and simulation of discrete event systems. SpringSim 2010: 125

Mohammad Moallemi, Gabriel A. Wainer: Designing an interface for real-time and embedded DEVS. SpringSim 2010: 137

Shafagh Jafer, Gabriel A. Wainer: Conservative DEVS: a novel protocol for parallel conservative simulation of DEVS and cell-DEVS models. SpringSim 2010: 140

Hesham Saadawi, Gabriel A. Wainer: Rational time-advance DEVS (RTA-DEVS). SpringSim 2010: 143

Keith Holman, Jeremy Kuzub, Gabriel A. Wainer: UAV search strategies using Cell-DEVS. SpringSim 2010: 152

Mohammad Moallemi, Ali Arya, Gabriel A. Wainer: Simulation of three dimensional elevator system using cell-DEVS formalism. SpringSim 2010: 156

Ahmed Sayed Ahmed, Gabriel A. Wainer, Samy Mahmoud: Integrating building information modeling & cell-DEVS simulation. SpringSim 2010: 183

Khaldoon Al-Zoubi, Gabriel A. Wainer: Managing simulation Workflow patterns using dynamic service-oriented compositions. Winter Simulation Conference 2010: 765-777

Khaldoon Al-Zoubi, Gabriel A. Wainer: Rise: Rest-ing heterogeneous simulations interoperability. Winter Simulation Conference 2010: 2968-2980

Gabriel A. Wainer, Qi Liu: Tools for Graphical Specification and Visualization of DEVS Models. Simulation 85(3): 131-158 (2009)

Shafagh Jafer, Gabriel A. Wainer: Flattened Conservative Parallel Simulator for DEVS and CELL-DEVS. CSE (1) 2009: 443-448

Qi Liu, Gabriel A. Wainer: A Performance Evaluation of the Lightweight Time Warp Protocol in Optimistic Parallel Simulation of DEVS-Based Environmental Models. PADS 2009: 27-34

Khaldoon Al-Zoubi, Gabriel A. Wainer: Using REST Web-Services Architecture for Distributed Simulation. PADS 2009: 114-121

Patrick Castonguay, Tania Pendergast, Gabriel A. Wainer: Tools for DEVS modeling, simulation and 3D visualization. SimuTools 2009: 34

Keith Holman, Jeremy Kuzub, Mohammad Moallemi, Gabriel A. Wainer: Cable-anchor robot implementation using embedded CD++. SimuTools 2009: 35

Yuri Boiko, Gabriel A. Wainer: Parallel tracing of multiple trajectories in gradient descent algorithm with Cell Broadband Engine. SpringSim 2009

Yuri Boiko, Gabriel A. Wainer: Modeling of neural decoder based on binary spiking neurons in DEVS. SpringSim 2009

Patrick Castonguay, Gabriel A. Wainer: Aircraft evacuation DEVS implementation & visualization. SpringSim 2009

Rachid Chreyh, Gabriel A. Wainer: CD++ repository: an internet based searchable database of DEVS models and their experimental frames. SpringSim 2009

Mohammad Moallemi, Gabriel A. Wainer: A system-on-chip FPGA implementation of embedded CD++. SpringSim 2009

Hesham Saadawi, Gabriel A. Wainer: Verification of real-time DEVS models. SpringSim 2009

Victorino Sanz, Shafagh Jafer, Gabriel A. Wainer, Gabriela Nicolescu, Alfonso Urquia, Sebastián Dormido: Hybrid modeling of opto-electrical interfaces using DEVS and modelica. SpringSim 2009

Rhys Goldstein, Gabriel A. Wainer: DEVS-based Design of Spatial Simulations of Biological Systems. Winter Simulation Conference 2009: 743-754

Khaldoon Al-Zoubi, Gabriel A. Wainer: Performing Distributed Simulation with RESTful Web-Services. Winter Simulation Conference 2009: 1323-1334

Blerim Qela, Gabriel A. Wainer, Hussein T. Mouftah: Simulation of Large Wireless Sensor Networks Using Cell-DEVS. Winter Simulation Conference 2009: 3189-3200

Olivier Dalle, Gabriel A. Wainer, L. Felipe Perrone, Giovanni Stea (Eds.): Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, Networks and Systems, SimuTools 2009, Rome, Italy, March 2-6, 2009. ICST 2009, isbn 978-963-9799-45-5

Gabriel A. Wainer, Clifford A. Shaffer, Robert M. McGraw, Michael J. Chinni (Eds.): Proceedings of the 2009 Spring Simulation Multiconference, SpringSim 2009, San Diego, California, USA, March 22-27, 2009. SCS/ACM 2009

Gabriel A. Wainer, Rami Madhoun, Khaldoon Al-Zoubi: Distributed simulation of DEVS and Cell-DEVS models in CD++ using Web-Services. Simulation Modelling Practice and Theory 16(9): 1266-1292 (2008)

Hui Shang, Gabriel A. Wainer: Dynamic Structure DEVS: Improving the Real-Time Embedded Systems Simulation and Design. Annual Simulation Symposium 2008: 271-278

Qi Liu, Gabriel A. Wainer: Lightweight Time Warp - A Novel Protocol for Parallel Optimistic Simulation of Large-Scale DEVS and Cell-DEVS Models. DS-RT 2008: 131-138

Bo Feng, Gabriel A. Wainer: a .NET Remoting-Based Distributed Simulation Approach for DEVS and Cell-DEVS Models. DS-RT 2008: 292-299

Khaldoon Al-Zoubi, Gabriel A. Wainer: Interfacing and Coordination for a DEVS Simulation Protocol Standard. DS-RT 2008: 300-307

Yosri Harzallah, Vincent Michel, Qi Liu, Gabriel A. Wainer: Distributed Simulation and Web Map Mash-Up for Forest Fire Spread. SERVICES I 2008: 176-183

Kiril Kidisyuk, Gabriel A. Wainer: CD++Modeler: a graphical toolkit to develop DEVS models. SpringSim 2008: 8

Monageng Kgwadi, Hui Shang, Gabriel A. Wainer: Definition of dynamic DEVS models: Dynamic Structure CD++. SpringSim 2008: 10

Mohammad Moallemi, Gabriel A. Wainer: Design of Persian tapestry in CD++. SpringSim 2008: 11

Mohammad Moallemi, J. Marcelo Gutierrez-Alcaraz, Gabriel A. Wainer: ECD++ a DEVS based real-time simulator for embedded systems. SpringSim 2008: 12

Shafagh Jafer, Gabriel A. Wainer, Juan Carlos Maureira Bravo, Olivier Dalle: Event behavior of discrete event simulations in CD++ vs. NS-2. SpringSim 2008: 13

Brian Webb, Gabriel A. Wainer: Implementing the SCIDDICA landslide model in Cell-DEVS. SpringSim 2008: 15

Yuri Boiko, Gabriel A. Wainer: Modeling quantum dot devices in Cell-DEVS environment. SpringSim 2008: 18

Yuri Boiko, Gabriel A. Wainer: Modeling spiking neural terminals in DEVS. SpringSim 2008: 19

Gabriel A. Wainer, Qi Liu, Julien Chazal, Loïc Quinet, Mamadou K. Traoré: Performance analysis of web-based distributed simulation in DCD++: a case study across the Atlantic Ocean. SpringSim 2008: 413-420

Rodrigo Castro, Ernesto Kofman, Gabriel A. Wainer: A formal framework for stochastic DEVS modeling and simulation. SpringSim 2008: 421-428

Bo Feng, Qi Liu, Gabriel A. Wainer: Parallel simulation of DEVS and Cell-DEVS models on Windows-based PC cluster systems. SpringSim 2008: 439-446

Marcelo Gutierrez-Alcaraz, Gabriel A. Wainer: Experiences with the DEVStone benchmark. SpringSim 2008: 447-455

Rhys Goldstein, Gabriel A. Wainer, James J. Cheetham, Roderick S. Bain: Vesicle-synapsin interactions modeled with Cell-DEVS. Winter Simulation Conference 2008: 813-821

Olivier Dalle, Bernard P. Zeigler, Gabriel A. Wainer: Extending DEVS to support multiple occurrence in component-based simulation. Winter Simulation Conference 2008: 933-941

Sándor Molnár, John R. Heath, Olivier Dalle, Gabriel A. Wainer (Eds.): Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops, SimuTools 2008, Marseille, France, March 3-7, 2008. ICST 2008, isbn 978-963-9799-20-2

Hassan Rajaei, Gabriel A. Wainer, Michael J. Chinni (Eds.): Proceedings of the 2008 Spring Simulation Multiconference, SpringSim 2008, Ottawa, Canada, April 14-17, 2008. SCS/ACM 2008, isbn 1-56555-319-5

Gabriel A. Wainer, Alejandra Davidson: Defining a Traffic Modeling Language Using Cellular Discrete-Event Abstractions. J. Cellular Automata 2(4): 291-343 (2007)

Shafagh Jafer, Gabriel A. Wainer: Parallel Algorithms for Cellular Models Simulation. Parallel Processing Letters 17(3): 263-285 (2007)

Umar Farooq, Gabriel A. Wainer, Bengu Balya: DEVS modeling of mobile wireless ad hoc networks. Simulation Modelling Practice and Theory 15(3): 285-314 (2007)

Hesham Saadawi, Gabriel A. Wainer: Modeling physical systems using finite element Cell-DEVS. Simulation Modelling Practice and Theory 15(10): 1268-1291 (2007)

Qi Liu, Gabriel A. Wainer: Parallel Environment for DEVS and Cell-DEVS Models. Simulation 83(6): 449-471 (2007)

Gabriel A. Wainer: Developing a software toolkit for urban traffic modeling. Softw., Pract. Exper. 37(13): 1377-1404 (2007)

Qi Liu, Gabriel A. Wainer: Performance Analysis of an Optimistic Simulator for CD++. Annual Simulation Symposium 2007: 123-132

Olivier Dalle, Gabriel A. Wainer: An open issue on applying sharing modeling patterns in DEVS. SCSC 2007: 7

Yinfeng Henry Yu, Gabriel A. Wainer: eCD++: an engine for executing DEVS models in embedded platforms. SCSC 2007: 323-330

Hui Shang, Gabriel A. Wainer: A flexible dynamic structure DEVS algorithm towards real-time systems. SCSC 2007: 339-345

Chiril Chidisiuc, Gabriel A. Wainer: CD++Builder: an eclipse-based IDE for DEVS modeling. SpringSim (2) 2007: 235-240

Rami Madhoun, Gabriel A. Wainer: Studying the impact of web-services implementation of distributed simulation of DEVS and Cell-DEVS models. SpringSim (2) 2007: 267-278

Gabriel A. Wainer (Ed.): Proceedings of the 2007 Summer Computer Simulation Conference, SCSC 2007, San Diego, California, USA, July 16-19, 2007. Simulation Councils, Inc. 2007, isbn 1-56555-316-0

Gabriel A. Wainer: ATLAS: A language to specify traffic models using Cell-DEVS. Simulation Modelling Practice and Theory 14(3): 313-337 (2006)

Gabriel A. Wainer: Applying Cell-DEVS Methodology for Modeling the Environment. Simulation 82(10): 635-660 (2006)

Matthew MacLeod, Rachid Chreyh, Gabriel A. Wainer: Improved Cell-DEVS Models for Fire Spreading Analysis. ACRI 2006: 472-481

Gabriel A. Wainer: Modeling Robot Path Planning with CD++. ACRI 2006: 595-604

Ezequiel Glinsky, Gabriel A. Wainer: New Parallel Simulation Techniques of DEVS and Cell-DEVS in CD++. Annual Simulation Symposium 2006: 244-251

Hui Shang, Gabriel A. Wainer: A simulation algorithm for dynamic structure DEVS modeling. Winter Simulation Conference 2006: 815-822

Alexander Scott Campbell, Gabriel A. Wainer: Applying DEVS modeling for discrete event multiple model control of a time varying plant. Winter Simulation Conference 2006: 823-831

Alexandre Muzy, Eric Innocenti, Antoine Aïello, Jean François Santucci, Gabriel A. Wainer: Specification of Discrete Event Models for Fire Spreading. Simulation 81(2): 103-117 (2005)

Gabriel A. Wainer, Norbert Giambiasi: Cell-DEVS/GDEVS for Complex Continuous Systems. Simulation 81(2): 137-151 (2005)

Mohamed Abd El-Salam Ahmed, Khalil Yonis, Abdul-Rahman Elsahfei, Gabriel A. Wainer: Design and Implementation of a Library of Network Protocols in CD++. Annual Simulation Symposium 2005: 196-203

Ezequiel Glinsky, Gabriel A. Wainer: DEVStone: a Benchmarking Technique for Studying Performance of DEVS Modeling and Simulation Environments. DS-RT 2005: 265-272

Qi Liu, Gabriel A. Wainer: Simulating Market Dynamics with CD++. International Conference on Computational Science (2) 2005: 368-372

Hui Shang, Gabriel A. Wainer: A Model of Virus Spreading Using Cell-DEVS. International Conference on Computational Science (2) 2005: 373-377

Mariana C. D'Abreu, Gabriel A. Wainer: M/CD++: modeling continuous systems using Modelica and DEVS. MASCOTS 2005: 229-238

Cheng Zhang, Tarek M. Zayed, Amin Hammad, Gabriel A. Wainer: Representation and analysis of spatial resources in construction simulation. Winter Simulation Conference 2005: 1541-1548

Pengfei Wu, Xiuping Wu, Gabriel A. Wainer: Applying Cell-DEVS in 3D Free-Form Shape Modeling. ACRI 2004: 81-90

Alejandro López, Gabriel A. Wainer: Improved Cell-DEVS Model Definition in CD++. ACRI 2004: 803-812

Javier Ameghino, Gabriel A. Wainer: Using Cell-DEVS for Modeling Complex Cell Spaces. AIS 2004: 233-242

Gabriel A. Wainer, Norbert Giambiasi: Accurate Modeling and Simulation of Heart Tissue with GDEVS/Cell-DEVS. MSV/AMCS 2004: 150-156

Gabriel A. Wainer: Modeling and Simulation of Complex Systems with Cell-DEVS. Winter Simulation Conference 2004: 49-60

Ezequiel Glinsky, Gabriel A. Wainer: Modeling and Simulation of Hardware/Software Systems with CD++. Winter Simulation Conference 2004: 198-205

Gabriel A. Wainer, Wenhong Chena: A Framework for Remote Execution and Visualization of Cell-DEVS Models. Simulation 79(11): 626-647 (2003)

Alejandro Troccoli, Gabriel A. Wainer: Implementing Parallel Cell-DEVS. Annual Simulation Symposium 2003: 273-280

Mariana C. D'Abreu, Gabriel A. Wainer: Hybrid dynamic systems: models for continous and hybrid system simulation. Winter Simulation Conference 2003: 641-649

Gabriel A. Wainer, Norbert Giambiasi: N-dimensional Cell-DEVS Models. Discrete Event Dynamic Systems 12(2): 135-157 (2002)

Gabriel A. Wainer: CD++: a toolkit to develop DEVS models. Softw., Pract. Exper. 32(13): 1261-1306 (2002)

Alejandro Troccoli, Javier Ameghino, Fernando Iñón, Gabriel A. Wainer: A Flow Injection Model Using Cell-DEVS. Annual Simulation Symposium 2002: 292-299

Alexandre Muzy, Eric Innocenti, Antoine Aïello, Jean François Santucci, Gabriel A. Wainer: Methods for special applications: Cell-DEVS quantization techniques in a fire spreading application. Winter Simulation Conference 2002: 542-549

Ezequiel Glinsky, Gabriel A. Wainer: Extensions: performance analysis of real-time DEVS models. Winter Simulation Conference 2002: 588-594

Gabriel A. Wainer, Sergio Daicz, Luis F. De Simoni, Demian Wassermann: Using the Alfa-1 simulated processor for educational purposes. ACM Journal of Educational Resources in Computing 1(4): 111-151 (2001)

Gabriel A. Wainer, Norbert Giambiasi: Application of the Cell-DEVS Paradigm for Cell Spaces Modelling and Simulation. Simulation 76(1): 22-39 (2001)

Javier Ameghino, Alejandro Troccoli, Gabriel A. Wainer: Models of Complex Physical Systems Using Cell-DEVS. Annual Simulation Symposium 2001: 266-

Andrea Díaz, Verónica Vazquez, Gabriel A. Wainer: Application of the ATLAS Language in Models of Urban Traffic. Annual Simulation Symposium 2001: 311-318

Mariana Lo Tártaro, César Torres, Gabriel A. Wainer: Roadways, vehicle, and traffic applications: defining models of urban traffic using the TSC tool. Winter Simulation Conference 2001: 1056-1063

Sergio Daicz, Alejandro Troccoli, Sergio Zlotnik, Gabriel A. Wainer: Using the DEVS Paradigm to Implement a Simulated Processor. Annual Simulation Symposium 2000: 58-65

Alejandra Davidson, Gabriel A. Wainer: Specifying Truck Movement in Traffic Models Using Cell-DEVS. Annual Simulation Symposium 2000: 66-73

Gabriel A. Wainer: Implementing Real-Time Services in MINIX. Operating Systems Review 29(3): 75-84 (1995)