Search dblp for Publications

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

 download as .bib file

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

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.