Publications | Lund University Publications

1 – 10 of 25

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/publication?embed=1&q=keywords+exact+%22Verification%22&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

« previous
1
2
3
next »

2023
Mark The verification of wildland–urban interface fire evacuation models
Ronchi, E. ^LU ; Wahlqvist, J. ^LU ; Ardinge, A. ; Rohaert, A. ^LU ; Gwynne, S. M.V. ^LU ; Rein, G. ; Mitchell, H. ; Kalogeropoulos, N. ; Kinateder, M. and Bénichou, N. , et al. (2023) In Natural Hazards 117(2). p.1493-1519
- Contribution to journal › Article
2020
Mark Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
Liew, Vincent ; Beame, Paul ; Devriendt, Jo ^LU ; Elffers, Jan ^LU and Nordstrom, Jakob ^LU (2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
2018
Mark Verification, validation and evaluation of FireFOAM as a tool for performance based design
Husted, Bjarne Paulsen ^LU ; Li, Ying Zhen ; Huang, Chen ; Andersson, Johan ; Svensson, Robert ; Ingason, Haukur ; Runefors, Marcus ^LU and Wahlqvist, Jonathan ^LU (2018) In TVBB
- Book/Report › Report
2016
Mark A Theory of Distances in Software Engineering
Bjarnason, Elizabeth ^LU ; Smolander, Kari ; Engström, Emelie ^LU and Runeson, Per ^LU (2016) In Information and Software Technology 70. p.204-219
- Contribution to journal › Article
Mark Assessing the Verification and Validation of Building Fire Evacuation Models
Ronchi, Enrico ^LU ; Kuligowski, Erica D. ; Nilsson, Daniel ^LU ; Peacock, Richard D. and Reneke, Paul A. (2016) In Fire Technology 52(1). p.197-219
- Contribution to journal › Article
2014
Mark Performance-based design of road tunnel fire safety: Proposal of new Swedish framework
Gehandler, Jonatan ^LU ; Ingason, Haukur ^LU ; Lönnermark, Anders ^LU ; Frantzich, Håkan ^LU and Strömgren, Michael ^LU (2014) In Case Studies in Fire Safety 1(March). p.18-28
- Contribution to journal › Article
Mark Challenges and Practices in Aligning Requirements with Verification and Validation: A Case Study of Six Companies
Bjarnason, Elizabeth ^LU ; Runeson, Per ^LU ; Borg, Markus ^LU ; Unterkalmsteiner, Michael ; Engström, Emelie ^LU ; Regnell, Björn ^LU ; Sabaliauskaite, Giedre ; Loconsole, Annabella ; Gorschek, Tony and Feldt, Robert (2014) In Empirical Software Engineering 19(6). p.1809-1855
- Contribution to journal › Article
2013
Mark The Process of Verification and Validation of Building Fire Evacuation Models
Ronchi, Enrico ^LU ; Kuligowski, Erica D ; Reneke, Paul A ; Peacock, Richard D and Nilsson, Daniel ^LU (2013) In NIST Technical Note
- Book/Report › Report
Mark A Model-Based Framework for Flexible Safety-Critical Software Development - A Design Study
Holmén Notander, Jesper ^LU ; Runeson, Per ^LU and Höst, Martin ^LU (2013) Symposium on Applied Computing 2013 p.1137-1144
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Validation and Verification of Fire Models for Fire Safety Engineering
Van Hees, Patrick ^LU (2013) In Procedia Engineering 62. p.154-168
- Contribution to journal › Article

« previous
1
2
3
next »

your query:: Remove keywords: Verification