@article{DBLP:journals/access/HussainKAK24,
author = {Altaf Hussain and
Qazi Salman Khalid and
Mohammed Alkahtani and
Aqib Mashood Khan},
title = {A Mathematical Model for Optimizing {NPV} and Greenhouse Gases for
Construction Projects Under Carbon Emissions Constraints},
journal = {{IEEE} Access},
volume = {12},
pages = {31875--31891},
year = {2024},
url = {https://doi.org/10.1109/ACCESS.2024.3367596},
doi = {10.1109/ACCESS.2024.3367596},
timestamp = {Thu, 03 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/HussainKAK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/AwanAHP24,
author = {Ahmad Awan and
Muhammad Aleem and
Altaf Hussain and
Radu Prodan},
title = {{DFARM:} a deadline-aware fault-tolerant scheduler for cloud computing},
journal = {Clust. Comput.},
volume = {27},
number = {7},
pages = {9323--9344},
year = {2024},
url = {https://doi.org/10.1007/s10586-024-04419-1},
doi = {10.1007/S10586-024-04419-1},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/AwanAHP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cnsns/HussainCCD24,
author = {Altaf Hussain and
Wenming Cheng and
Junyi Cao and
Run Du},
title = {Numerical analysis and experimental validation of nonlinear broadband
monostable and bistable energy harvesters},
journal = {Commun. Nonlinear Sci. Numer. Simul.},
volume = {131},
pages = {107808},
year = {2024},
url = {https://doi.org/10.1016/j.cnsns.2023.107808},
doi = {10.1016/J.CNSNS.2023.107808},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cnsns/HussainCCD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/HussainKKSB24,
author = {Altaf Hussain and
Samee Ullah Khan and
Noman Khan and
Mohammad Shabaz and
Sung Wook Baik},
title = {AI-driven behavior biometrics framework for robust human activity
recognition in surveillance systems},
journal = {Eng. Appl. Artif. Intell.},
volume = {127},
number = {Part {A}},
pages = {107218},
year = {2024},
url = {https://doi.org/10.1016/j.engappai.2023.107218},
doi = {10.1016/J.ENGAPPAI.2023.107218},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eaai/HussainKKSB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/inffus/HussainKRKB24,
author = {Altaf Hussain and
Samee Ullah Khan and
Imad Rida and
Noman Khan and
Sung Wook Baik},
title = {Human centric attention with deep multiscale feature fusion framework
for activity recognition in Internet of Medical Things},
journal = {Inf. Fusion},
volume = {106},
pages = {102211},
year = {2024},
url = {https://doi.org/10.1016/j.inffus.2023.102211},
doi = {10.1016/J.INFFUS.2023.102211},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/inffus/HussainKRKB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcde/UllahKKHMLSB24,
author = {Waseem Ullah and
Samee Ullah Khan and
Min Je Kim and
Altaf Hussain and
Muhammad Munsif and
Mi Young Lee and
Daeho Seo and
Sung Wook Baik},
title = {Industrial defective chips detection using deep convolutional neural
network with inverse feature matching mechanism},
journal = {J. Comput. Des. Eng.},
volume = {11},
number = {3},
pages = {326--336},
year = {2024},
url = {https://doi.org/10.1093/jcde/qwae019},
doi = {10.1093/JCDE/QWAE019},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcde/UllahKKHMLSB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/MunsifKKHKB24,
author = {Muhammad Munsif and
Samee Ullah Khan and
Noman Khan and
Altaf Hussain and
Min Je Kim and
Sung Wook Baik},
title = {Contextual visual and motion salient fusion framework for action recognition
in dark environments},
journal = {Knowl. Based Syst.},
volume = {304},
pages = {112480},
year = {2024},
url = {https://doi.org/10.1016/j.knosys.2024.112480},
doi = {10.1016/J.KNOSYS.2024.112480},
timestamp = {Tue, 22 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/MunsifKKHKB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/RahmanAHYH24,
author = {Saifur Rahman and
Numan Ali and
Tariq Hussain and
Bailin Yang and
Altaf Hussain},
title = {The effect of image-cyclic-based guidance on user's skill enhancement
in virtual assembly task},
journal = {Multim. Tools Appl.},
volume = {83},
number = {14},
pages = {41823--41846},
year = {2024},
url = {https://doi.org/10.1007/s11042-023-17175-y},
doi = {10.1007/S11042-023-17175-Y},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/RahmanAHYH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/AyazHHA24,
author = {Muhammad Ayaz and
Altaf Hussain and
Tariq Hussain and
Iqtidar Ali},
title = {Optimization of Quality of Service in 5G Cellular Network by Focusing
on Interference Management},
journal = {Wirel. Pers. Commun.},
volume = {135},
number = {4},
pages = {2229--2254},
year = {2024},
url = {https://doi.org/10.1007/s11277-024-11139-7},
doi = {10.1007/S11277-024-11139-7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/wpc/AyazHHA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/HussainKMKB22,
author = {Altaf Hussain and
Noman Khan and
Muhammad Munsif and
Min Je Kim and
Sung Wook Baik},
title = {Medium Scale Benchmark for Cricket Excited Actions Understanding},
booktitle = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
{CVPR} 2024 - Workshops, Seattle, WA, USA, June 17-18, 2024},
pages = {3399--3409},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/CVPRW63382.2024.00344},
doi = {10.1109/CVPRW63382.2024.00344},
timestamp = {Thu, 10 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cvpr/HussainKMKB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ShahSZHUGKN23,
author = {Sayyed Mudassar Shah and
Zhaoyun Sun and
Khalid Zaman and
Altaf Hussain and
Inam Ullah and
Yazeed Yasin Ghadi and
Muhammad Abbas Khan and
Rashid Nasimov},
title = {Advancements in Neighboring-Based Energy-Efficient Routing Protocol
{(NBEER)} for Underwater Wireless Sensor Networks},
journal = {Sensors},
volume = {23},
number = {13},
pages = {6025},
year = {2023},
url = {https://doi.org/10.3390/s23136025},
doi = {10.3390/S23136025},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/ShahSZHUGKN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/HussainKHURB22,
author = {Altaf Hussain and
Zulfiqar Ahmad Khan and
Tanveer Hussain and
Fath U Min Ullah and
Seungmin Rho and
Sung Wook Baik},
title = {A Hybrid Deep Learning-Based Network for Photovoltaic Power Forecasting},
journal = {Complex.},
volume = {2022},
pages = {7040601:1--7040601:12},
year = {2022},
url = {https://doi.org/10.1155/2022/7040601},
doi = {10.1155/2022/7040601},
timestamp = {Fri, 15 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/HussainKHURB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijguc/ZamanHIS22,
author = {Khalid Zaman and
Altaf Hussain and
Muhammad Imran and
Muhammad Sohail},
title = {Cost-effective data replication mechanism modelling for cloud storage},
journal = {Int. J. Grid Util. Comput.},
volume = {13},
number = {6},
pages = {652--669},
year = {2022},
url = {https://doi.org/10.1504/IJGUC.2022.10053316},
doi = {10.1504/IJGUC.2022.10053316},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijguc/ZamanHIS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ShahSZHSP22,
author = {Sayyed Mudassar Shah and
Zhaoyun Sun and
Khalid Zaman and
Altaf Hussain and
Muhammad Shoaib and
Lili Pei},
title = {A Driver Gaze Estimation Method Based on Deep Learning},
journal = {Sensors},
volume = {22},
number = {10},
pages = {3959},
year = {2022},
url = {https://doi.org/10.3390/s22103959},
doi = {10.3390/S22103959},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/ShahSZHSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/symmetry/ZamanSSSPH22,
author = {Khalid Zaman and
Zhaoyun Sun and
Sayyed Mudassar Shah and
Muhammad Shoaib and
Lili Pei and
Altaf Hussain},
title = {Driver Emotions Recognition Based on Improved Faster {R-CNN} and Neural
Architectural Search Network},
journal = {Symmetry},
volume = {14},
number = {4},
pages = {687},
year = {2022},
url = {https://doi.org/10.3390/sym14040687},
doi = {10.3390/SYM14040687},
timestamp = {Sat, 19 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/symmetry/ZamanSSSPH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/HabibHAIKKK21,
author = {Shabana Habib and
Altaf Hussain and
Waleed Albattah and
Muhammad Islam and
Sheroz Khan and
Rehan Ullah Khan and
Khalil Khan},
title = {Abnormal Activity Recognition from Surveillance Videos Using Convolutional
Neural Network},
journal = {Sensors},
volume = {21},
number = {24},
pages = {8291},
year = {2021},
url = {https://doi.org/10.3390/s21248291},
doi = {10.3390/S21248291},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/HabibHAIKKK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wpc/HussainHFAKNK21,
author = {Altaf Hussain and
Tariq Hussain and
Farooq Faisal and
Iqtidar Ali and
Irshad Khalil and
Shah Nazir and
Habib Ullah Khan},
title = {{DLSA:} Delay and Link Stability Aware Routing Protocol for Flying
Ad-hoc Networks (FANETs)},
journal = {Wirel. Pers. Commun.},
volume = {121},
number = {4},
pages = {2609--2634},
year = {2021},
url = {https://doi.org/10.1007/s11277-021-08839-9},
doi = {10.1007/S11277-021-08839-9},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/wpc/HussainHFAKNK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HussainAHUSZ20,
author = {Sayyed Shahid Hussain and
Luqman Ali and
Altaf Hussain and
Asif Ullah and
Li Sun and
Guohe Zhang},
title = {Surface Refractivity Profile Construction on One-Fourth Kilometer
Square Area for 1800 to 1900 Mhz Frequency},
journal = {{IEEE} Access},
volume = {8},
pages = {35650--35661},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.2974672},
doi = {10.1109/ACCESS.2020.2974672},
timestamp = {Thu, 19 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/HussainAHUSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/IbrahimNBARHSD20,
author = {Muhammad Ibrahim and
Said Nabi and
Abdullah Baz and
Hosam Alhakami and
Muhammad Summair Raza and
Altaf Hussain and
Khaled Salah and
Karim Djemame},
title = {An In-Depth Empirical Investigation of State-of-the-Art Scheduling
Approaches for Cloud Computing},
journal = {{IEEE} Access},
volume = {8},
pages = {128282--128294},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3007201},
doi = {10.1109/ACCESS.2020.3007201},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/IbrahimNBARHSD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cai/HussainAII19,
author = {Altaf Hussain and
Muhammad Aleem and
Muhammad Azhar Iqbal and
Muhammad Arshad Islam},
title = {Investigation of Cloud Scheduling Algorithms for Resource Utilization
Using CloudSim},
journal = {Comput. Informatics},
volume = {38},
number = {3},
pages = {525--554},
year = {2019},
url = {https://doi.org/10.31577/cai\_2019\_3\_525},
doi = {10.31577/CAI\_2019\_3\_525},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cai/HussainAII19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tjs/HussainAII19,
author = {Altaf Hussain and
Muhammad Aleem and
Muhammad Azhar Iqbal and
Muhammad Arshad Islam},
title = {{SLA-RALBA:} cost-efficient and resource-aware load balancing algorithm
for cloud computing},
journal = {J. Supercomput.},
volume = {75},
number = {10},
pages = {6777--6803},
year = {2019},
url = {https://doi.org/10.1007/s11227-019-02916-4},
doi = {10.1007/S11227-019-02916-4},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tjs/HussainAII19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HussainAII18,
author = {Altaf Hussain and
Muhammad Aleem and
Muhammad Arshad Islam and
Muhammad Azhar Iqbal},
title = {A Rigorous Evaluation of State-of-the-Art Scheduling Algorithms for
Cloud Computing},
journal = {{IEEE} Access},
volume = {6},
pages = {75033--75047},
year = {2018},
url = {https://doi.org/10.1109/ACCESS.2018.2884480},
doi = {10.1109/ACCESS.2018.2884480},
timestamp = {Fri, 28 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/HussainAII18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cluster/HussainAKII18,
author = {Altaf Hussain and
Muhammad Aleem and
Abid Khan and
Muhammad Azhar Iqbal and
Muhammad Arshad Islam},
title = {{RALBA:} a computation-aware load balancing scheduler for cloud computing},
journal = {Clust. Comput.},
volume = {21},
number = {3},
pages = {1667--1680},
year = {2018},
url = {https://doi.org/10.1007/s10586-018-2414-6},
doi = {10.1007/S10586-018-2414-6},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cluster/HussainAKII18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/data/HussainA18,
author = {Altaf Hussain and
Muhammad Aleem},
title = {GoCJ: Google Cloud Jobs Dataset for Distributed and Cloud Computing
Infrastructures},
journal = {Data},
volume = {3},
number = {4},
pages = {38},
year = {2018},
url = {https://doi.org/10.3390/data3040038},
doi = {10.3390/DATA3040038},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/data/HussainA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HussainML16,
author = {Altaf Hussain and
Wendy MacCaull and
Yngve Lamo},
editor = {Ioana Ciuciu and
Christophe Debruyne and
Herv{\'{e}} Panetto and
Georg Weichhart and
Peter Bollen and
Anna Fensel and
Maria{-}Esther Vidal},
title = {{CASD:} {A} Framework for Context Aware Service Discovery and Selection},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2016 Workshops -
Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and
{OTMA} 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10034},
pages = {252--264},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-55961-2\_26},
doi = {10.1007/978-3-319-55961-2\_26},
timestamp = {Sat, 19 Oct 2019 20:26:09 +0200},
biburl = {https://dblp.org/rec/conf/otm/HussainML16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/VargheseVHBTDHU13,
author = {Babu Varghese and
Rieko Verhagen and
Altaf Hussain and
Clemence Boudot and
Qiangqiang Tai and
Siqi Ding and
Jasmin Alexandra Holz and
Natallia Uzunbajakava},
title = {Quantitative Assessment of Birefringent Skin Structures in Scattered
Light Confocal Imaging Using Radially Polarized Light},
journal = {Sensors},
volume = {13},
number = {9},
pages = {12527--12535},
year = {2013},
url = {https://doi.org/10.3390/s130912527},
doi = {10.3390/S130912527},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/VargheseVHBTDHU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csws/HussainM13,
author = {Altaf Hussain and
Wendy MacCaull},
editor = {Ren{\'{e}} Witte and
Christopher J. O. Baker and
Greg Butler and
Michel Dumontier},
title = {Context aware service discovery and service enabled workflow},
booktitle = {Proceedings of the 4th Canadian Semantic Web Symposium part of the
Semantic Trilogy 2013, Montreal, QC, Canada, July 10th, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {1054},
pages = {45--48},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-1054/paper-11.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:15 +0100},
biburl = {https://dblp.org/rec/conf/csws/HussainM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/MunirMHNA13,
author = {Ehsan Ullah Munir and
Sajjad Mohsin and
Altaf Hussain and
Muhammad Wasif Nisar and
Shoukat Ali},
title = {{SDBATS:} {A} Novel Algorithm for Task Scheduling in Heterogeneous
Computing Systems},
booktitle = {2013 {IEEE} International Symposium on Parallel {\&} Distributed Processing,
Workshops and Phd Forum, Cambridge, MA, USA, May 20-24, 2013},
pages = {43--53},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/IPDPSW.2013.259},
doi = {10.1109/IPDPSW.2013.259},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/MunirMHNA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/HodkinsonH08,
author = {Ian M. Hodkinson and
Altaf Hussain},
title = {The modal logic of affine planes is not finitely axiomatisable},
journal = {J. Symb. Log.},
volume = {73},
number = {3},
pages = {940--952},
year = {2008},
url = {https://doi.org/10.2178/jsl/1230396757},
doi = {10.2178/JSL/1230396757},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/HodkinsonH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HussainH08,
author = {Altaf Hussain and
Michael Huth},
title = {On model checking multiple hybrid views},
journal = {Theor. Comput. Sci.},
volume = {404},
number = {3},
pages = {186--201},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.03.010},
doi = {10.1016/J.TCS.2008.03.010},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HussainH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Hussain07,
author = {Altaf Hussain},
title = {A New Modal Approach to the Logic of Intervals},
journal = {J. Log. Comput.},
volume = {17},
number = {2},
pages = {221--254},
year = {2007},
url = {https://doi.org/10.1093/logcom/exl007},
doi = {10.1093/LOGCOM/EXL007},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/Hussain07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hussain06,
author = {Altaf Hussain},
title = {A Minimal Hybrid Logic for Intervals},
journal = {Log. J. {IGPL}},
volume = {14},
number = {1},
pages = {35--62},
year = {2006},
url = {https://doi.org/10.1093/jigpal/jzk003},
doi = {10.1093/JIGPAL/JZK003},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hussain06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HussainH06,
author = {Altaf Hussain and
Michael Huth},
editor = {Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}} and
Achim Jung and
Michael W. Mislove},
title = {Automata Games for Multiple-model Checking},
booktitle = {Proceedings of the 21st Annual Conference on Mathematical Foundations
of Programming Semantics, {MFPS} 2005, Birmingham, UK, May 18-21,
2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {155},
pages = {401--421},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.067},
doi = {10.1016/J.ENTCS.2005.11.067},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/HussainH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/HuthH04,
author = {Michael Huth and
Altaf Hussain},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {On model checking multiple hybrid views},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {235--242},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/HuthH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}