Search dblp for Publications

export results for "toc:db/conf/vveis/msvveis2009.bht:"

 download as .bib file

@inproceedings{DBLP:conf/vveis/AyedJ09,
  author       = {Leila Jemni Ben Ayed and
                  Mohamed Nidhal Jelassi},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {An Automatic Transformation of Event {B} Models into {UML} using an
                  Interactive Inference Engine {THINKER}},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {119--124},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 10:12:07 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/AyedJ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/BoernerG09,
  author       = {Ren{\'{e}} B{\"{o}}rner and
                  Matthias Goeken},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Methods for Service Identification: {A} Criteria-based Literature
                  Review},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {76--84},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Wed, 17 Mar 2010 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/vveis/BoernerG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/CabacM09,
  author       = {Lawrence Cabac and
                  Kolja Markwardt},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Modeling the System Organization of Multi-Agent Systems in Early Design
                  Stages with Coarse Design Diagrams},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {34--43},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/CabacM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/CabacMS09,
  author       = {Lawrence Cabac and
                  Kolja Markwardt and
                  Jan Schl{\"{u}}ter},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {ImageNetDiff: Finding Differences in Models},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {156--161},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/CabacMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/DongmoP09,
  author       = {Cyrille Dongmo and
                  John Andrew van der Poll},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Use Case Maps as an Aid in the Construction of a Formal Specification},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {3--13},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Mon, 21 Jul 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/DongmoP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/GallardoMPL09,
  author       = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
                  Pedro Merino and
                  Laura Panizo and
                  Antonio Linares},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Using {SCADE} for Decision Support in Dam Management},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {125--131},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Sun, 17 Apr 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/GallardoMPL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/GradlBWK09,
  author       = {Stephan Gradl and
                  Andr{\'{e}} B{\"{o}}gelsack and
                  Holger Wittges and
                  Helmut Krcmar},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Layered Queuing Networks for Simulating Enterprise Resource Planning
                  Systems},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {85--92},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/GradlBWK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/MajdoubR09,
  author       = {Lotfi Majdoub and
                  Riadh Robbana},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Test Cases Generation for Nondeterministic Duration Systems},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {14--23},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/MajdoubR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/MarkwardtCR09,
  author       = {Kolja Markwardt and
                  Lawrence Cabac and
                  Christine Reese},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {A Process-Oriented Tool-Platform for Distributed Development},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {44--52},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/MarkwardtCR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/MohammedF09,
  author       = {Ammar Mohammed and
                  Ulrich Furbach},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {From Reactive to Deliberative Multi-agent Planning},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {67--75},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/MohammedF09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/Prisecaru09,
  author       = {Oana Otilia Prisecaru},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {A Petri Net Based Approach for Modelling and Analyzing Interorganizational
                  Workflows with Dynamic Structure},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {24--33},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/Prisecaru09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/ScafesB09,
  author       = {Mihnea Scafes and
                  Costin Badica},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Preliminary Design of an Agent-based System for Human Collaboration
                  in Chemical Incidents Response},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {53--63},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/ScafesB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/SrinivasanZ09,
  author       = {Satish Mahadevan Srinivasan and
                  Mansour Zand},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Making Use Case Slices Manage Variability in Aspect-based Product
                  Line},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {141--148},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/SrinivasanZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/TackenbergS09,
  author       = {Sven Tackenberg and
                  Sebastian Schneider},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Multi Project Organization Optimization using Genetic Algorithm},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {101--115},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/TackenbergS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/WalkowiakM09,
  author       = {Tomasz Walkowiak and
                  Katarzyna Michalska},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Information Systems Configuration Analysis using Event-driven Computer
                  Simulation},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {162--167},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/WalkowiakM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/YagueG09,
  author       = {Agust{\'{\i}}n Yag{\"{u}}e and
                  Juan Garbajosa},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {The Role of Testing in Agile and Conventional Methodologies},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {93--100},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/YagueG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/YounesA09,
  author       = {Ahlem Ben Younes and
                  Leila Jemni Ben Ayed},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Using {UML} Activity Diagrams and Event {B} for the Specification
                  and the Verification of Workflow Applications},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {149--155},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/YounesA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vveis/ZelascoD09,
  author       = {Jos{\'{e}} Francisco Zelasco and
                  Judith Donayo},
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Database Integrity in Integrated Systems},
  booktitle    = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  pages        = {132--140},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/ZelascoD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/vveis/2009,
  editor       = {Daniel Moldt and
                  Juan Carlos Augusto and
                  Ulrich Ultes{-}Nitsche},
  title        = {Modelling, Simulation, Verification and Validation of Enterprise Information
                  Systems, Proceedings of the 7th International Workshop on Modelling,
                  Simulation, Verification and Validation of Enterprise Information
                  Systems, MSVVEIS-2009, In conjunction with {ICEIS} 2009, Milan, Italy,
                  May 2009},
  publisher    = {{INSTICC} {PRESS}},
  year         = {2009},
  isbn         = {978-989-8111-90-6},
  timestamp    = {Thu, 10 Sep 2009 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/vveis/2009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.