BibTeX records: Johan Bengtsson

download as .bib file

@inproceedings{DBLP:conf/cain/BorgBOHGT22,
  author       = {Markus Borg and
                  Johan Bengtsson and
                  Harald {\"{O}}sterling and
                  Alexander Hagelborn and
                  Isabella Gagner and
                  Piotr Tomaszewski},
  editor       = {Ivica Crnkovic},
  title        = {Quality assurance of generative dialog models in an evolving conversational
                  agent used for Swedish language practice},
  booktitle    = {Proceedings of the 1st International Conference on {AI} Engineering:
                  Software Engineering for AI, {CAIN} 2022, Pittsburgh, Pennsylvania,
                  May 16-17, 2022},
  pages        = {22--32},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3522664.3528592},
  doi          = {10.1145/3522664.3528592},
  timestamp    = {Mon, 24 Jul 2023 10:48:10 +0200},
  biburl       = {https://dblp.org/rec/conf/cain/BorgBOHGT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2203-15414,
  author       = {Markus Borg and
                  Johan Bengtsson and
                  Harald {\"{O}}sterling and
                  Alexander Hagelborn and
                  Isabella Gagner and
                  Piotr Tomaszewski},
  title        = {Quality Assurance of Generative Dialog Models in an Evolving Conversational
                  Agent Used for Swedish Language Practice},
  journal      = {CoRR},
  volume       = {abs/2203.15414},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2203.15414},
  doi          = {10.48550/ARXIV.2203.15414},
  eprinttype    = {arXiv},
  eprint       = {2203.15414},
  timestamp    = {Mon, 04 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2203-15414.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@misc{DBLP:data/10/SchnizerB21,
  author       = {Pierre Schnizer and
                  Johan Bengtsson},
  title        = {Magnets for low Emittance Rings: An Overview},
  publisher    = {{IEEE} DataPort},
  year         = {2021},
  month        = nov,
  howpublished = {\url{https://doi.org/10.21227/ydeb-dh47}},
  note         = {Accessed on YYYY-MM-DD.},
  url          = {https://doi.org/10.21227/ydeb-dh47},
  doi          = {10.21227/YDEB-DH47},
  timestamp    = {Wed, 15 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/data/10/SchnizerB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijcon/BengtssonSJTJ07,
  author       = {Johan Bengtsson and
                  Petter Strandh and
                  Rolf Johansson and
                  Per Tunestal and
                  Bengt Johansson},
  title        = {Hybrid modelling of homogeneous charge compression ignition {(HCCI)}
                  engine dynamics - a survey},
  journal      = {Int. J. Control},
  volume       = {80},
  number       = {11},
  pages        = {1814--1847},
  year         = {2007},
  url          = {https://doi.org/10.1080/00207170701484869},
  doi          = {10.1080/00207170701484869},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijcon/BengtssonSJTJ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amcc/BengtssonSJTJ04,
  author       = {Johan Bengtsson and
                  Petter Strandh and
                  Rolf Johansson and
                  Per Tunestal and
                  Bengt Johansson},
  title        = {Control of homogeneous charge compression ignition {(HCCI)} engine
                  dynamics},
  booktitle    = {Proceedings of the 2004 American Control Conference, {ACC} 2004, Boston,
                  MA, USA, June 30 - July 2, 2004},
  pages        = {4048--4053},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.23919/ACC.2004.1383942},
  doi          = {10.23919/ACC.2004.1383942},
  timestamp    = {Tue, 06 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/amcc/BengtssonSJTJ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cdc/BengtssonGS04,
  author       = {Johan Bengtsson and
                  Magnus G{\"{a}}fvert and
                  Petter Strandh},
  title        = {Modeling of {HCCI} engine combustion for control analysis},
  booktitle    = {43rd {IEEE} Conference on Decision and Control, {CDC} 2004, Nassau,
                  Bahamas, December 14-17, 2004},
  pages        = {1682--1687},
  publisher    = {{IEEE}},
  year         = {2004},
  url          = {https://doi.org/10.1109/CDC.2004.1430286},
  doi          = {10.1109/CDC.2004.1430286},
  timestamp    = {Fri, 04 Mar 2022 13:24:31 +0100},
  biburl       = {https://dblp.org/rec/conf/cdc/BengtssonGS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ac/BengtssonY03,
  author       = {Johan Bengtsson and
                  Wang Yi},
  editor       = {J{\"{o}}rg Desel and
                  Wolfgang Reisig and
                  Grzegorz Rozenberg},
  title        = {Timed Automata: Semantics, Algorithms and Tools},
  booktitle    = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This
                  tutorial volume originates from the 4th Advanced Course on Petri Nets,
                  {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003.
                  In addition to lectures given at {ACPN} 2003, additional chapters
                  have been commissioned]},
  series       = {Lecture Notes in Computer Science},
  volume       = {3098},
  pages        = {87--124},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-27755-2\_3},
  doi          = {10.1007/978-3-540-27755-2\_3},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/ac/BengtssonY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfem/BengtssonY03,
  author       = {Johan Bengtsson and
                  Wang Yi},
  editor       = {Jin Song Dong and
                  Jim Woodcock},
  title        = {On Clock Difference Constraints and Termination in Reachability Analysis
                  of Timed Automata},
  booktitle    = {Formal Methods and Software Engineering, 5th International Conference
                  on Formal Engineering Methods, {ICFEM} 2003, Singapore, November 5-7,
                  2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2885},
  pages        = {491--503},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39893-6\_28},
  doi          = {10.1007/978-3-540-39893-6\_28},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/BengtssonY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/OlssonBRJ03,
  author       = {Tomas Olsson and
                  Johan Bengtsson and
                  Anders Robertsson and
                  Rolf Johansson},
  title        = {Visual position tracking using dual quatemions with hand-eye motion
                  constraints},
  booktitle    = {Proceedings of the 2003 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2003, September 14-19, 2003, Taipei, Taiwan},
  pages        = {3491--3496},
  publisher    = {{IEEE}},
  year         = {2003},
  url          = {https://doi.org/10.1109/ROBOT.2003.1242130},
  doi          = {10.1109/ROBOT.2003.1242130},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/OlssonBRJ03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jlp/BengtssonGKLLPY02,
  author       = {Johan Bengtsson and
                  W. O. David Griffioen and
                  K{\aa}re J. Kristoffersen and
                  Kim Guldstrand Larsen and
                  Fredrik Larsson and
                  Paul Pettersson and
                  Wang Yi},
  title        = {Automated verification of an audio-control protocol using {UPPAAL}},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {52-53},
  pages        = {163--181},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1567-8326(02)00036-X},
  doi          = {10.1016/S1567-8326(02)00036-X},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/BengtssonGKLLPY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ftrtft/BehrmannBDLPY02,
  author       = {Gerd Behrmann and
                  Johan Bengtsson and
                  Alexandre David and
                  Kim Guldstrand Larsen and
                  Paul Pettersson and
                  Wang Yi},
  editor       = {Werner Damm and
                  Ernst{-}R{\"{u}}diger Olderog},
  title        = {{UPPAAL} Implementation Secrets},
  booktitle    = {Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International
                  Symposium, {FTRTFT} 2002, Co-sponsored by {IFIP} {WG} 2.2, Oldenburg,
                  Germany, September 9-12, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2469},
  pages        = {3--22},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45739-9\_1},
  doi          = {10.1007/3-540-45739-9\_1},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/ftrtft/BehrmannBDLPY02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icra/OlssonBJM02,
  author       = {Tomas Olsson and
                  Johan Bengtsson and
                  Rolf Johansson and
                  Henrik Malm},
  title        = {Force Control and Visual Servoing using Planar Surface Identification},
  booktitle    = {Proceedings of the 2002 {IEEE} International Conference on Robotics
                  and Automation, {ICRA} 2002, May 11-15, 2002, Washington, DC, {USA}},
  pages        = {4211--4216},
  publisher    = {{IEEE}},
  year         = {2002},
  url          = {https://doi.org/10.1109/ROBOT.2002.1014414},
  doi          = {10.1109/ROBOT.2002.1014414},
  timestamp    = {Tue, 08 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icra/OlssonBJM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/movep/AmnellBBDDFHJLMPWY00,
  author       = {Tobias Amnell and
                  Gerd Behrmann and
                  Johan Bengtsson and
                  Pedro R. D'Argenio and
                  Alexandre David and
                  Ansgar Fehnker and
                  Thomas Hune and
                  Bertrand Jeannet and
                  Kim Guldstrand Larsen and
                  M. Oliver M{\"{o}}ller and
                  Paul Pettersson and
                  Carsten Weise and
                  Wang Yi},
  editor       = {Franck Cassez and
                  Claude Jard and
                  Brigitte Rozoy and
                  Mark Dermot Ryan},
  title        = {{UPPAAL} - Now, Next, and Future},
  booktitle    = {Modeling and Verification of Parallel Processes, 4th Summer School,
                  {MOVEP} 2000, Nantes, France, June 19-23, 2000},
  series       = {Lecture Notes in Computer Science},
  volume       = {2067},
  pages        = {99--124},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-45510-8\_4},
  doi          = {10.1007/3-540-45510-8\_4},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/movep/AmnellBBDDFHJLMPWY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/concur/BengtssonJLY98,
  author       = {Johan Bengtsson and
                  Bengt Jonsson and
                  Johan Lilius and
                  Wang Yi},
  editor       = {Davide Sangiorgi and
                  Robert de Simone},
  title        = {Partial Order Reductions for Timed Systems},
  booktitle    = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
                  France, September 8-11, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1466},
  pages        = {485--500},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/BFb0055643},
  doi          = {10.1007/BFB0055643},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/BengtssonJLY98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cav/BengtssonGKLLPY96,
  author       = {Johan Bengtsson and
                  W. O. David Griffioen and
                  K{\aa}re J. Kristoffersen and
                  Kim Guldstrand Larsen and
                  Fredrik Larsson and
                  Paul Pettersson and
                  Wang Yi},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger},
  title        = {Verification of an Audio Protocol with Bus Collision Using {UPPAAL}},
  booktitle    = {Computer Aided Verification, 8th International Conference, {CAV} '96,
                  New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1102},
  pages        = {244--256},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61474-5\_73},
  doi          = {10.1007/3-540-61474-5\_73},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/cav/BengtssonGKLLPY96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tacas/BengtssonLLPY96,
  author       = {Johan Bengtsson and
                  Kim Guldstrand Larsen and
                  Fredrik Larsson and
                  Paul Pettersson and
                  Wang Yi},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {{UPPAAL} in 1995},
  booktitle    = {Tools and Algorithms for Construction and Analysis of Systems, Second
                  International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
                  1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1055},
  pages        = {431--434},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61042-1\_66},
  doi          = {10.1007/3-540-61042-1\_66},
  timestamp    = {Sun, 02 Jun 2019 21:19:27 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/BengtssonLLPY96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/BengtssonLLPY95,
  author       = {Johan Bengtsson and
                  Kim Guldstrand Larsen and
                  Fredrik Larsson and
                  Paul Pettersson and
                  Wang Yi},
  editor       = {Rajeev Alur and
                  Thomas A. Henzinger and
                  Eduardo D. Sontag},
  title        = {{UPPAAL} - a Tool Suite for Automatic Verification of Real-Time Systems},
  booktitle    = {Hybrid Systems {III:} Verification and Control, Proceedings of the
                  {DIMACS/SYCON} Workshop on Verification and Control of Hybrid Systems,
                  October 22-25, 1995, Ruttgers University, New Brunswick, NJ, {USA}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1066},
  pages        = {232--243},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/BFb0020949},
  doi          = {10.1007/BFB0020949},
  timestamp    = {Tue, 14 May 2019 10:00:42 +0200},
  biburl       = {https://dblp.org/rec/conf/hybrid/BengtssonLLPY95.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.