default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/vveis/msvveis2007.bht:"
download as .bib file
@inproceedings{DBLP:conf/vveis/AoumeurS07,
author = {Nasreddine Aoumeur and
Gunter Saake},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {UML-driven Information Systems and their Formal Integration Validation
and Distribution},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {63--73},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 13:49:05 +0100},
biburl = {https://dblp.org/rec/conf/vveis/AoumeurS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Barjis07,
author = {Joseph Barjis},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {An Innovative Method for Business Process Modeling},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {31--42},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Barjis07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/BarjisH07,
author = {Joseph Barjis and
Matt Hall},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {A Healthcare Center Simulation using Arena},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {175--180},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/BarjisH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/BenmerzougBK07,
author = {Djamel Benmerzoug and
Mahmoud Boufa{\"{\i}}da and
Fabrice Kordon},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {A Specification and Validation Approach for Business Process Integration
based on Web Services and Agents},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {163--168},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/BenmerzougBK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Branco07,
author = {Pedro Branco},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Network Enterprise Systems Safety and the Market Pressure - The Paradigm},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {7--8},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Wed, 28 Mar 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Branco07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Cardona07,
author = {Luis Fernando Medina Cardona},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Using Ethnographic Techniques to Describe Requirements Engineering
Processes in Geographic Information Systems Workgroups},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {169--174},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Cardona07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Dingwall-SmithF07,
author = {Andrew Dingwall{-}Smith and
Anthony Finkelstein},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Checking Complex Compositions of Web Services Against Policy Constraints},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {94--103},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Dingwall-SmithF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GallardoMS07,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino and
David San{\'{a}}n},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Extending {CADP} for Analyzing {C} Code},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {104--113},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Sun, 17 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GallardoMS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GamiM07,
author = {Nirmal Gami and
Boleslaw Mikolajczak},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Consistency of Loosely Coupled Inter-organizational Workflows with
Multilevel Security Features},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {53--62},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/GamiM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GruhnL07,
author = {Volker Gruhn and
Ralf Laue},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Checking Properties of Business Process Models with Logic Programming},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {84--93},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 23 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GruhnL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/KauschGS07,
author = {Bernhard Kausch and
Morten Grandt and
Christopher M. Schlick},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Support of Project Planning in Chemical Engineering via Modeling and
Simulation},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {157--162},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/KauschGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/LiI07,
author = {Bing Li and
Junichi Iijima},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Bridging the Gap between {XPDL} and Situation Calculus: {A} Hybrid
Approach for Business Process Verification},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {151--156},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/LiI07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Narasipuram07,
author = {Murali Mohan Narasipuram},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Process-centric Modelling for Enterprise Information Systems},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {5},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Narasipuram07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/PooleR07,
author = {Wade M. Poole and
Srinivasan Ramaswamy},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Business Process Modeling Using an Interactive Framework for Immersive
Research, Support and Training {(I-FIRST)}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {21--30},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 07 Oct 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/PooleR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/PopovaS07,
author = {Viara Popova and
Alexei Sharpanskykh},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Process-oriented Organization Modeling and Analysis},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {114--125},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/PopovaS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Prisecaru07,
author = {Oana Otilia Prisecaru},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Resource Workflow Nets: a Petri Net Formalism for Workflow Modelling},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {11--20},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Prisecaru07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/RaedtsPUWGS07,
author = {Ivo Raedts and
Marija Petkovic and
Yaroslav S. Usenko and
Jan Martijn E. M. van der Werf and
Jan Friso Groote and
Lou J. Somers},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Transformation of {BPMN} Models for Behaviour Analysis},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {126--137},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/RaedtsPUWGS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Ramaswamy07,
author = {Srini Ramaswamy},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {The Pervasive Role of Modeling and Simulation in a Globalized Business
Economy},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {3--4},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Ramaswamy07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/RychkovaW07,
author = {Irina Rychkova and
Alain Wegmann},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Formal Semantics for Property-Property Relations in {SEAM} Visual
Language: Towards Simulation and Analysis of Visual Specifications},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {138--147},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/RychkovaW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/SteynP07,
author = {Paul S. Steyn and
John A. van der Poll},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Validating Reasoning Heuristics Using Next-Generation Theorem-Provers},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {43--52},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/SteynP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/TunonATM07,
author = {Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Kawtar Benghazi Akhlaki and
Juan Antonio Holgado Terriza and
Luis E. Mendoza Morales},
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {An Interpretation of Behavioral Consistency of {UML-RT} Diagrams in
Terms of {CSP+T}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
pages = {74--83},
publisher = {{INSTICC} {PRESS}},
year = {2007},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/TunonATM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2007,
editor = {Juan Carlos Augusto and
Joseph Barjis and
Ulrich Ultes{-}Nitsche},
title = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 5th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2007, In conjunction with {ICEIS} 2007, Funchal,
Madeira, Portugal, June 2007},
publisher = {{INSTICC} {PRESS}},
year = {2007},
isbn = {978-972-8865-95-5},
timestamp = {Thu, 24 Jan 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/2007.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.
retrieved on 2024-12-02 12:46 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
