default search action
Search dblp for Publications
export results for "toc:db/conf/vveis/msvveis2009.bht:"
@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} }
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.