default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kasper Søe Luckow
@article{DBLP:journals/stvr/LuckowKP20,
author = {Kasper S{\o}e Luckow and
Rody Kersten and
Corina S. Pasareanu},
title = {Complexity vulnerability analysis using symbolic execution},
journal = {Softw. Test. Verification Reliab.},
volume = {30},
number = {7-8},
year = {2020},
url = {https://doi.org/10.1002/stvr.1716},
doi = {10.1002/STVR.1716},
timestamp = {Sun, 22 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/LuckowKP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BackesBBBCGJLMM20,
author = {John Backes and
Ulises Berrueco and
Tyler Bray and
Daniel Brim and
Byron Cook and
Andrew Gacek and
Ranjit Jhala and
Kasper S{\o}e Luckow and
Sean McLaughlin and
Madhav Menon and
Daniel Peebles and
Ujjwal Pugalia and
Neha Rungta and
Cole Schlesinger and
Adam Schodde and
Anvesh Tanuku and
Carsten Varming and
Deepa Viswanathan},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Stratified Abstraction of Access Control Policies},
booktitle = {Computer Aided Verification - 32nd International Conference, {CAV}
2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12224},
pages = {165--176},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-53288-8\_9},
doi = {10.1007/978-3-030-53288-8\_9},
timestamp = {Wed, 12 Aug 2020 15:15:42 +0200},
biburl = {https://dblp.org/rec/conf/cav/BackesBBBCGJLMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ac/PasareanuKLP19,
author = {Corina S. Pasareanu and
Rody Kersten and
Kasper S{\o}e Luckow and
Quoc{-}Sang Phan},
title = {Chapter Six - Symbolic Execution and Recent Applications to Worst-Case
Execution, Load Testing, and Security Analysis},
journal = {Adv. Comput.},
volume = {113},
pages = {289--314},
year = {2019},
url = {https://doi.org/10.1016/bs.adcom.2018.10.004},
doi = {10.1016/BS.ADCOM.2018.10.004},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ac/PasareanuKLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/BackesBCGLRSSTV19,
author = {John Backes and
Pauline Bolignano and
Byron Cook and
Andrew Gacek and
Kasper S{\o}e Luckow and
Neha Rungta and
Martin Sch{\"{a}}f and
Cole Schlesinger and
Rima Tanash and
Carsten Varming and
Michael W. Whalen},
title = {One-Click Formal Methods},
journal = {{IEEE} Softw.},
volume = {36},
number = {6},
pages = {61--65},
year = {2019},
url = {https://doi.org/10.1109/MS.2019.2930609},
doi = {10.1109/MS.2019.2930609},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/BackesBCGLRSSTV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/MalacariaKPPL18,
author = {Pasquale Malacaria and
M. H. R. Khouzani and
Corina S. Pasareanu and
Quoc{-}Sang Phan and
Kasper S{\o}e Luckow},
title = {Symbolic Side-Channel Analysis for Probabilistic Programs},
booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
United Kingdom, July 9-12, 2018},
pages = {313--327},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CSF.2018.00030},
doi = {10.1109/CSF.2018.00030},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/MalacariaKPPL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/BackesBCDGLRTV18,
author = {John Backes and
Pauline Bolignano and
Byron Cook and
Catherine Dodge and
Andrew Gacek and
Kasper S{\o}e Luckow and
Neha Rungta and
Oksana Tkachuk and
Carsten Varming},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {Semantic-based Automated Reasoning for {AWS} Access Policies using
{SMT}},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602994},
doi = {10.23919/FMCAD.2018.8602994},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/BackesBCDGLRTV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DimjasevicHLR18,
author = {Marko Dimjasevic and
Falk Howar and
Kasper S{\o}e Luckow and
Zvonimir Rakamaric},
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Study of Integrating Random and Symbolic Testing for Object-Oriented
Software},
booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
pages = {89--109},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9\_6},
doi = {10.1007/978-3-319-98938-9\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/DimjasevicHLR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/LuckowPV18,
author = {Kasper S{\o}e Luckow and
Corina S. Pasareanu and
Willem Visser},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {Monte Carlo Tree Search for Finding Costly Paths in Programs},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {123--138},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_8},
doi = {10.1007/978-3-319-92970-5\_8},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/LuckowPV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Balasubramanian18,
author = {Daniel Balasubramanian and
Dmitriy Kostyuchenko and
Kasper S{\o}e Luckow and
Rody Kersten and
Gabor Karsai},
editor = {Einar Broch Johnsen and
Ina Schaefer},
title = {A Cloud-Based Execution Framework for Program Analysis},
booktitle = {Software Engineering and Formal Methods - 16th International Conference,
{SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10886},
pages = {139--154},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-92970-5\_9},
doi = {10.1007/978-3-319-92970-5\_9},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/Balasubramanian18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/MalacariaKPPL18,
author = {Pasquale Malacaria and
M. H. R. Khouzani and
Corina S. Pasareanu and
Quoc{-}Sang Phan and
Kasper S{\o}e Luckow},
title = {Symbolic Side-Channel Analysis for Probabilistic Programs},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {329},
year = {2018},
url = {https://eprint.iacr.org/2018/329},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/MalacariaKPPL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/LuckowTK17,
author = {Kasper S{\o}e Luckow and
Bent Thomsen and
Stephan Erbs Korsholm},
title = {HVM\({}_{\mbox{TP}}\): {A} time predictable and portable java virtual
machine for hard real-time embedded systems},
journal = {Concurr. Comput. Pract. Exp.},
volume = {29},
number = {22},
year = {2017},
url = {https://doi.org/10.1002/cpe.3828},
doi = {10.1002/CPE.3828},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/LuckowTK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/RavnTLLB17,
author = {Anders P. Ravn and
Bent Thomsen and
Kasper S{\o}e Luckow and
Lone Leth and
Thomas B{\o}gholm},
editor = {Luca Aceto and
Giorgio Bacci and
Giovanni Bacci and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Axel Legay and
Radu Mardare},
title = {Firm Deadline Checking of Safety-Critical Java Applications with Statistical
Model Checking},
booktitle = {Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand
Larsen on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10460},
pages = {269--288},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63121-9\_14},
doi = {10.1007/978-3-319-63121-9\_14},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/RavnTLLB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/KerstenLP17,
author = {Rody Kersten and
Kasper S{\o}e Luckow and
Corina S. Pasareanu},
editor = {Bhavani Thuraisingham and
David Evans and
Tal Malkin and
Dongyan Xu},
title = {{POSTER:} AFL-based Fuzzing for Java with Kelinci},
booktitle = {Proceedings of the 2017 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2017, Dallas, TX, USA, October 30 -
November 03, 2017},
pages = {2511--2513},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3133956.3138820},
doi = {10.1145/3133956.3138820},
timestamp = {Wed, 29 Jun 2022 15:37:41 +0200},
biburl = {https://dblp.org/rec/conf/ccs/KerstenLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LuckowKP17,
author = {Kasper S{\o}e Luckow and
Rody Kersten and
Corina S. Pasareanu},
title = {Symbolic Complexity Analysis Using Context-Preserving Histories},
booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2017, Tokyo, Japan, March 13-17, 2017},
pages = {58--68},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICST.2017.13},
doi = {10.1109/ICST.2017.13},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icst/LuckowKP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/FromherzLP16,
author = {Aymeric Fromherz and
Kasper S{\o}e Luckow and
Corina S. Pasareanu},
title = {Symbolic Arrays in Symbolic PathFinder},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {6},
pages = {1--5},
year = {2016},
url = {https://doi.org/10.1145/3011286.3011296},
doi = {10.1145/3011286.3011296},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/FromherzLP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MuesHLKR16,
author = {Malte Mues and
Falk Howar and
Kasper S{\o}e Luckow and
Temesghen Kahsai and
Zvonimir Rakamaric},
title = {Releasing the {PSYCO:} Using Symbolic Search in Interface Generation
for Java},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {41},
number = {6},
pages = {1--5},
year = {2016},
url = {https://doi.org/10.1145/3011286.3011298},
doi = {10.1145/3011286.3011298},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigsoft/MuesHLKR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/MorrisPLMMKK16,
author = {Robert Morris and
Corina S. Pasareanu and
Kasper S{\o}e Luckow and
Waqar Malik and
Hang Ma and
T. K. Satish Kumar and
Sven Koenig},
editor = {Daniele Magazzeni and
Scott Sanner and
Sylvie Thi{\'{e}}baux},
title = {Planning, Scheduling and Monitoring for Airport Surface Operations},
booktitle = {Planning for Hybrid Systems, Papers from the 2016 {AAAI} Workshop,
Phoenix, Arizona, USA, February 13, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-12}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/WS/AAAIW16/paper/view/12611},
timestamp = {Tue, 05 Sep 2023 08:59:27 +0200},
biburl = {https://dblp.org/rec/conf/aaai/MorrisPLMMKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/LuckowP16,
author = {Kasper S{\o}e Luckow and
Corina S. Pasareanu},
title = {Log2model: inferring behavioral models from log data},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
pages = {25--29},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HLDVT.2016.7748251},
doi = {10.1109/HLDVT.2016.7748251},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/LuckowP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LuckowDGHIKRR16,
author = {Kasper S{\o}e Luckow and
Marko Dimjasevic and
Dimitra Giannakopoulou and
Falk Howar and
Malte Isberner and
Temesghen Kahsai and
Zvonimir Rakamaric and
Vishwanath Raman},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {JDart: {A} Dynamic Symbolic Analysis Framework},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {442--459},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_26},
doi = {10.1007/978-3-662-49674-9\_26},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LuckowDGHIKRR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejes/LuckowPT15,
author = {Kasper S{\o}e Luckow and
Corina S. Pasareanu and
Bent Thomsen},
title = {Symbolic execution and timed automata model checking for timing analysis
of Java real-time systems},
journal = {{EURASIP} J. Embed. Syst.},
volume = {2015},
pages = {2},
year = {2015},
url = {https://doi.org/10.1186/s13639-015-0020-8},
doi = {10.1186/S13639-015-0020-8},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ejes/LuckowPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ThomsenLLB15,
author = {Bent Thomsen and
Kasper S{\o}e Luckow and
Lone Leth Thomsen and
Thomas B{\o}gholm},
editor = {Chiara Bodei and
Gian{-}Luigi Ferrari and
Corrado Priami},
title = {From Safety Critical Java Programs to Timed Process Models},
booktitle = {Programming Languages with Applications to Biology and Security -
Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9465},
pages = {319--338},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25527-9\_21},
doi = {10.1007/978-3-319-25527-9\_21},
timestamp = {Fri, 23 Jun 2023 22:30:53 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ThomsenLLB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/LuckowP14,
author = {Kasper S{\o}e Luckow and
Corina S. Pasareanu},
title = {Symbolic PathFinder v7},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {39},
number = {1},
pages = {1--5},
year = {2014},
url = {https://doi.org/10.1145/2557833.2560571},
doi = {10.1145/2557833.2560571},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/LuckowP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/LuckowTK14,
author = {Kasper S{\o}e Luckow and
Bent Thomsen and
Stephan Erbs Korsholm},
editor = {Wolfgang Puffitsch},
title = {{HVMTP:} {A} Time Predictable and Portable Java Virtual Machine for
Hard Real-Time Embedded Systems},
booktitle = {Proceedings of the 12th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2014, Niagara Falls, NY,
USA, October 13-14, 2014},
pages = {107},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661020.2661022},
doi = {10.1145/2661020.2661022},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/LuckowTK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LuckowPDFV14,
author = {Kasper S{\o}e Luckow and
Corina S. Pasareanu and
Matthew B. Dwyer and
Antonio Filieri and
Willem Visser},
editor = {Ivica Crnkovic and
Marsha Chechik and
Paul Gr{\"{u}}nbacher},
title = {Exact and approximate probabilistic symbolic execution for nondeterministic
programs},
booktitle = {{ACM/IEEE} International Conference on Automated Software Engineering,
{ASE} '14, Vasteras, Sweden - September 15 - 19, 2014},
pages = {575--586},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2642937.2643011},
doi = {10.1145/2642937.2643011},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LuckowPDFV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/BogholmFHJLRST13,
author = {Thomas B{\o}gholm and
Christian Frost and
Ren{\'{e}} Rydhof Hansen and
Casper Svenning Jensen and
Kasper S{\o}e Luckow and
Anders P. Ravn and
Hans S{\o}ndergaard and
Bent Thomsen},
title = {Towards harnessing theories through tool support for hard real-time
Java programming},
journal = {Innov. Syst. Softw. Eng.},
volume = {9},
number = {1},
pages = {17--28},
year = {2013},
url = {https://doi.org/10.1007/s11334-012-0185-4},
doi = {10.1007/S11334-012-0185-4},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/BogholmFHJLRST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/LuckowBTL13,
author = {Kasper S{\o}e Luckow and
Thomas B{\o}gholm and
Bent Thomsen and
Kim Guldstrand Larsen},
editor = {Fridtjof Siebert and
Kelvin Nilsen},
title = {TetaSARTS: a tool for modular timing analysis of safety critical Java
systems},
booktitle = {The 11th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '13, Karlsruhe, Germany, October 9-11,
2013},
pages = {11--20},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2512989.2512992},
doi = {10.1145/2512989.2512992},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/LuckowBTL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/FrostJLT11,
author = {Christian Frost and
Casper Svenning Jensen and
Kasper S{\o}e Luckow and
Bent Thomsen},
editor = {Andy J. Wellings and
Anders P. Ravn},
title = {{WCET} analysis of Java bytecode featuring common execution environments},
booktitle = {The 9th International Workshop on Java Technologies for Real-time
and Embedded Systems, {JTRES} '11, York, United Kingdom, September
26-28, 2011},
pages = {30--39},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2043910.2043916},
doi = {10.1145/2043910.2043916},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/FrostJLT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilight/FrostJLTH11,
author = {Christian Frost and
Casper Svenning Jensen and
Kasper S{\o}e Luckow and
Bent Thomsen and
Ren{\'{e}} Hansen},
editor = {Javier Del Ser and
Eduard A. Jorswieck and
Joaqu{\'{\i}}n M{\'{\i}}guez and
Marja Matinmikko and
Daniel P. Palomar and
Sancho Salcedo{-}Sanz and
Sergio Gil{-}Lopez},
title = {Bluetooth Indoor Positioning System Using Fingerprinting},
booktitle = {Mobile Lightweight Wireless Systems - Third International {ICST} Conference,
{MOBILIGHT} 2011, Bilbao, Spain, May 9-10, 2011, Revised Selected
Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {81},
pages = {136--150},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29479-2\_11},
doi = {10.1007/978-3-642-29479-2\_11},
timestamp = {Sun, 04 Jun 2017 10:08:04 +0200},
biburl = {https://dblp.org/rec/conf/mobilight/FrostJLTH11.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.
last updated on 2024-08-16 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
