BibFiles

Selected Papers


@INPROCEEDINGS{Dal07a,
  author = {Dalle, Olivier},
  title = {Component-based Discrete Event Simulation Using the Fractal Componen\
t
        Model},
  booktitle = {AI, Simulation and Planning in High Autonomy Systems (AIS)-Conce\
ptual
        Modeling and Simulation (CMS) Joint Conference },
  year = {2007},
  address = {Buenos Aires, AR},
  month = {February},
  optpages = {213--218},
  pdf = {ftp://ftp-sop.inria.fr/mascotte/Publications/Dal07a.pdf}
}

@INPROCEEDINGS{DaMr07,
  author = {Dalle, Olivier and Mrabet, Cyrine},
  title = {An Instrumentation Framework for component-based simulations based
        on the Separation of Concerns paradigm},
  booktitle = {Proc. of 6th EUROSIM Congress (EUROSIM'2007)},
  year = {2007},
  address = {Ljubljana, Slovenia},
  month = {September 9-13},
  pdf = {ftp://ftp-sop.inria.fr/mascotte/Publications/DaMr07.pdf}
}

@INPROCEEDINGS{DZW08,
  author = {Dalle, Olivier and Zeigler, Bernard P. and Wainer, Gabriel A.},
  title = {Extending {DEVS} to support multiple occurrence in component-based
        simulation},
  booktitle = {Proceedings of the 2008 Winter Simulation Conference (WSC'08)},
  year = {2008},
  editor = {S. J. Mason and R. R. Hill and L. Moench and O. Rose},
  month = {December},
  abstract = {This paper presents a new extension of the DEVS formalism that al\
lows
        multiple occurrences of a given instance of a DEVS component. This
        paper is a follow-up to a previous short paper in which the issue
        of supporting a new construction called a shared component was raised,
        in the case of a DEVS model. In this paper, we first demonstrate,
        formally, that the multi-occurrence extended definition, that includes
        the case of shared components, is valid because any model that is
        built using this extended definition accepts an equivalent model
        built using standard DEVS. Then we recall the benefits of sharing
        components for modeling, and further extend this analysis to the
        simulation area, by investigating how shared components can help
        to design better simulation engines. Finally, we describe an existing
        implementation of a simulation software that fully supports this
        shared component feature, both at the modeling and simulation levels.},
  pdf = {ftp://ftp-sop.inria.fr/mascotte/Publications/DZW08.pdf}
}


@INPROCEEDINGS{DGMP09,
  author = {Dalle, Olivier and Giroire, Frédéric and Monteiro, Julian and
        Pérennes, Stéphane},
  title = {Analysis of Failure Correlation Impact on Peer-to-Peer Storage Syste\
ms},
  booktitle = {Proc. of 9th Intl. Conf. on Peer-to-Peer Computing (P2P09)},
  year = {2009},
  pages = {184--193},
  address = {Seattle},
  month = {Sept 8-11},
  abstract = { Peer-to-peer storage systems aim to provide a reliable long-term
        storage at low cost. In such systems, peers fail continuously, hence,
        the necessity of self-repairing mechanisms to achieve high durability.
        In this paper, we propose and study analytical models that assess
        the bandwidth consumption and the probability to lose data of storage
        systems that use erasure coded redundancy. We show by simulations
        that the classical stochastic approach found in the literature, that
        models each block independently, gives a correct approximation of
        the system average behavior, but fails to capture its variations
        over time. These variations are caused by the simultaneous loss of
        multiple data blocks that results from a peer failing (or leaving
        the system). We then propose a new stochastic model based on a fluid
        approximation that better captures the system behavior. In addition
        to its expectation, it gives a correct estimation of its standard
        deviation. This new model is validated by simulations.}
}

@INPROCEEDINGS{DDM09,
  author = {Maureira, Juan-Carlos and Dujovne, Diego and Dalle, Olivier},
  title = {Generation of Realistic 802.11 Interferences in the {O}mnet++ {INET}
        Framework Based on Real Traffic Measurements},
  booktitle = {Second International Workshop on Omnet++},
  year = {2009},
  address = {Rome, Italy},
  month = {March 6},
  abstract = {Realistic simulation of 802.11 traffic subject to high interferen\
ce,
        for example in dense urban areas, is still an open issue. Many studies
        do not address the interference problem properly. In this paper,
        we present our preliminary work on a method to recreate interference
        traffic from real measurements. The method consists in capturing
        real traffic traces and generating interference patterns based on
        the recorded information. Furthermore, we assume that the coordinates
        of the sources of interference in the real scene are not known a
        priori. We introduce an extension to Omnet++ INET-Framework to replay
        the recreated interference in a transparent way into a simulation.
        We validate our proposed method by comparing it against the real
        measurements taken from the scene. Furthermore we present an evaluation
        of how the injected interference affects the simulated results on
        three arbitrary simulated scenarios.},
  pdf = {ftp://ftp-sop.inria.fr/mascotte/Publications/DDM09.pdf}
}

@INPROCEEDINGS{RDD+10,
  author = {Ribault, Judicaêl and Dalle, Olivier and Conan, Denis and Leriche, Sebastien},
  title = { {OSIF}: {A} {F}ramework {T}o {I}nstrument, {V}alidate, and {A}nalyze
        {S}imulations},
  booktitle = {In Proc. of 3rd Intl. ICST Conference on Simulation Tools and Techniques
        (SIMUTools'2010)},
  year = {2010},
  address = {Torremolinos, Spain},
  month = {15-19 March},
  abstract = {{I}n most existing simulators, the outputs of a simulation run co\
nsist
        either in a simulat ion report generated at the end of the run and
        summarizing the statistics of interest, or in a (set of) trace file(s)
        containing raw data samples produced and saved regularly during the
        run, for later post-processing. {I}n this paper, we address issues
        related to the management of these data and their on-line processing,
        such as: (i)~the instrumentation code is mixed in the modeling code;
        (ii)~the amount of data to be stored may be enormous, and often,
        a significant part of these data are useless while their collect
        may consume a significant amount of the computing resources; and
        (iii)~it is difficult to have confidence in the treatment applied
        to the data and then make comparisons between studies since each
        user (model developer) builds its own ad-hoc instrumentation and
        data processing. {I}n this paper, we propose {OSIF}, a new component-ba\
sed
        instrumentation framework designed to solve the above mentioned issues.
        {OSIF} is based on several mature software engineering techniques
        and frameworks, such as {COSMOS}, {F}ractal and its {ADL}, and {AOP}.},
  audience = {internationale },
  language = {English},
  optx-editorial-board = {yes},
  optx-international-audience = {yes},
  optx-proceedings = {yes},
  url = {http://hal.inria.fr/inria-00465141/en/},
  pdf = {http://hal.inria.fr/docs/00/46/51/41/PDF/RDCL09.pdf}
}

@INPROCEEDINGS{UMD10a,
  author = {Paula Uribe and Juan Carlos Maureira Bravo and Olivier Dalle},
  title = {Extending INET Framework for Directional and Asymmetrical Wireless
        Communications},
  booktitle = {Proc. of the 2010 Intl. ICST Workshop on Omnet++ (Omnet++ 2010)}\
,
  year = {2010},
  pages = {1--8},
  address = {Torremolinos, Spain},
  month = {15-19 March},
  isbn = {78-963-9799-87-5},
  optx-editorial-board = {yes},
  optx-international-audience = {yes},
  optx-proceedings = {yes},
  sorte = {conf-int}
}

@inproceedings{MZA+12,
    hal_id = {hal-00691248},
    url = {http://hal.inria.fr/hal-00691248},
    title = {{Simulation in the Cloud Using Handheld Devices}},
    author = {Mancini, Emilio P. and Wainer, Gabriel and Al-Zoubi, Khaldoon and Dalle, Olivier},
    abstract = {{In recent years, numerous applications have been deployed into mobile devices. However, until now, there have been no attempts to run simulations on handheld devices. We want investigate different architectures for running and managing simulations on handheld devices, and putting the simulation services in the Cloud. We propose a hybrid simulation and visualization approach, where a dedicated mobile application is running on the client side and the RISE simulation server is hosted in the Cloud. In particular, with our prototype, we explore the remote management of a simulation tool using a dedicated native application running on an Android Smartphone, and showing the evolution of a simulation model for a forest fire spread, mashing-up the generated graphics with online GIS services.}},
    language = {Anglais},
    affiliation = {MASCOTTE - INRIA Sophia Antipolis / Laboratoire I3S , OASIS \
- INRIA Sophia Antipolis / Laboratoire I3S , Advanced Real-Time Simulation Labo\
ratory - ARS},
    booktitle = {{MSGC\@CCGRID - Workshop on Modeling and Simulation on Grid an\
d Cloud Computing - 2012}},
    address = {Ottawa, Canada},
    organization = {Wainer, Gabriel and Hill, David and Taylor, Simon},
    editor = {IEEE },
    audience = {internationale },
    collaboration = {Equipe Associee DISSIMINET },
    year = {2012},
    month = May,
    DOI  = {10.1109/CCGrid.2012.65},
    pages = {867--872},
    pdf = {http://hal.inria.fr/hal-00691248/PDF/paper\_6p.pdf},
}

@inproceedings{dalle:hal-01055555,
    hal_id = {hal-01055555},
    url = {http://hal.inria.fr/hal-01055555},
    title = {A data type for discretized time representation in {DEVS}},
    author = {Dalle, Olivier and Vicino, Damiàn and Wainer, Gabriel},
    abstract = {This paper addresses the problems related to data types used fo\
r time representation in DEVS, a formalism for the specification and simulation\
 of discrete-event systems. When evaluating a DEVS simulation model into an act\
ual com- puter simulation program, a data type is required to hold the virtual \
time of the simulation and the time elapsed in the model of the simulated syste\
m. We review the commonly data types used, and discuss the problems that each o\
f them induce. In the case of floating point we show how, under cer- tain condi\
tions, the simulation can break causality relations, treat simultaneous events \
as non simultaneous or treat non simultaneous events as simultaneous. In the ca\
se of integers using fixed unit we list a number of problems arising when compo\
sing models operating at different timescales. In the case of structures that c\
ombine several fields, we show that, at the cost of a lower performance, most o\
f the previous problems can be avoided, although not totally. Finally, we descr\
ibe an alternative representation data type we devel- oped to cope with the dat\
a type problems.},
    language = {Anglais},
    affiliation = {SCALE - Inria Sophia Antipolis / Laboratoire I3S , Advanced \
Real-Time Simulation Laboratory - ARS},
    booktitle = {{SIMUTOOLS - 7th International Conference on Simulation Tools \
and Techniques}},
    address = {Lisbon, Portugal},
    organization = {ICST},
    editor = {Kalyan Perumalla and Roland Ewald },
    audience = {internationale },
    year = {2014},
    month = Mar,
    pdf = {http://hal.inria.fr/hal-01055555/PDF/DEVSTimeType.pdf},
}

@incollection{dalle:hal-01111447,
  TITLE = {Reuse-centric simulation software architectures},
  AUTHOR = {Dalle, Olivier},
  BOOKTITLE = {Modeling and Simulation-Based Systems Engineering Handbook},
  EDITOR = {Daniele Gianni and Andrea D'Ambrogio and Andreas Tolk},
  PUBLISHER = {CRC Press},
  PAGES = {263-292},
  YEAR = {2014},
  MONTH = Dec,
  DOI = {10.1201/b17902-12},
  URL = {https://hal.inria.fr/hal-01111447},
  HAL_ID = {hal-01111447},
  HAL_VERSION = {v1},
  X-INTERNATIONAL-AUDIENCE = {yes},
  X-SCIENTIFIC-POPULARIZATION = {no},
}

@inproceedings{VDW15a,
   author = {Damiàn Vicino and Olivier Dalle and Gabriel Wainer},
   title = {Using Finite Forkable DEVS for Decision-Making Based on Time Measur\
ed with Uncertainty},
   year = 2015,
   month = aug,
   address = {Athens, Aug 24-27},
   booktitle = {Proceedings of the 8th EAI International Conference on Simulati\
on Tools and Techniques},
  pages = {10p},
  abstract = {The time-line in Discrete Event Simulation (DES) is a se- quence \
of events defined in a numerable subset of R+. When it comes from an experiment\
al measurement, the timing of these events has a limited precision. This precis\
ion is usually well-known and documented for each instruments and pro- cedures \
used for collecting experimental datas. Therefore, these instruments and proced\
ures produce measurement re- sults expressed using values each associated with \
an uncer- tainty quantification, given by uncertainty intervals. Tools have bee\
n developed in Continuous Systems modeling for deriving the uncertainty interva\
ls of the final results cor- responding to the propagation of the uncertainty i\
ntervals being evaluated. These tools cannot be used in DES as they are defined\
, and no alternative tools that would apply to DES have been developed yet. In \
this paper, we propose simulation algorithms, based on the Discrete Event Syste\
m Specification (DEVS) formalism, that can be used to sim- ulate and obtain eve\
ry possible output and state trajecto- ries of simulations that receive input v\
alues with uncertainty quantification. Then, we present a subclass of DEVS mod-\
 els, called Finite Forkable DEVS (FF-DEVS), that can be simulated by the propo\
sed algorithms. This subclass en- sures that the simulation is forking only a f\
inite number of processes for each simulation step. Finally, we discuss the sim\
ulation of a traffic light model and show the trajectories obtained when it is \
subject to input uncertainty.}
}

@inproceedings{VDW16a,
  author    = {Dami{\'{a}}n Vicino and Olivier Dalle and Gabriel A. Wainer},
  title     = {An advanced data type with irrational numbers to implement time in {DEVS} simulators},
  booktitle = {Proceedings of the Symposium on Theory of Modeling {\&} Simulation, {TMS/DEVS} 2016, part of the 2016 Spring Simulation Multiconference, SpringSim '16, Pasadena, CA, USA, April 3-6, 2016},
  pages     = {23},
  year      = {2016}
}

@inproceedings{DBLP:conf/springsim/VicinoNWD15,
  author    = {Dami{\'{a}}n Vicino and
               Daniella Niyonkuru and
               Gabriel A. Wainer and
               Olivier Dalle},
  title     = {Sequential {PDEVS} architecture},
  booktitle = {Proceedings of the Symposium on Theory of Modeling {\&} Simulation:
               {DEVS} Integrative M{\&}S Symposium, part of the 2015 Spring Simulation
               Multiconference, SpringSim '15, Alexandria, VA, USA, April 12-15,
               2015},
  pages     = {165--172},
  year      = {2015}
}

@article{doi:10.1177/0037549717726868,
  author = {Rhys Goldstein and Azam Khan and Olivier Dalle and Gabriel Wainer},
  title ={Multiscale representation of simulated time},
  journal = {SIMULATION},
  pages = {0037549717726868},
  volume = {94},
  number = {6},
  pages = {519--558},
  year = {2017},
  doi = {doi.org/10.1177/0037549717726868},
  URL = { https://doi.org/10.1177/0037549717726868 },
eprint = { https://doi.org/10.1177/0037549717726868 },
    abstract = { To better support multiscale modeling and simulation, we present a multiscale time representation consisting of data types, data structures, and algorithms that collectively support the recording of past events and scheduling of future events in a discrete event simulation. Our approach addresses the drawbacks of conventional time representations: limited range in the case of 32- or 64-bit fixed-point time values; problematic rounding errors in the case of floating-point numbers; and the lack of a universally acceptable precision level in the case of brute force approaches. The proposed representation provides both extensive range and fine resolution in the timing of events, yet it stores and manipulates the majority of event times as standard 64-bit numbers. When adopted for simulation purposes, the representation allows a domain expert to choose a precision level for his/her model. This time precision is honored by the simulator even when the model is integrated with other models of vastly different time scales. Making use of C++11 programming language features and the Discrete Event System Specification formalism, we implemented a simulator to test the time representation and inform a discussion on its implications for collaborative multiscale modeling efforts. },
}

@article{DBLP:journals/iet-net/VicinoLWD15,
  author    = {Dami{\'{a}}n Vicino and
               C.{-}H. Lung and
               Gabriel A. Wainer and
               Olivier Dalle},
  title     = {Investigation on software-defined networks' reactive routing against
               BitTorrent},
  journal   = {{IET} Networks},
  volume    = {4},
  number    = {5},
  pages     = {249--254},
  year      = {2015},
  url       = {https://doi.org/10.1049/iet-net.2014.0105},
  doi       = {10.1049/iet-net.2014.0105},
  timestamp = {Wed, 17 May 2017 14:25:56 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/iet-net/VicinoLWD15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{VWD17,
  author    = {Dami{\'{a}}n Vicino and Gabriel A. Wainer and Olivier Dalle},
  title     = {An abstract discrete-event simulator considering input with uncertainty},
  booktitle = {Proceedings of the Symposium on Theory of Modeling & Simulation, {TMS/DEVS} 2017, part of the 2017 Spring Simulation Multiconference, SpringSim '17, Virginia Beach, VA USA, April 23-26, 2017},
  pages     = {17},
  year      = {2017},
  organization = {SCS},
  PDF = {http://www.scs.org/wp-content/uploads/2017/06/40_Final_Manuscript.pdf}
}
 

Research

Teaching

edit SideBar

Blix theme adapted by David Gilbert, powered by PmWiki