default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/vveis:"
download as .bib file
@inproceedings{DBLP:conf/vveis/AugustoWWLL11,
author = {Juan Carlos Augusto and
George Wilkie and
Hui Wang and
Jun Liu and
Chunping Li},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Using Models to Assess Impact of Defective Software},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {71--77},
publisher = {SciTePress},
year = {2011},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/AugustoWWLL11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GattnarED11,
author = {Eva Gattnar and
Okan Ekinci and
Vesselin Detschew},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Event-based Workflow Analysis in Healthcare},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {61--70},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GattnarED11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GonzalezMCP11,
author = {Aleksander Gonz{\'{a}}lez and
Luis Eduardo Mendoza and
Manuel I. Capel and
Mar{\'{\i}}a A. P{\'{e}}rez},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Implementing a Transformation from {BPMN} to {CSP+T} with {ATL:} Lessons
Learnt},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {51--60},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GonzalezMCP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/HastbackaK11,
author = {David H{\"{a}}stbacka and
Seppo Kuikka},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Bridging {UML} Profile based Models and {OWL} Ontologies in Model-driven
Development - Industrial Control Application},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {13--23},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/HastbackaK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/LeeJS11,
author = {Eunjung Lee and
Hyung{-}Ju Joo and
Kyong{-}Jin Seo},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Data Mapping Model for User Programmable Web-based Mashup},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {41--48},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/LeeJS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/LiuB11,
author = {Hui Liu and
Jean Pierre Bourey},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Ontology-based Semantic Annotations for Business Processes in {BPMN2.0}},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {24--33},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/LiuB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Phiri11,
author = {David Phiri},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Information Technology Investment and Firm Performance in Developing
Economies: {A} Study of Perceived Impacts of {IT} on Firms in Namibia},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {3--9},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Phiri11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/ShankararamanK11,
author = {Venky Shankararaman and
Lum Eng Kit},
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {Enhancing {SOA} Integration through Enterprise Services},
booktitle = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
pages = {37--40},
publisher = {SciTePress},
year = {2011},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/ShankararamanK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2011,
editor = {Markus Helfert and
Mouzhi Ge and
Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Farouk Toumani and
Val{\'{e}}rie Monfort and
Wassim Jaziri and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Chunping Li},
title = {IVM, FTMDD, {RTSOABIS} {\&} {MSVVEIS} 2011 - Proceedings of the
International Joint Workshop on Information Value Management, Future
Trends of Model-Driven Development, Recent Trends in {SOA} Based Information
Systems and Modelling and Simulation, Verification and Validation
of Enterprise Information Systems, In conjunction with {ICEIS} 2011,
Beijing, China, June, 2011},
publisher = {SciTePress},
year = {2011},
isbn = {978-989-8425-60-7},
timestamp = {Wed, 28 Sep 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/AlarconPYM10,
author = {Pedro Pablo Alarc{\'{o}}n and
Jennifer P{\'{e}}rez and
Agust{\'{\i}}n Yag{\"{u}}e and
David Musat},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Definition of Domain Specific Operation Languages Following {MDD}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {5--15},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 12:14:12 +0100},
biburl = {https://dblp.org/rec/conf/vveis/AlarconPYM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/BalzG10,
author = {Moritz Balz and
Michael Goedicke},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Towards Domain-specific Modeling for Java Enterprise Applications},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {30--39},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/BalzG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Huchard10,
author = {Marianne Huchard},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {On Some Complementary Trends in Model Transformation Generation},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {3},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Huchard10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MendozaCP10,
author = {Luis Eduardo Mendoza and
Manuel I. Capel and
Mar{\'{\i}}a A. P{\'{e}}rez},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Compositional Verification of Business Processes by Model-Checking},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {60--69},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/MendozaCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MohammedF10,
author = {Ammar Mohammed and
Ulrich Furbach},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Extending {CTL} to Specify Quantitative Temporal Requirements},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {70--79},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/MohammedF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Prisecaru10,
author = {Oana Otilia Prisecaru},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {The Analysis of Resource Constrained Workflows using Petri Nets},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {50--59},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Prisecaru10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/ScafesB10,
author = {Mihnea Scafes and
Costin Badica},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Framework for Performance Evaluation of Service Negotiations in Agent
Systems},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {19--29},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/ScafesB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/TabatabaiePP10,
author = {Malihe Tabatabaie and
Fiona A. C. Polack and
Richard F. Paige},
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {KAOS-{\(\beta\)}: {A} Goal-oriented Process Model for {EIS}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
pages = {40--49},
publisher = {SciTePress},
year = {2010},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/TabatabaiePP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2010,
editor = {Juan Garbajosa Sope{\~{n}}a and
Manuel I. Capel Tu{\~{n}}{\'{o}}n},
title = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 8th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2010, In conjunction with {ICEIS} 2010, Funchal,
Madeira, Portugal, June 2010},
publisher = {SciTePress},
year = {2010},
isbn = {978-989-8425-12-6},
timestamp = {Tue, 04 Jan 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/vveis/AgostinhoGT08,
author = {S{\'{e}}rgio Agostinho and
Pedro Guerreiro and
Hugo Taborda},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {An Aspect for Design by Contract in Java},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {119--128},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 15:10:09 +0200},
biburl = {https://dblp.org/rec/conf/vveis/AgostinhoGT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/AyedS08,
author = {Leila Jemni Ben Ayed and
Fatma Siala},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {An Approach for the Specification and the Verification of Multi-agent
Systems Interaction Protocols using {AUML} and Event {B}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {190--198},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/AyedS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/BadicaB08,
author = {Amelia Badica and
Costin Badica},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Formal Specification of Matchmakers, Front-agents, and Brokers in
Agent Environments using {FSP}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {9--18},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/BadicaB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/BogelsackJWSK08,
author = {Andr{\'{e}} B{\"{o}}gelsack and
Holger Jehle and
Holger Wittges and
J{\"{o}}rg Schmidl and
Helmut Krcmar},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {An Approach to Simulate Enterprise Resource Planning Systems},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {160--169},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/BogelsackJWSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CabacDM08,
author = {Lawrence Cabac and
Ragna Dirkner and
Daniel Moldt},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Modeling with Service Dependency Diagrams},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {109--118},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/CabacDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Cengarle08,
author = {Mar{\'{\i}}a Victoria Cengarle},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Approaches to an All-encompassing Formal Semantics for the {UML}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {3--4},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Cengarle08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Chapurlat08,
author = {Vincent Chapurlat},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Verification, Validation, Qualification, Certification and Enterprise
Modelling: Requirements, Statements and Opportunities},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {5--6},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Chapurlat08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Chavarria-BaezL08,
author = {Lorena Chavarr{\'{\i}}a{-}B{\'{a}}ez and
Xiaoou Li},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Active Database System Realized by a Petri Net Approach},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {150--159},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Chavarria-BaezL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/EleftherakisP08,
author = {George Eleftherakis and
Ognen Paunovski},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Integrating Formal Approaches and Simulation to Improve Reliability
and Correctness of Web Services},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {180--189},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/EleftherakisP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/LiuJQS08,
author = {Hongming Liu and
Xiaoping Jia and
Lizhang Qin and
Adam Steele},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {A Model Transformation Framework for Model Driven Engineering},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {59--70},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/LiuJQS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MartinezJ08,
author = {Jes{\'{u}}s Mart{\'{\i}}nez and
Crist{\'{o}}bal Jim{\'{e}}nez},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Software Model Checking for Internet Protocols with Java PathFinder},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {91--100},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/MartinezJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MohammedF08,
author = {Ammar Mohammed and
Ulrich Furbach},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Modeling Multi-agent Logistic Process System using Hybrid Automata},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {141--149},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/MohammedF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/NicolaNU08,
author = {Thierry Nicola and
Frank Nie{\ss}ner and
Ulrich Ultes{-}Nitsche},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Checking Inherently Fair Linear-Time Properties in a Non-Na{\"{\i}}ve
Way},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {49--58},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/NicolaNU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/NicolaU08,
author = {Thierry Nicola and
Ulrich Ultes{-}Nitsche},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Weakly Continuation Closed Homomorphisms on Automata},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {39--48},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/NicolaU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/PeytonZS08,
author = {Liam Peyton and
Bo Zhan and
Bernard Stepien},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {A Case Study in Integrated Quality Assurance for Performance Management
Systems},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {129--138},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/PeytonZS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/PopovaS08,
author = {Viara Popova and
Alexei Sharpanskykh},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Formal Goal-based Modeling of Organizations},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {19--28},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/PopovaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Prisecaru08,
author = {Oana Otilia Prisecaru},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {A Petri Net based Approach to Modelling Resource Constrained Interorganizational
Workflows},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {29--38},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Prisecaru08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/SimonssonLJ08,
author = {M{\aa}rten Simonsson and
Robert Lagerstr{\"{o}}m and
Pontus Johnson},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {The Linear Conditional Probability Matrix Generator for {IT} Governance
Performance Prediction},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {170--179},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/SimonssonLJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Terlouw08,
author = {Linda Terlouw},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Comparing Methodologies for Service-Orientation using the Generic
System Development Process},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {101--108},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Terlouw08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Wester-EbbinghausM08,
author = {Matthias Wester{-}Ebbinghaus and
Daniel Moldt},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Modelling Multi-Agent Systems with Organizations in Mind},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {81--90},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Wester-EbbinghausM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YatakeK08,
author = {Kenro Yatake and
Takuya Katayama},
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {An Executable Semantics of Object-oriented Models for Simulation and
Theorem Proving},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
pages = {71--80},
publisher = {{INSTICC} {PRESS}},
year = {2008},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YatakeK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2008,
editor = {Ulrich Ultes{-}Nitsche and
Daniel Moldt and
Juan Carlos Augusto},
title = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 6th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, MSVVEIS-2008, In conjunction with {ICEIS} 2008, Barcelona,
Spain, June 2008},
publisher = {{INSTICC} {PRESS}},
year = {2008},
isbn = {978-989-8111-43-2},
timestamp = {Mon, 18 Aug 2008 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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}
}
@inproceedings{DBLP:conf/vveis/AkhlakiTTM06,
author = {Kawtar Benghazi Akhlaki and
Manuel I. Capel Tu{\~{n}}{\'{o}}n and
Juan Antonio Holgado Terriza and
Luis E. Mendoza Morales},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Formal Specification of Real-Time Systems by Transformation of {UML-RT}
Design Models},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {16--25},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 13:10:42 +0200},
biburl = {https://dblp.org/rec/conf/vveis/AkhlakiTTM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Al-GhamdiF06,
author = {Ahmed Al{-}Ghamdi and
Jos{\'{e}} Luiz Fiadeiro},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Architectural Handling of Management Concerns in Service-Driven Business
Processes},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {111--120},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Al-GhamdiF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/BarjisM06,
author = {Joseph Barjis and
Bryan D. MacDonald},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Animated Simulation for Business Process Improvement},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {121--127},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/BarjisM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/BarjisR06,
author = {Joseph Barjis and
Han Reichgelt},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {A Petri Net Based Methodology for Business Process Modeling and Simulation},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {3--15},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/BarjisR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/ChapurlatA06,
author = {Vincent Chapurlat and
Saber Aloui},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {How to Detect Risks with a Formal Approach? From Property Specification
to Risk Emergence},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {134--146},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/ChapurlatA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CruzLW06,
author = {Jos{\'{e}} Diego De la Cruz and
Lam{-}Son L{\^{e}} and
Alain Wegmann},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Validation of Visual Contracts for Services},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {147--165},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/CruzLW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/DagisA06,
author = {Salvis Dagis and
Sergejs Arhipovs},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {The Static Model of Latvian Forest Management Planning and Capital
Value Estimation},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {185--188},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/DagisA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/DrioucheBK06,
author = {Razika Driouche and
Zizette Boufa{\"{\i}}da and
Fabrice Kordon},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {An Ontology Based Architecture for Integrating Enterprise Applications},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {26--37},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Fri, 25 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/DrioucheBK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/DvornikT06,
author = {Josko Dvornik and
Eno Tireli},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Simulation Modelling Performance Dynamics of Ship Gas Turbine at the
Load of the Ship's Synchronous Generator},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {157--162},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/DvornikT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/EscamezATC06,
author = {Agust{\'{\i}}n Esc{\'{a}}mez and
Kawtar Benghazi Akhlaki and
Juan Antonio Holgado Terriza and
Manuel I. Capel},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {CSPJade: Architectural Driven Development of Complex Embedded System
Software Using a {CSP} Paradigm Based Generation Tool Code},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {128--133},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Sun, 15 Apr 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/EscamezATC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/FraikinF06,
author = {Beno{\^{\i}}t Fraikin and
Marc Frappier},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Efficient Interpretation of Large Quantifications in a Process Algebra},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {189--192},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/FraikinF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GallardoMMNP06,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Jes{\'{u}}s Mart{\'{\i}}nez and
Pedro Merino and
Pablo N{\'{u}}{\~{n}}ez and
Ernesto Pimentel},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {PiXL: Applying {XML} Standards to Support the Integration of Analysis
Tools for Protocols},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {57--66},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GallardoMMNP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GallardoMS06,
author = {Mar{\'{\i}}a{-}del{-}Mar Gallardo and
Pedro Merino and
David San{\'{a}}n},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Towards Model Checking {C} Code with OPEN/C{\AE}SAR},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {198--201},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Sun, 17 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GallardoMS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GerberBM06,
author = {Aurona Gerber and
Andries Barnard and
Alta van der Merwe},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Design and Evaluation Criteria for Layered Architectures},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {163--172},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GerberBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GruhnL06,
author = {Volker Gruhn and
Ralf Laue},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {How Style Checking Can Improve Business Process Models},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {47--56},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Thu, 23 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GruhnL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/HeeOSSV06,
author = {Kees M. van Hee and
Olivia Oanea and
Alexander Serebrenik and
Natalia Sidorova and
Marc Voorhoeve},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Modelling History-Dependent Business Processes},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {76--85},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/HeeOSSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/JungoBU06,
author = {Dominik Jungo and
David Buchmann and
Ulrich Ultes{-}Nitsche},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Testing of Semantic Properties in {XML} Documents},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {38--46},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/JungoBU06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/KlaiTC06,
author = {Kais Klai and
Samir Tata and
Issam Chebbi},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {An Observation-based Algorithm for Workflow Matching},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {193--197},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/KlaiTC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MajdoubR06,
author = {Lotfi Majdoub and
Riadh Robbana},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Test Purpose of Duration Systems},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {67--75},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/MajdoubR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/ManatakiZ06,
author = {Ioanna E. Manataki and
Kostas Zografos},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {A System Dynamics Approach for Airport Terminal Performance Evaluation},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {206--209},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/ManatakiZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MerweKC06,
author = {Alta van der Merwe and
Paula Kotz{\'{e}} and
Johannes C. Cronj{\'{e}}},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {The Usefulness of a Generic Process Model Structure},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {86--96},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/MerweKC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Moldt06,
author = {Daniel Moldt},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {{PAOSE:} {A} Way to Develop Distributed Software Systems Based on
Petri Nets and Agents},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Moldt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Niessner06,
author = {Frank Nie{\ss}ner},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Specification of Deterministic Regular Liveness Properties},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {173--178},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Niessner06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/SileA06,
author = {Inita Sile and
Sergejs Arhipovs},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {The Development of the Precedent Model for the Latvia Forest Management
Planning Processes},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {181--184},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/SileA06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Vasilyev06,
author = {Pavel Vasilyev},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Simulator for Real-Time Abstract State Machines},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {202--205},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Vasilyev06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YeungLWD06,
author = {Wing Lok Yeung and
Karl R. P. H. Leung and
Ji Wang and
Wei Dong},
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Model Checking Suspendible Business Processes via Statechart Diagrams
and {CSP}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
pages = {97--107},
publisher = {{INSTICC} Press},
year = {2006},
timestamp = {Tue, 28 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YeungLWD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2006,
editor = {Joseph Barjis and
Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto},
title = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 4th International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2006, In conjunction with {ICEIS} 2006, Paphos,
Cyprus, May 2006},
publisher = {{INSTICC} Press},
year = {2006},
isbn = {978-972-8865-49-8},
timestamp = {Wed, 06 Sep 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Augusto05,
author = {Juan Carlos Augusto},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Verification of Smart Homes Specifications which are based on {ECA}
Rules},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {118--120},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Mon, 09 Dec 2013 17:20:14 +0100},
biburl = {https://dblp.org/rec/conf/vveis/Augusto05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Barjis05,
author = {Joseph Barjis},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {An Example of Business Process Simulation Using {ARENA}},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {107--112},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Barjis05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CapelHE05,
author = {Manuel I. Capel and
Juan Antonio Holgado Terriza and
Agust{\'{\i}}n Esc{\'{a}}mez},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {An Integration Scheme for {CPN} and Process Algebra Applied to a Manufacturing
Industry Case},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {39--48},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 31 Aug 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/CapelHE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/DvornikDT05,
author = {Josko Dvornik and
Srdan Dvornik and
Eno Tireli},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Computing Simulation and Heuristic Optimization of the Marine Diesel
Drive Generating},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {102--106},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/DvornikDT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/DvornikMM05,
author = {Josko Dvornik and
Ante Munitic and
Frane Mitrovic},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {The Port-Transshipment System Dynamics Software Simulator},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {121--125},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/DvornikMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/FloresP05,
author = {Andres Flores and
Macario Polo},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Towards Application Suitability for PvC Environments},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {58--62},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/FloresP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GervaisFL05,
author = {Fr{\'{e}}d{\'{e}}ric Gervais and
Marc Frappier and
R{\'{e}}gine Laleau},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {How to Synthesize Relational Database Transactions From {EB3} Attribute
Definitions?},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {83--88},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Wed, 24 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GervaisFL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GoldbergH05,
author = {Allen Goldberg and
Klaus Havelund},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Automated Runtime Verification with Eagle},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GoldbergH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/GradisarM05,
author = {Dejan Gradisar and
Gasper Music},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Petri-net modeling of production systems based on production management
data},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {29--38},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/GradisarM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/He05,
author = {Xudong He},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {A Framework for Ensuring System Dependability from Design to Implementation},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/He05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/JungoBU05,
author = {Dominik Jungo and
David Buchmann and
Ulrich Ultes{-}Nitsche},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {A Unit Testing Framework for Network Configurations},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {77--82},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/JungoBU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/KristoffersenD05,
author = {K{\aa}re J. Kristoffersen and
Yvonne Dittrich},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Expanding Database Systems into self-verifying Entities},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {65--70},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/KristoffersenD05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MarinL05,
author = {Joselito Medina Mar{\'{\i}}n and
Xiaoou Li},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {An Active Rule Base Simulator based on Petri Nets},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {96--101},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/MarinL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/NicolaNU05,
author = {Thierry Nicola and
Frank Nie{\ss}ner and
Ulrich Ultes{-}Nitsche},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Model-checking Inherently Fair Linear-time Properties},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {3--8},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/NicolaNU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/NiuE05,
author = {Nan Niu and
Steve M. Easterbrook},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {On the Use of Model Checking in Verification of Evolving Agile Software
Frameworks: An Exploratory Case Study},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {115--117},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/NiuE05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/PauliX05,
author = {Joshua J. Pauli and
Dianxiang Xu},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Trade-off Analysis of Misuse Case-based Secure Software Architectures:
{A} Case Study},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {89--95},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/PauliX05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/RahmanS05,
author = {Syed M. Rahman and
Akram Salah},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Teaching Software Testing in Introductory {CS} Courses and Improving
Software Quality},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {126--128},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Wed, 13 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/RahmanS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/RamirezA05,
author = {Jaime Ram{\'{\i}}rez and
Ang{\'{e}}lica de Antonio},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Consistency Verification of a Non-monotonic Deductive System based
on {OWL} Lite},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {19--28},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/RamirezA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/SausenNPLPS05,
author = {Paulo S{\'{e}}rgio Sausen and
Pedro Fernandes Ribeiro Neto and
Angelo Perkusich and
Antonio Marcus Nogueira de Lima and
Maria Ligia B. Perkusich and
Fabiano Salvadori},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Modelling, Verification and Validation of the {IEEE} 802.15.4 for
Wireless Networks},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {49--57},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Tue, 18 Nov 2008 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/SausenNPLPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/UsaolaF05,
author = {Macario Polo Usaola and
Andres Flores},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Towards Run-time Component Integration on Ubiquitous Systems},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {9--18},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/UsaolaF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YeungL05,
author = {Wing Lok Yeung and
Karl R. P. H. Leung},
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Deriving Test Cases from {B} Machines Using Class Vectors},
booktitle = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
pages = {71--76},
publisher = {{INSTICC} Press},
year = {2005},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YeungL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2005,
editor = {Ulrich Ultes{-}Nitsche and
Juan Carlos Augusto and
Joseph Barjis},
title = {Modelling, Simulation, Verification and Validation of Enterprise Information
Systems, Proceedings of the 3rd International Workshop on Modelling,
Simulation, Verification and Validation of Enterprise Information
Systems, {MSVVEIS} 2005, In conjunction with {ICEIS} 2005, Miami,
FL, USA, May 2005},
publisher = {{INSTICC} Press},
year = {2005},
isbn = {972-8865-22-8},
timestamp = {Mon, 09 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CamposHL04,
author = {Jos{\'{e}} Creissac Campos and
Michael D. Harrison and
Karsten Loer},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Verifying user interface behaviour with model checking},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {87--96},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Wed, 30 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/CamposHL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/CapelBH04,
author = {Manuel I. Capel and
Jos{\'{e}} R. Balsas and
Juan Antonio Holgado Terriza},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Systematic Design of Real-Time Systems Based on {CSP+T} Process Algebra},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {81--83},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Thu, 31 Aug 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/CapelBH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/FerrariGMRTT04,
author = {Gian{-}Luigi Ferrari and
Stefania Gnesi and
Ugo Montanari and
Roberto Raggi and
Gianluca Trentanni and
Emilio Tuosto},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Verication On The Web Of Mobile Systems},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {72--74},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 23 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/FerrariGMRTT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Hornos04,
author = {Miguel J. Hornos},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Towards a More Intuitive Specification and Automatic Verification
of System Properties with {FBT:} {A} Tool for Translating Interval
Formulas into B{\"{u}}chi Automata},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {26--33},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Hornos04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/KhanM04,
author = {Raees Ahmad Khan and
Khurram Mustafa},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {High Level Design Quality Assessment of Object Oriented Codes},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {34--43},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/KhanM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/KimC04,
author = {Il{-}Gon Kim and
Jin{-}Young Choi},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {New S/Key System against Dictionary Attack: {A} Case Study in Casper
and {CSP/FDR}},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {75--77},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/KimC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Mateescu04,
author = {Radu Mateescu},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {A Generic Framework for Model Checking Software Architectures},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {1},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Thu, 29 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Mateescu04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/MitchellTB04,
author = {Bill Mitchell and
Robert Thomson and
Paul Bristow},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Model Synthesis from Imprecise Specifications},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {20--25},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Wed, 09 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/MitchellTB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/PollK04,
author = {John A. van der Poll and
Paula Kotz{\'{e}}},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Reasoning about the Properties of an Enterprise Information System},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {10--19},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/PollK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/QinJL04,
author = {Lizhang Qin and
Xiaoping Jia and
Hongming Liu},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {A Hypothesis-Based Approach to Detecting Runtime Violations},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {60--65},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/QinJL04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/RamirezA04,
author = {Jaime Ram{\'{\i}}rez and
Ang{\'{e}}lica de Antonio},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Checking Integrity Constraints in Deductive Systems based on Production
Rules and a Description Logic Terminology},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {84--86},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/RamirezA04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/SanchezAF04,
author = {Marisa A. Sanchez and
Juan Carlos Augusto and
Miguel Felder},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Fault-based Testing of E-Commerce Applications},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {66--74},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/SanchezAF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/TangZTWN04,
author = {Y. Tang and
Jing{-}Bing Zhang and
Chak{-}Huah Tan and
Ming Mao Wong and
Bryan Tsong{-}Jye Ng},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {A Multi-Stage Approach to Asymmetric Legacy Information Integration},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {50--59},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 16 Apr 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/TangZTWN04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YagueAGLS04,
author = {Agust{\'{\i}}n Yag{\"{u}}e and
Pedro Pablo Alarc{\'{o}}n and
Juan Garbajosa and
Alexei Lisounkin and
Gerhard Schreck},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Construction of Verified Models for Systems Construction of Verified
Models for Systems Represented as Networks},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {44--49},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Wed, 01 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vveis/YagueAGLS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/YatakeAK04,
author = {Kenro Yatake and
Toshiaki Aoki and
Takuya Katayama},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Collaboration-based verification of Object-Oriented models in {HOL}},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {78--80},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/YatakeAK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vveis/Yeung04,
author = {W. L. Yeung},
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {A Dual-Formalism Approach to Checking Consistency of Class and State
Diagrams in {UML}},
booktitle = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
pages = {2--9},
publisher = {{INSTICC} Press},
year = {2004},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/Yeung04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vveis/2004,
editor = {Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Verification and Validation of Enterprise Information Systems, Proceedings
of the 2nd International Workshop on Verification and Validation of
Enterprise Information Systems, {VVEIS} 2004, In conjunction with
{ICEIS} 2004, Porto, Portugal, April 2004},
publisher = {{INSTICC} Press},
year = {2004},
isbn = {972-8865-03-1},
timestamp = {Fri, 25 Jun 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vveis/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/AmaralT03,
author = {Rui Amaral and
Isabel Trancoso},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Indexing Broadcast News},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {36--45},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 23 Oct 2014 13:51:12 +0200},
biburl = {https://dblp.org/rec/conf/nddl/AmaralT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/ArthoHB03,
author = {Cyrille Artho and
Klaus Havelund and
Armin Biere},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {High-Level Data Races},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {82--93},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/ArthoHB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/DelatourL03,
author = {J{\'{e}}r{\^{o}}me Delatour and
Florent de Lamotte},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {ArgoPN: a {CASE} Tool Merging {UML} and Petri Nets},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {94--102},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/DelatourL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/Drori03,
author = {Offer Drori},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Identifying the Subject of Documents in Digital Libraries Automatically
Using Frequently Occurring Words - Study and Findings},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {3--12},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/Drori03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/Drori03a,
author = {Offer Drori},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {How to Display Search Results in Digital Libraries - User Study},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {13--28},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/Drori03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/IqbalJG03,
author = {Rahat Iqbal and
Anne E. James and
Richard A. Gatward},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {A Framework For Integration Of Heterogeneous Systems},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {56--65},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/IqbalJG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/JamesU03,
author = {Simon St. James and
Ulrich Ultes{-}Nitsche},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {An Optimised Partial-Order Approach to the Verification of System
Components},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {69--81},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/JamesU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/LicchelliESB03,
author = {Oriana Licchelli and
Floriana Esposito and
Giovanni Semeraro and
Luciana Bordoni},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Personalization to improve searching in a Digital Library},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {46--55},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/LicchelliESB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/Rose03,
author = {Chris Rose},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Web Site Naming and Search Engines},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {29--35},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/Rose03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/SilvaP03,
author = {Leandro Dias da Silva and
Angelo Perkusich},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Formal Verification of Component-Based Software Systems},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {113--124},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/SilvaP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nddl/TranGG03,
author = {Phong Tran and
Jeffrey Gosper and
Ian Gorton},
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {Measurement Metric and Performance of Messaging Systems},
booktitle = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
pages = {103--112},
publisher = {{ICEIS} Press},
year = {2003},
timestamp = {Thu, 21 Aug 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/TranGG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/nddl/2003,
editor = {Pedro T. Isa{\'{\i}}as and
Florence S{\`{e}}des and
Juan Carlos Augusto and
Ulrich Ultes{-}Nitsche},
title = {New Technologies for Information Systems, Proceedings of the 3rd International
Workshop on New Developments in Digital Libraries, {NDDL} 2003, and
the 1st International Workshop on Validation and Verification of Software
for Enterprise Information Systems, {VVEIS} 2003, In conjunction with
{ICEIS} 2003, Angers, France, April 2003},
publisher = {{ICEIS} Press},
year = {2003},
isbn = {972-98816-2-6},
timestamp = {Thu, 23 Oct 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nddl/2003.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 2025-01-01 17:44 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:
