Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/vveis/msvveis2005.bht:"
@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} }
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.