Automated model checking for topologically complex code requirements - security room case study (Englisch)
- Neue Suche nach: Bloch, Tanya
- Neue Suche nach: Katz, Meir
- Neue Suche nach: Yosef, Raz
- Neue Suche nach: Sacks, Rafael
- Neue Suche nach: Bloch, Tanya
- Neue Suche nach: Katz, Meir
- Neue Suche nach: Yosef, Raz
- Neue Suche nach: Sacks, Rafael
In:
2019 European Conference on Computing in Construction
; 48-55
;
2019
-
ISBN:
- Aufsatz (Konferenz) / Elektronische Ressource
-
Titel:Automated model checking for topologically complex code requirements - security room case study
-
Beteiligte:Bloch, Tanya ( Autor:in ) / Katz, Meir ( Autor:in ) / Yosef, Raz ( Autor:in ) / Sacks, Rafael ( Autor:in )
-
Kongress:European Conference on Computing in Construction ; 1. ; 2019 ; Chania
-
Erschienen in:
-
Verlag:
- Neue Suche nach: European Council on Computing in Construction
-
Erscheinungsort:[Sint-Niklaas, Belgium]
-
Erscheinungsdatum:2019
-
ISBN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Datenquelle:
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
BIM approach for decision support: case study fastening systems in factory adaptation planningLenz, Lisa Theresa / Gralla, Mike / Höpfner, Marvin / Spyridis, Panagiotis / Weist, Kai Christian et al. | 2019
- 2
-
A toolchain for automated acquisition and processing of as-built data with autonomous UAVsFreimuth, Henk / König, Markus et al. | 2019
- 3
-
Towards a methodology for quantifying the benefits of BIMKrystallis, Ilias / Papadonikolaki, Eleni / Iuorio, Ornella / Locatelli, Giorgio et al. | 2019
- 4
-
What does "real-time" project control really mean?Isaac, Shabtai et al. | 2019
- 5
-
Adaptive minimized communication protocol based on BIMZahedi, Ata / Petzold, Frank et al. | 2019
- 6
-
Free way work zone traffic state estimation with fault diagnosisDu, Shuming / Razavi, Saiedeh et al. | 2019
- 7
-
Automated model checking for topologically complex code requirements - security room case studyBloch, Tanya / Katz, Meir / Yosef, Raz / Sacks, Rafael et al. | 2019
- 8
-
Do vehicles sense pavement surface anomalies?Kyriakou, Charalambos / Christodoulou, Symeon E. / Dimitriou, Loukas et al. | 2019
- 9
-
Sorting things out? Machine learning in complex construction projectsKoch, Christian / Shayboun, May et al. | 2019
- 10
-
Planning and scheduling bridge girders fabrication through shop-floor operations simulationHasan, Monjurul / Lu, Ming / Bird, Ken et al. | 2019
- 11
-
Precise reconstruction of geometric primitives in built environmentsWang, Lingling / Luo, Hanb in / Zhou, Ying / Zhou, Cheng et al. | 2019
- 12
-
Automatic detection of plan symbols in railway equipment engineering using a machine learning approachStoitchkov, Deian / Breier, Peer / Slepicka, Martin / Genc, Cengiz / Harmsen, Felix / Köhler, Tobias / Vilgertshofer, Simon / Borrmann, André et al. | 2019
- 13
-
Managing mistrust in construction using DLT: a review of use-case categories for technical design decisionsHunhevicz, Jens Juri / Hall, Daniel Mark et al. | 2019
- 14
-
Construction progress visualization for varied stages of the individual elements with BIM: A case studyKazado, Daniel / Kavgic, Miroslava / Ergen, Esin et al. | 2019
- 15
-
BIM-based holonic system for real-time pathfinding in building emergency scenarioNaticchia, Berardo / Messi, Leonardo / Carbonari, Alessandro et al. | 2019
- 16
-
Development of a software program to generate a WBS for earthwork projectsElmossallamy, Loma Yasser / Nassar, Ayman H. et al. | 2019
- 17
-
Building information models are dirtyMirarchi, Claudio / Pavan, Alberto et al. | 2019
- 18
-
Image-based 3D surface reconstruction of cold-formed steel C-sectionsErkal, Burcu Güldür et al. | 2019
- 19
-
Predicting the impact of size of uncertainty events on the construction cost of highway projects using ANFISMoghayedi, Alireza / Windapo, Abimbola et al. | 2019
- 20
-
BIM LOD for facility management tasksAlavi, Seyed Hamidreza / Forcada-Matheu, Nuria et al. | 2019
- 21
-
An IFC data preparation workflow for building energy performance simulationKatsigarakis, Kyriakos / Lilis, Georgios Nektarios / Giannakis, Georgi os / Rovas, Dimitrios et al. | 2019
- 22
-
Semantic data mining and linked data for a recommender system in the AEC industryPetrova, Ekaterina / Pauwels, Pieter / Svidt, Kjeld / Jensen, Rasmus Lund et al. | 2019
- 23
-
BIM-driven mission planning and navigation for automatic indoor construction progress detection using robotic ground platformIbrahim, Amir / Sabet, Ali / Golparvar-Fard, Mani et al. | 2019
- 24
-
Automated understanding of construction schedules: part-of-activity taggingAmer, Fouad / Golparvar-Fard, Mani et al. | 2019
- 25
-
Risk management in construction projects using building information modellingPapachatzi, Dimitra / Xenidis, Yiannis et al. | 2019
- 26
-
Optimum topological configurations of sensor net worksGreco, Rita / Marano, Giuseppe Carlo et al. | 2019
- 27
-
Pavement condition and traffic indices for prioritizing road maintenanceHadjidemetriou, Georgios / Tsangaris, Michalis / Christodoulou, Syme on et al. | 2019
- 28
-
Ontologies and Linked Data for structuring published BIM articlesFarghaly, Karim et al. | 2019
- 29
-
Investigating the drop- out rate from a BIM for infrastructure coursePuust, Raido / Witt, Emlyn / Lill, Irene / Liias, Roode et al. | 2019
- 30
-
The impact of density and scale on the life-cycle cost of net-zero energy communitiesShubin, Slava / Rabinowitz, Gad / Isaac, Shabtai et al. | 2019
- 31
-
OptEEmAL: IT-Supported design tool for the generation of optimised energy retrofitting scenarios at district levelMartín, Susana / Serna, Victor I. / Álvarez, Sonia / García, Miguel A. / Hernández, Gema / Sicilia, Alvaro / Costa, Gonçal et al. | 2019
- 32
-
BEMServer: An open source platform for building energy performance managementBourreau, Pierre / Chbeir, Richard / Cardinale, Yudith / Corchero, Aitor / Salameh, Khouloud / Lafréchoux, Jérôme / Frédérique, David / Calis, Gulben / Kallab, Lara / Constantinou, Rafael et al. | 2019
- 33
-
Dynamic district information server: on the use of W3C linked data standards to unify construction dataHoare, Cathal / Ali, Usman / O'Donnell, James et al. | 2019
- 34
-
Opportunities for Communal Photovoltaic-Thermal Heating Systems with StorageKang, Anneka / Korolija, Ivan / Rovas, Dimitrios et al. | 2019
- 35
-
Extending IFC to support thermal comfort prediction during designAlshehri, Fawaz / Kenny, Paul / Hoare, Cathal / Shamsi, Mohammad / Ali, Usman / O'Donnell, James et al. | 2019
- 36
-
An overview of configurators for industrialized construction: typologies, customer requirements, and technical approachesCao, Jianpeng / Hall, Daniel et al. | 2019
- 37
-
Relating geometry descriptions to its derivatives on the webWagner, Anna / Bonduel, Mathias / Pauwels, Pieter / Rüppel, Uwe et al. | 2019
- 38
-
Development of a BIM library for building energy retrofitting: current workflows and a proposal for a recommender systemCiribini, Angelo Luigi Camillo / Melchiori, Michele / Tagliabue, Lavinia Chiara / Mastrolembo-Ventura, Silvia et al. | 2019
- 39
-
A BIM-based approach to façade cladding optimization: geometrical, economic, and production-control in a DfMA perspectiveDi-Giuda, Giuseppe Martino / Giana, Paolo Ettore / Masera, Gabriele / Seghezzi, Elena / Villa, Valentina et al. | 2019
- 40
-
Blockchain in construction logistics: state-of-art, constructability, and the advent of a new digital business model in SwedenKifokeris, Dimosthenis / Koch, Christian et al. | 2019
- 41
-
Including widespread geometry formats in semantic graphs using RDF literalsBonduel, Mathias / Wagner, Anna / Pauwels, Pieter / Vergauwen, Maarten / Klein, Ralf et al. | 2019
- 42
-
Modelling construction scheduling constraints using shapes constraint language (SHACL)Soman, Ranjith K et al. | 2019
- 43
-
Context capturing of multi-information resources for the data exchange in collaborative project environmentsScherer, Raimar J. / Katranuschkov, Peter et al. | 2019
- 44
-
Generating bridge geometric digital twins from point cloudsLu, Ruodan / Brilakis, Ioannis et al. | 2019
- 45
-
The IFC-Bridge project - Extending the IFC standard to enable high-quality exchange of bridge information modelsBorrmann, André / Muhic, Sergej / Hyvärinen, Juha / Chipman, Tim / Jaud, Stefan / Castaing, Christophe / Dumoulin, Claude / Liebich, Thomas / Mol, Laura et al. | 2019
- 46
-
Digital built environment maturity model: Digital twins advancing smart infrastructure asset managementPapic, Dejan / Cerovsek, Tomo et al. | 2019
- 47
-
Road asset classification systemGkovedarou, Maria / Brilakis, Ioannis et al. | 2019
- 48
-
Semantic and syntactic interoperability of BIM and asset management dataFarghaly, Karim / Abanda, Henry Fonbeyin / Vidalakis, C hristos / Wood, Graham et al. | 2019
- 49
-
From relational to technological trust : How do the Internet of Things and Blockchain technology fit in?Peña, Jorge De La / Papadonikolaki, Eleni et al. | 2019
- 50
-
Systems-theoretic process analysis (STPA) in building energy risk managementKaratzas, Stylianos K. / Chassiakos, Athanasios P. et al. | 2019
- 51
-
Using augmented reality and mixed reality to interpret design choices of high-performance buildingsZhao, Shenghuan / Zhang, Leo / DeAngelis, Enrico et al. | 2019
- 52
-
A framework of procedural considerations for implementing virtual reality in design reviewsMastrolembo-Ventura, Silvia / Castronovo, Fadi / Nikolić, Dragana / Ciribini, Angelo Luigi Camillo et al. | 2019
- 53
-
Virtual reality use for evaluation and improvement of building emergency signageWyke, Simon Swanström / Meyer-Andersen, Kasper / Hardahl, Mads / Harlyk, Magnus Mejlholm / Risbøl, Erik Vils / Svidt, Kjeld et al. | 2019
- 54
-
Evaluation of virtual safety training tool application with construction workersMarwa, Zaki / Yapıcı, Semra Çomu et al. | 2019
- 55
-
BIM-based augmented reality tool for the monitoring of construction performance and progressRatajczak, Julia / Marcher, Carmen / Schimanski, Christoph Paul / Schweikopfler, Alice / Riedl, Michael / Matt, Dominik T. et al. | 2019