default search action
BibTeX records: Johan Bengtsson
@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 = {Tue, 18 Jun 2024 01:00:00 +0200}, 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} }
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.