@inproceedings{conf/wise/HallerG11,
  added-at = {2012-02-06T00:00:00.000+0100},
  author = {Haller, Armin and Groza, Tudor},
  biburl = {http://www.bibsonomy.org/bibtex/201f0fd94ed1843632d2fcbdf3e57cf7e/dblp},
  booktitle = {WISE},
  crossref = {conf/wise/2011},
  editor = {Bouguettaya, Athman and Hauswirth, Manfred and Liu, Ling},
  ee = {http://dx.doi.org/10.1007/978-3-642-24434-6_33},
  interhash = {89d981fa1ab8b9d822f4dee14e052089},
  intrahash = {01f0fd94ed1843632d2fcbdf3e57cf7e},
  isbn = {978-3-642-24433-9},
  keywords = {dblp},
  pages = {338-340},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {A Novel Approach for Interacting with Linked Open Data.},
  url = {http://dblp.uni-trier.de/db/conf/wise/wise2011.html#HallerG11},
  volume = 6997,
  year = 2011
}

@inproceedings{conf/pepm/MoorsRHO12,
  added-at = {2012-01-27T00:00:00.000+0100},
  author = {Moors, Adriaan and Rompf, Tiark and Haller, Philipp and Odersky, Martin},
  biburl = {http://www.bibsonomy.org/bibtex/23db32e37c5063b44f1ff46f800ad8aed/dblp},
  booktitle = {PEPM},
  crossref = {conf/pepm/2012},
  editor = {Kiselyov, Oleg and Thompson, Simon},
  ee = {http://doi.acm.org/10.1145/2103746.2103769},
  interhash = {b6f1d462bcff8e5342405fe0455314f1},
  intrahash = {3db32e37c5063b44f1ff46f800ad8aed},
  isbn = {978-1-4503-1118-2},
  keywords = {dblp},
  pages = {117-120},
  publisher = {ACM},
  title = {Scala-virtualized.},
  url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2012.html#MoorsRHO12},
  year = 2012
}

@inproceedings{conf/bpm/Haller11,
  added-at = {2012-01-25T00:00:00.000+0100},
  author = {Haller, Klaus},
  biburl = {http://www.bibsonomy.org/bibtex/28c961af2ba8e957a2d3b8a22c153593a/dblp},
  booktitle = {Business Process Management Workshops (2)},
  crossref = {conf/bpm/2011w2},
  editor = {Daniel, Florian and Barkaoui, Kamel and Dustdar, Schahram},
  ee = {http://dx.doi.org/10.1007/978-3-642-28115-0_38},
  interhash = {7077bd8d9cd8a5937dc15469cbb2ad02},
  intrahash = {8c961af2ba8e957a2d3b8a22c153593a},
  isbn = {978-3-642-28114-3},
  keywords = {dblp},
  pages = {398-410},
  publisher = {Springer},
  series = {Lecture Notes in Business Information Processing},
  title = {Data-Privacy Assessments for Application Landscapes: A Methodology.},
  url = {http://dblp.uni-trier.de/db/conf/bpm/bpmw2011-2.html#Haller11},
  volume = 100,
  year = 2011
}

@article{journals/tip/HallerN12,
  added-at = {2012-01-23T00:00:00.000+0100},
  author = {Haller, István and Nedevschi, Sergiu},
  biburl = {http://www.bibsonomy.org/bibtex/20d3d20cb536bb08fc0477d6a31fe0bcc/dblp},
  ee = {http://dx.doi.org/10.1109/TIP.2011.2163163},
  interhash = {2bf97d427cd3e1c8e652408452d05940},
  intrahash = {0d3d20cb536bb08fc0477d6a31fe0bcc},
  journal = {IEEE Transactions on Image Processing},
  keywords = {dblp},
  number = 2,
  pages = {889-898},
  title = {Design of Interpolation Functions for Subpixel-Accuracy Stereo-Vision Systems.},
  url = {http://dblp.uni-trier.de/db/journals/tip/tip21.html#HallerN12},
  volume = 21,
  year = 2012
}

@inproceedings{conf/wise/HallerUH10,
  added-at = {2012-01-18T15:56:42.000+0100},
  author = {Haller, Armin and Umbrich, Jürgen and Hausenblas, Michael},
  biburl = {http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/fgimpel},
  booktitle = {WISE},
  crossref = {conf/wise/2010},
  editor = {Chen, Lei and Triantafillou, Peter and Suel, Torsten},
  ee = {http://dx.doi.org/10.1007/978-3-642-17616-6_36},
  interhash = {763cf2bfef35bac731301057e0265e25},
  intrahash = {2f66211764f2d2e49c89e12daf633f91},
  isbn = {978-3-642-17615-9},
  keywords = {rdf rdfa semantic_web webdevelopment},
  pages = {400-410},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {RaUL: RDFa User Interface Language - A Data Processing Model for Web Applications.},
  url = {http://www.armin-haller.com/publications/raul-wise2010.pdf},
  volume = 6488,
  year = 2010
}

@inproceedings{conf/ispdc/PantilieHDN11,
  added-at = {2012-01-06T00:00:00.000+0100},
  author = {Pantilie, Cosmin D. and Haller, István and Drulea, Marius and Nedevschi, Sergiu},
  biburl = {http://www.bibsonomy.org/bibtex/20052b7fdd060e4632fde3400f6748e25/dblp},
  booktitle = {ISPDC},
  crossref = {conf/ispdc/2011},
  ee = {http://doi.ieeecomputersociety.org/10.1109/ISPDC.2011.21},
  interhash = {4082a9edc90b8bbb91acbab4d1466a99},
  intrahash = {0052b7fdd060e4632fde3400f6748e25},
  isbn = {978-1-4577-1536-5},
  keywords = {dblp},
  pages = {79-85},
  publisher = {IEEE},
  title = {Real-Time Image Rectification and Stereo Reconstruction System on the GPU.},
  url = {http://dblp.uni-trier.de/db/conf/ispdc/ispdc2011.html#PantilieHDN11},
  year = 2011
}

@inproceedings{decker2007collaborative,
  abstract = {Collaborative business items - or CoBIs - are an approach to build pervasive computing systems in order to support business processes with mobile assets and items. CoBIs enable the delegation of tasks originally located in stationary large back-end systems down to mobile assets and items. For instance, these tasks include the direct, i.e. item-centric, monitoring and detection of hazardous situations like they may occur when working with chemical goods. We refer to this delegation as logic on the items. The items are augmented by sensor technology and made aware of their surroundings and actions imposed on them. Collaboratively, they are able to reason on common states and enforce pre-defined conditions with only temporary support of stationary back-end computer systems. As a result CoBIs allow a more fine-grained, immediate, realtime and stable control of the handling of items. This paper presents the CoBIs fundamentals and results derived from implementations in a workplace safety scenario on handling various chemical goods. The results back up our claim that for the use of business logic in critical - e.g. dangerous - environments relocation of business logic onto items is required.},
  added-at = {2012-01-03T14:05:35.000+0100},
  author = {Decker, Christian and Riedel, Till and Beigl, Michael and de Souza, Luciana Moreira Sa and Spiess, Patrik and M{\"u}ller, Jens and Haller, Stephan},
  biburl = {http://www.bibsonomy.org/bibtex/23496e1bba8c2645aa4f49d494308295a/riedel},
  booktitle = {Proceedings of IE 07: 3rd International Conference on Intelligent Environments, Ulm, Germany},
  crossref = {IE2007},
  doi = {10.1049/cp:20070345},
  file = {Preprint:2007/DeckerRiedelEtAl07IE.pdf:PDF},
  interhash = {08854fbca9f2fffd04f8c71c727f175a},
  intrahash = {3496e1bba8c2645aa4f49d494308295a},
  keywords = {myown},
  pages = {40–47},
  title = {Collaborative Business Items},
  year = 2007
}

@inproceedings{conf/amcis/BullingerHM09,
  added-at = {2012-01-03T00:00:00.000+0100},
  author = {Bullinger, Angelika Cosima and Haller, Jörg and Möslein, Kathrin},
  biburl = {http://www.bibsonomy.org/bibtex/2cade9991ce16f405f324801177a76360/dblp},
  booktitle = {AMCIS},
  crossref = {conf/amcis/2009},
  editor = {Nickerson, Robert C. and Sharda, Ramesh},
  ee = {http://aisel.aisnet.org/amcis2009/540},
  interhash = {b2a5e41aea840308848704f7b1009efe},
  intrahash = {cade9991ce16f405f324801177a76360},
  keywords = {dblp},
  pages = 540,
  publisher = {Association for Information Systems},
  title = {Innovation Mobs - Unlocking the Innovation Potential of Virtual Communities.},
  url = {http://dblp.uni-trier.de/db/conf/amcis/amcis2009.html#BullingerHM09},
  year = 2009
}

@article{journals/jeim/SpiessBLHS07,
  added-at = {2011-12-29T00:00:00.000+0100},
  author = {Spieß, Patrik and Bornhövd, Christof and Lin, Tao and Haller, Stephan and Schaper, Joachim},
  biburl = {http://www.bibsonomy.org/bibtex/29e4b75be8279dc1bfbb4f8c3ac1f144e/dblp},
  ee = {http://dx.doi.org/10.1108/17410390710740781},
  interhash = {5da98ac51645769f26bb50f393ee6179},
  intrahash = {9e4b75be8279dc1bfbb4f8c3ac1f144e},
  journal = {J. Enterprise Inf. Management},
  keywords = {dblp},
  number = 3,
  pages = {356-370},
  title = {Going beyond auto-ID: a service-oriented smart items infrastructure.},
  url = {http://dblp.uni-trier.de/db/journals/jeim/jeim20.html#SpiessBLHS07},
  volume = 20,
  year = 2007
}

@article{journals/mr/LlidoGGFDHPL11,
  added-at = {2011-12-19T00:00:00.000+0100},
  author = {Llido, R. and Gomez, J. and Goubier, Vincent and Froidevaux, N. and Dufayard, L. and Haller, G. and Pouget, Vincent and Lewis, Dean},
  biburl = {http://www.bibsonomy.org/bibtex/204fd8d468c8c1e3ca60cce4ffbb8e4cb/dblp},
  ee = {http://dx.doi.org/10.1016/j.microrel.2011.06.050},
  interhash = {3c3e446bdcd0e12936fbe83645659610},
  intrahash = {04fd8d468c8c1e3ca60cce4ffbb8e4cb},
  journal = {Microelectronics Reliability},
  keywords = {dblp},
  number = {9-11},
  pages = {1658-1661},
  title = {Photoelectric Laser Stimulation applied to Latch-Up phenomenon and localization of parasitic transistors in an industrial failure analysis laboratory.},
  url = {http://dblp.uni-trier.de/db/journals/mr/mr51.html#LlidoGGFDHPL11},
  volume = 51,
  year = 2011
}

@inproceedings{Donaldson2011,
  abstract = {We present combined-case k-induction, a novel technique for veri- fying software programs. This technique draws on the strengths of the classical inductive-invariant method and a recent application of k-induction to program verification. In previous work, correctness of programs was established by sepa- rately proving a base case and inductive step. We present a new k-induction rule that takes an unstructured, reducible control flow graph (CFG), a natural loop oc- curring in the CFG, and a positive integer k, and constructs a single CFG in which the given loop is eliminated via an unwinding proportional to k. Recursively ap- plying the proof rule eventually yields a loop-free CFG, which can be checked using SAT-/SMT-based techniques. We state soundness of the rule, and investi- gate its theoretical properties. We then present two implementations of our tech- nique: K-INDUCTOR, a verifier for C programs built on top of the CBMC model checker, and K-BOOGIE, an extension of the Boogie tool. Our experiments, using a large set of benchmarks, demonstrate that our k-induction technique frequently allows program verification to succeed using significantly weaker loop invariants than are required with the standard inductive invariant approach.},
  added-at = {2011-12-08T14:24:14.000+0100},
  author = {Donaldson, Alastair F. and Haller, Leopold and Kroening, Daniel and Rümmer, Philipp},
  biburl = {http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/clemensbaier},
  booktitle = {SAS},
  crossref = {conf/sas/2011},
  editor = {Yahav, Eran},
  ee = {http://dx.doi.org/10.1007/978-3-642-23702-7_26},
  file = {:combined_k-induction.pdf:PDF},
  groups = {public},
  interhash = {36fcf0363e9051247faf1a49d5635570},
  intrahash = {9b55d3b1153e00e1703e13f6a015cc46},
  isbn = {978-3-642-23701-0},
  keywords = {induction k-induction software verification},
  pages = {351-368},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {Software Verification Using k-Induction},
  url = {http://dblp.uni-trier.de/db/conf/sas/sas2011.html#DonaldsonHKR11},
  username = {henningb},
  volume = 6887,
  year = 2011
}

@inproceedings{Donaldson2011,
  added-at = {2011-12-08T10:25:21.000+0100},
  author = {Donaldson, Alastair F. and Haller, Leopold and Kroening, Daniel and Rümmer, Philipp},
  biburl = {http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/henningb},
  booktitle = {SAS},
  crossref = {conf/sas/2011},
  editor = {Yahav, Eran},
  ee = {http://dx.doi.org/10.1007/978-3-642-23702-7_26},
  file = {:combined_k-induction.pdf:PDF},
  groups = {public},
  interhash = {36fcf0363e9051247faf1a49d5635570},
  intrahash = {d9e7c0ddc0e5365b06580d5f069b466c},
  isbn = {978-3-642-23701-0},
  keywords = {k-induction},
  pages = {351-368},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2011-12-08 10:25:21},
  title = {Software Verification Using k-Induction},
  url = {http://dblp.uni-trier.de/db/conf/sas/sas2011.html#DonaldsonHKR11},
  username = {henningb},
  volume = 6887,
  year = 2011
}

@inproceedings{conf/wise/HallerUH10,
  added-at = {2011-12-07T15:04:59.000+0100},
  author = {Haller, Armin and Umbrich, Jürgen and Hausenblas, Michael},
  biburl = {http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/maxirichter},
  booktitle = {WISE},
  crossref = {conf/wise/2010},
  editor = {Chen, Lei and Triantafillou, Peter and Suel, Torsten},
  ee = {http://dx.doi.org/10.1007/978-3-642-17616-6_36},
  interhash = {763cf2bfef35bac731301057e0265e25},
  intrahash = {2f66211764f2d2e49c89e12daf633f91},
  isbn = {978-3-642-17615-9},
  keywords = {rdf rdfa semantic_web webdevelopment},
  pages = {400-410},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  title = {RaUL: RDFa User Interface Language - A Data Processing Model for Web Applications.},
  url = {http://www.armin-haller.com/publications/raul-wise2010.pdf},
  volume = 6488,
  year = 2010
}

@article{journals/corr/abs-1006-1126,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Haller, Kirk and John, Audrey Lee-St. and Sitharam, Meera and Streinu, Ileana and White, Neil},
  biburl = {http://www.bibsonomy.org/bibtex/29c572b4edb36b9b232a1fc84261eefae/dblp},
  ee = {http://arxiv.org/abs/1006.1126},
  interhash = {4ab5c03a332ae737d0e5c45a9498f0af},
  intrahash = {9c572b4edb36b9b232a1fc84261eefae},
  journal = {CoRR},
  keywords = {dblp},
  title = {Body-and-cad Geometric Constraint Systems},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1006.html#abs-1006-1126},
  volume = {abs/1006.1126},
  year = 2010
}

@article{journals/corr/abs-1007-0917,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Farkas, Gyula and Genge, Béla and Haller, Piroska},
  biburl = {http://www.bibsonomy.org/bibtex/22005db9113e860e5666ab84269d8f104/dblp},
  ee = {http://arxiv.org/abs/1007.0917},
  interhash = {d466a48facd69b58e58f67fcc9662532},
  intrahash = {2005db9113e860e5666ab84269d8f104},
  journal = {CoRR},
  keywords = {dblp},
  title = {A Platform for Implementing Secure Wireless Ad Hoc Networks},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-0917},
  volume = {abs/1007.0917},
  year = 2010
}

@article{journals/corr/abs-0908-3083,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Genge, Béla and Haller, Piroska and Ratoi, Ovidiu and Ignat, Iosif},
  biburl = {http://www.bibsonomy.org/bibtex/2abea6bab3a4179e70f531c932f2a0134/dblp},
  ee = {http://arxiv.org/abs/0908.3083},
  interhash = {2f1b07c6925c108873de097524d4e827},
  intrahash = {abea6bab3a4179e70f531c932f2a0134},
  journal = {CoRR},
  keywords = {dblp},
  title = {Term-based composition of security protocols},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-3083},
  volume = {abs/0908.3083},
  year = 2009
}

@article{journals/corr/abs-0908-4325,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Genge, Béla and Ignat, Iosif and Haller, Piroska},
  biburl = {http://www.bibsonomy.org/bibtex/28c210e4cdb6b86edee6c280d2058ed45/dblp},
  ee = {http://arxiv.org/abs/0908.4325},
  interhash = {fa3189c103e34d643f7dcd7b32259812},
  intrahash = {8c210e4cdb6b86edee6c280d2058ed45},
  journal = {CoRR},
  keywords = {dblp},
  title = {Automated Composition of Security Protocols},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-4325},
  volume = {abs/0908.4325},
  year = 2009
}

@article{journals/corr/abs-0909-1639,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Genge, Béla and Haller, Piroska},
  biburl = {http://www.bibsonomy.org/bibtex/2ee3a23ae3365c6c00bfbfec7142e71d1/dblp},
  ee = {http://arxiv.org/abs/0909.1639},
  interhash = {1d12a1d728fce604b6bf1e6bed6ada10},
  intrahash = {ee3a23ae3365c6c00bfbfec7142e71d1},
  journal = {CoRR},
  keywords = {dblp},
  title = {Extending WS-Security to Implement Security Protocols for Web Services},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0909.html#abs-0909-1639},
  volume = {abs/0909.1639},
  year = 2009
}

@article{journals/corr/abs-0908-2871,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Genge, Béla and Haller, Piroska and Ignat, Iosif and Ratoi, Ovidiu},
  biburl = {http://www.bibsonomy.org/bibtex/20047ed98a6642aa7763345a4ecaba27d/dblp},
  ee = {http://arxiv.org/abs/0908.2871},
  interhash = {d4aa72589cb4d10b689786fbc25b2657},
  intrahash = {0047ed98a6642aa7763345a4ecaba27d},
  journal = {CoRR},
  keywords = {dblp},
  title = {Informal specification-based performance evaluation of security protocols},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-2871},
  volume = {abs/0908.2871},
  year = 2009
}

@article{journals/corr/abs-0908-3082,
  added-at = {2011-12-05T00:00:00.000+0100},
  author = {Ratoi, Ovidiu and Haller, Piroska and Salomie, Ioan and Genge, Béla},
  biburl = {http://www.bibsonomy.org/bibtex/292e7b2a54754fa18b8f3e00a977f2c2c/dblp},
  ee = {http://arxiv.org/abs/0908.3082},
  interhash = {fefa8bcaa5541dc1b7d536e989dfaeae},
  intrahash = {92e7b2a54754fa18b8f3e00a977f2c2c},
  journal = {CoRR},
  keywords = {dblp},
  title = {Component based platform for multimedia applications},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr0908.html#abs-0908-3082},
  volume = {abs/0908.3082},
  year = 2009
}