1. A mesoscopic model for large-scale simulation of pedestrian dynamics. (August 2018) Authors: Tordeux, Antoine; Lämmel, Gregor; Hänseler, Flurin S.; Steffen, Bernhard Journal: Transportation research Issue: Volume 93(2018) Page Start: 128 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Active learning for extended finite state machines. (April 2016) Authors: Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard Journal: Formal aspects of computing Issue: Volume 28:Number 2(2016) Page Start: 233 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Active learning for extended finite state machines. (April 2016) Authors: Cassel, Sofia; Howar, Falk; Jonsson, Bengt; Steffen, Bernhard Journal: Formal aspects of computing Issue: Volume 28:Number 2(2016) Page Start: 233 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Computing and software science : state of the art and perspectives /: state of the art and perspectives. (2019) Editors: Steffen, Bernhard; Woeginger, Gerhard Record Type: Book Extent: 1 online resource (xix, 590 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Hybrid Multimodal and Intermodal Transport Simulation: Case Study on Large-Scale Evacuation Planning. Issue 1 (2016) Authors: Lämmel, Gregor; Chraibi, Mohcine; Wagoum, Armel Ulrich Kemloh; Steffen, Bernhard Journal: Transportation research record Issue: Volume 2561:Issue 1(2016) Page Start: 1 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. discussion, dissemination, applications : Part II, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiv, 866 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Leveraging applications of formal methods, verification and validation. 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings /: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings. Foundational techniques : Part I, (2016) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 7th Record Type: Book Extent: 1 online resource (xxiii, 974 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Leveraging applications of formal methods, verification and validation. 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Verification : Part II, (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xv, 588 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Leveraging applications of formal methods, verification and validation. distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: distributed systems : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part III : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 522 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Leveraging applications of formal methods, verification and validation. Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV : (2018) Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard Other Names: ISoLA (Symposium), 8th Record Type: Book Extent: 1 online resource (xiv, 530 pages), illustrations (some color) View Content: Available online (eLD content is only available in our Reading Rooms) ↗