Search dblp for Publications

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

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics