BibSonomyburst/author/HallerBibSonomy RSS feed for /author/Haller2012-02-15T14:45:47+01:00http://www.bibsonomy.org/bibtex/201f0fd94ed1843632d2fcbdf3e57cf7e/dblpdblp2012-02-06T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Haller">Armin Haller</a>, and <a href="/author/Groza">Tudor Groza</a> </span><em>WISE, </em><em>volume 6997 of Lecture Notes in Computer Science, </em><em>page 338-340. </em><em>Springer, </em>(<em>2011</em>)Mon Feb 06 00:00:00 CET 2012WISEconf/wise/2011338-340Lecture Notes in Computer ScienceA Novel Approach for Interacting with Linked Open Data.69972011dblp http://www.bibsonomy.org/bibtex/23db32e37c5063b44f1ff46f800ad8aed/dblpdblp2012-01-27T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Moors">Adriaan Moors</a>, <a href="/author/Rompf">Tiark Rompf</a>, <a href="/author/Haller">Philipp Haller</a>, and <a href="/author/Odersky">Martin Odersky</a> </span><em>PEPM, </em><em>page 117-120. </em><em>ACM, </em>(<em>2012</em>)Fri Jan 27 00:00:00 CET 2012PEPMconf/pepm/2012117-120Scala-virtualized.2012dblp http://www.bibsonomy.org/bibtex/28c961af2ba8e957a2d3b8a22c153593a/dblpdblp2012-01-25T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Haller">Klaus Haller</a> </span><em>Business Process Management Workshops 2, </em><em>volume 100 of Lecture Notes in Business Information Processing, </em><em>page 398-410. </em><em>Springer, </em>(<em>2011</em>)Wed Jan 25 00:00:00 CET 2012Business Process Management Workshops (2)conf/bpm/2011w2398-410Lecture Notes in Business Information ProcessingData-Privacy Assessments for Application Landscapes: A Methodology.1002011dblp http://www.bibsonomy.org/bibtex/20d3d20cb536bb08fc0477d6a31fe0bcc/dblpdblp2012-01-23T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Haller">István Haller</a>, and <a href="/author/Nedevschi">Sergiu Nedevschi</a> </span><em>IEEE Transactions on Image Processing</em> <em>21(2):889-898</em> (<em>2012</em>)Mon Jan 23 00:00:00 CET 2012IEEE Transactions on Image Processing2889-898Design of Interpolation Functions for Subpixel-Accuracy Stereo-Vision Systems.212012dblp http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/fgimpelfgimpel2012-01-18T15:56:42+01:00rdf rdfa semantic_web webdevelopment <span class="authorEditorList"><a href="/author/Haller">Armin Haller</a>, <a href="/author/Umbrich">Jürgen Umbrich</a>, and <a href="/author/Hausenblas">Michael Hausenblas</a> </span><em>WISE, </em><em>volume 6488 of Lecture Notes in Computer Science, </em><em>page 400-410. </em><em>Springer, </em>(<em>2010</em>)Wed Jan 18 15:56:42 CET 2012WISEconf/wise/2010400-410Lecture Notes in Computer ScienceRaUL: RDFa User Interface Language - A Data Processing Model for Web Applications.64882010rdf rdfa semantic_web webdevelopment http://www.bibsonomy.org/bibtex/20052b7fdd060e4632fde3400f6748e25/dblpdblp2012-01-06T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Pantilie">Cosmin D. Pantilie</a>, <a href="/author/Haller">István Haller</a>, <a href="/author/Drulea">Marius Drulea</a>, and <a href="/author/Nedevschi">Sergiu Nedevschi</a> </span><em>ISPDC, </em><em>page 79-85. </em><em>IEEE, </em>(<em>2011</em>)Fri Jan 06 00:00:00 CET 2012ISPDCconf/ispdc/201179-85Real-Time Image Rectification and Stereo Reconstruction System on the GPU.2011dblp http://www.bibsonomy.org/bibtex/23496e1bba8c2645aa4f49d494308295a/riedelriedel2012-01-03T14:05:35+01:00myown <span class="authorEditorList"><a href="/author/Decker">Christian Decker</a>, <a href="/author/Riedel">Till Riedel</a>, <a href="/author/Beigl">Michael Beigl</a>, <a href="/author/de Souza">Luciana Moreira Sa de Souza</a>, <a href="/author/Spiess">Patrik Spiess</a>, <a href="/author/Müller">Jens Müller</a>, and <a href="/author/Haller">Stephan Haller</a> </span><em>Proceedings of IE 07: 3rd International Conference on Intelligent Environments, Ulm, Germany, </em><em>page 40–47. </em>(<em>2007</em>)Tue Jan 03 14:05:35 CET 2012Proceedings of IE 07: 3rd International Conference on Intelligent Environments, Ulm, GermanyIE200740–47Collaborative Business Items2007myown 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.http://www.bibsonomy.org/bibtex/2cade9991ce16f405f324801177a76360/dblpdblp2012-01-03T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Bullinger">Angelika Cosima Bullinger</a>, <a href="/author/Haller">Jörg Haller</a>, and <a href="/author/Möslein">Kathrin Möslein</a> </span><em>AMCIS, </em><em>page 540. </em><em>Association for Information Systems, </em>(<em>2009</em>)Tue Jan 03 00:00:00 CET 2012AMCISconf/amcis/2009540Innovation Mobs - Unlocking the Innovation Potential of Virtual Communities.2009dblp http://www.bibsonomy.org/bibtex/29e4b75be8279dc1bfbb4f8c3ac1f144e/dblpdblp2011-12-29T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Spieß">Patrik Spieß</a>, <a href="/author/Bornhövd">Christof Bornhövd</a>, <a href="/author/Lin">Tao Lin</a>, <a href="/author/Haller">Stephan Haller</a>, and <a href="/author/Schaper">Joachim Schaper</a> </span><em>J. Enterprise Inf. Management</em> <em>20(3):356-370</em> (<em>2007</em>)Thu Dec 29 00:00:00 CET 2011J. Enterprise Inf. Management3356-370Going beyond auto-ID: a service-oriented smart items infrastructure.202007dblp http://www.bibsonomy.org/bibtex/204fd8d468c8c1e3ca60cce4ffbb8e4cb/dblpdblp2011-12-19T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Llido">R. Llido</a>, <a href="/author/Gomez">J. Gomez</a>, <a href="/author/Goubier">Vincent Goubier</a>, <a href="/author/Froidevaux">N. Froidevaux</a>, <a href="/author/Dufayard">L. Dufayard</a>, <a href="/author/Haller">G. Haller</a>, <a href="/author/Pouget">Vincent Pouget</a>, and <a href="/author/Lewis">Dean Lewis</a> </span><em>Microelectronics Reliability</em> <em>51(9-11):1658-1661</em> (<em>2011</em>)Mon Dec 19 00:00:00 CET 2011Microelectronics Reliability9-111658-1661Photoelectric Laser Stimulation applied to Latch-Up phenomenon and localization of parasitic transistors in an industrial failure analysis laboratory.512011dblp http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/clemensbaierclemensbaier2011-12-08T14:24:14+01:00induction k-induction software verification <span class="authorEditorList"><a href="/author/Donaldson">Alastair F. Donaldson</a>, <a href="/author/Haller">Leopold Haller</a>, <a href="/author/Kroening">Daniel Kroening</a>, and <a href="/author/Rümmer">Philipp Rümmer</a> </span><em>SAS, </em><em>volume 6887 of Lecture Notes in Computer Science, </em><em>page 351-368. </em><em>Springer, </em>(<em>2011</em>)Thu Dec 08 14:24:14 CET 2011SASconf/sas/2011351-368Lecture Notes in Computer ScienceSoftware Verification Using k-Induction68872011induction k-induction software verification 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.http://www.bibsonomy.org/bibtex/29b55d3b1153e00e1703e13f6a015cc46/henningbhenningb2011-12-08T10:25:21+01:00k-induction <span class="authorEditorList"><a href="/author/Donaldson">Alastair F. Donaldson</a>, <a href="/author/Haller">Leopold Haller</a>, <a href="/author/Kroening">Daniel Kroening</a>, and <a href="/author/Rümmer">Philipp Rümmer</a> </span><em>SAS, </em><em>volume 6887 of Lecture Notes in Computer Science, </em><em>page 351-368. </em><em>Springer, </em>(<em>2011</em>)Thu Dec 08 10:25:21 CET 2011SASconf/sas/2011351-368Lecture Notes in Computer ScienceSoftware Verification Using k-Induction68872011k-induction http://www.bibsonomy.org/bibtex/22f66211764f2d2e49c89e12daf633f91/maxirichtermaxirichter2011-12-07T15:04:59+01:00rdf rdfa semantic_web webdevelopment <span class="authorEditorList"><a href="/author/Haller">Armin Haller</a>, <a href="/author/Umbrich">Jürgen Umbrich</a>, and <a href="/author/Hausenblas">Michael Hausenblas</a> </span><em>WISE, </em><em>volume 6488 of Lecture Notes in Computer Science, </em><em>page 400-410. </em><em>Springer, </em>(<em>2010</em>)Wed Dec 07 15:04:59 CET 2011WISEconf/wise/2010400-410Lecture Notes in Computer ScienceRaUL: RDFa User Interface Language - A Data Processing Model for Web Applications.64882010rdf rdfa semantic_web webdevelopment http://www.bibsonomy.org/bibtex/29c572b4edb36b9b232a1fc84261eefae/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Haller">Kirk Haller</a>, <a href="/author/John">Audrey Lee-St. John</a>, <a href="/author/Sitharam">Meera Sitharam</a>, <a href="/author/Streinu">Ileana Streinu</a>, and <a href="/author/White">Neil White</a> </span><em>CoRR</em> (<em>2010</em>)Mon Dec 05 00:00:00 CET 2011CoRRBody-and-cad Geometric Constraint Systemsabs/1006.11262010dblp http://www.bibsonomy.org/bibtex/22005db9113e860e5666ab84269d8f104/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Farkas">Gyula Farkas</a>, <a href="/author/Genge">Béla Genge</a>, and <a href="/author/Haller">Piroska Haller</a> </span><em>CoRR</em> (<em>2010</em>)Mon Dec 05 00:00:00 CET 2011CoRRA Platform for Implementing Secure Wireless Ad Hoc Networksabs/1007.09172010dblp http://www.bibsonomy.org/bibtex/2abea6bab3a4179e70f531c932f2a0134/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Genge">Béla Genge</a>, <a href="/author/Haller">Piroska Haller</a>, <a href="/author/Ratoi">Ovidiu Ratoi</a>, and <a href="/author/Ignat">Iosif Ignat</a> </span><em>CoRR</em> (<em>2009</em>)Mon Dec 05 00:00:00 CET 2011CoRRTerm-based composition of security protocolsabs/0908.30832009dblp http://www.bibsonomy.org/bibtex/28c210e4cdb6b86edee6c280d2058ed45/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Genge">Béla Genge</a>, <a href="/author/Ignat">Iosif Ignat</a>, and <a href="/author/Haller">Piroska Haller</a> </span><em>CoRR</em> (<em>2009</em>)Mon Dec 05 00:00:00 CET 2011CoRRAutomated Composition of Security Protocolsabs/0908.43252009dblp http://www.bibsonomy.org/bibtex/2ee3a23ae3365c6c00bfbfec7142e71d1/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Genge">Béla Genge</a>, and <a href="/author/Haller">Piroska Haller</a> </span><em>CoRR</em> (<em>2009</em>)Mon Dec 05 00:00:00 CET 2011CoRRExtending WS-Security to Implement Security Protocols for Web Servicesabs/0909.16392009dblp http://www.bibsonomy.org/bibtex/20047ed98a6642aa7763345a4ecaba27d/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Genge">Béla Genge</a>, <a href="/author/Haller">Piroska Haller</a>, <a href="/author/Ignat">Iosif Ignat</a>, and <a href="/author/Ratoi">Ovidiu Ratoi</a> </span><em>CoRR</em> (<em>2009</em>)Mon Dec 05 00:00:00 CET 2011CoRRInformal specification-based performance evaluation of security protocolsabs/0908.28712009dblp http://www.bibsonomy.org/bibtex/292e7b2a54754fa18b8f3e00a977f2c2c/dblpdblp2011-12-05T00:00:00+01:00dblp <span class="authorEditorList"><a href="/author/Ratoi">Ovidiu Ratoi</a>, <a href="/author/Haller">Piroska Haller</a>, <a href="/author/Salomie">Ioan Salomie</a>, and <a href="/author/Genge">Béla Genge</a> </span><em>CoRR</em> (<em>2009</em>)Mon Dec 05 00:00:00 CET 2011CoRRComponent based platform for multimedia applicationsabs/0908.30822009dblp