default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/dx/dx2017.bht:"
download as .bib file
@inproceedings{DBLP:conf/dx/Alonso-Gonzalez17,
author = {Carlos J. Alonso{-}Gonz{\'{a}}lez and
An{\'{\i}}bal Breg{\'{o}}n and
Belarmino Pulido and
Mat{\'{\i}}as A. Nacusse and
Sergio J. Junco},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Autonomous vehicle traction subsystem modeling and diagnosis using
BG-PCs},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {94--109},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/qj7v},
doi = {10.29007/QJ7V},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/Alonso-Gonzalez17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/BoussifLG17,
author = {Abderraouf Boussif and
Baisi Liu and
Mohamed Ghazel},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {An Experimental Comparison of Three Diagnosis Techniques for Discrete
Event Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {52--64},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/vwc9},
doi = {10.29007/VWC9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/BoussifLG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/BuenoHL17,
author = {Marcos Luiz de Paula Bueno and
Arjen Hommersom and
Peter J. F. Lucas},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {An improved diagnostic method for probabilistic consistency-based
diagnosis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {65--77},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/4t6n},
doi = {10.29007/4T6N},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/BuenoHL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/ChristopherPG17,
author = {Cody James Christopher and
Yannick Pencol{\'{e}} and
Alban Grastien},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Inference of fault signatures of discrete-event systems from event
logs},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {219--233},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/qmpw},
doi = {10.29007/QMPW},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/ChristopherPG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Fiore17,
author = {Gabriella Fiore},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Secure state estimation for Cyber-Physical Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {12--20},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/z1sj},
doi = {10.29007/Z1SJ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/Fiore17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/GrigoleitHPRRSW17,
author = {Florian Grigoleit and
Sebastian Holei and
Andreas Pleuss and
Robert Reiser and
Julian Rhein and
Peter Struss and
Jana von Wedel},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {The qSafe Project - Developing a Tool for Current Practice in Functional
Safety Analysis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {297--312},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/1lp8},
doi = {10.29007/1LP8},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/GrigoleitHPRRSW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/KhorasganiB17,
author = {Hamed Khorasgani and
Gautam Biswas},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {A combined model-based and data-driven approach for monitoring smart
buildings},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {21--36},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/g44l},
doi = {10.29007/G44L},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/KhorasganiB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Khoumsi17,
author = {Ahmed Khoumsi},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Decentralized Diagnosis of Discrete Event Systems Using an Arborescent
Architecture},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {144--158},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/k5c7},
doi = {10.29007/K5C7},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/Khoumsi17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/KleerKF17,
author = {Johan de Kleer and
Matthew Klenk and
Alexander Feldman},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Diagnosing Alternative Facts},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {159--168},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/fkwg},
doi = {10.29007/FKWG},
timestamp = {Thu, 20 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/KleerKF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Obry17,
author = {Tom Obry},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {A Learning Algorithm for Episodes},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {1--11},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/j9d9},
doi = {10.29007/J9D9},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/Obry17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/PencoleS17,
author = {Yannick Pencol{\'{e}} and
Audine Subias},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Diagnosis of supervision patterns on bounded labeled Petri nets by
Model Checking},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {184--199},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/4s4n},
doi = {10.29007/4S4N},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/PencoleS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/PencoleSMT17,
author = {Yannick Pencol{\'{e}} and
Gerald Steinbauer and
Clemens M{\"{u}}hlbacher and
Louise Trav{\'{e}}{-}Massuy{\`{e}}s},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Diagnosing Discrete Event Systems Using Nominal Models Only},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {169--183},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/1d2x},
doi = {10.29007/1D2X},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/PencoleSMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/PillW17,
author = {Ingo Pill and
Franz Wotawa},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Model-Based Diagnosis Meets Combinatorial Testing For Generating an
Abductive Diagnosis Model},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {248--263},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/svc7},
doi = {10.29007/SVC7},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/PillW17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Provan17,
author = {Gregory M. Provan},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {An Algebraic Approach for Diagnosing Discrete-Time Hybrid Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {37--51},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/n87m},
doi = {10.29007/N87M},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/Provan17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/PucelR17,
author = {Xavier Pucel and
St{\'{e}}phanie Roussel},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Intermittent Fault Diagnosis as Discrete Signal Estimation: Trackability
analysis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {234--247},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/tpdv},
doi = {10.29007/TPDV},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/PucelR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Rodler17,
author = {Patrick Rodler},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {On Active Learning Strategies for Sequential Diagnosis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {264--283},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/wpk8},
doi = {10.29007/WPK8},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/Rodler17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/RodlerS17,
author = {Patrick Rodler and
Konstantin Schekotihin},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Reducing Model-Based Diagnosis to Knowledge Base Debugging},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {284--296},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/p7zp},
doi = {10.29007/P7ZP},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/RodlerS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/RodlerSS17,
author = {Patrick Rodler and
Wolfgang Schmid and
Konstantin Schekotihin},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based
Diagnosis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {200--218},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/vd18},
doi = {10.29007/VD18},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/RodlerSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/SohegeP17,
author = {Yves Sohege and
Gregory M. Provan},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Comparing Switching vs. Mixing {MPC} for Robust Fault-Tolerant Control},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {110--123},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/4rvz},
doi = {10.29007/4RVZ},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/SohegeP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/ZaatitiYDG17,
author = {Hadi Zaatiti and
Lina Ye and
Philippe Dague and
Jean{-}Pierre Gallois},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Counterexample-Guided Abstraction-Refinement for Hybrid Systems Diagnosability
Analysis},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {124--143},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/t8n3},
doi = {10.29007/T8N3},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/ZaatitiYDG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dx/Zanella17,
author = {Marina Zanella},
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {Asymmetric Diagnosability Analysis of Discrete-Event Systems},
booktitle = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
pages = {78--93},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/6lc2},
doi = {10.29007/6LC2},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/Zanella17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dx/2017,
editor = {Marina Zanella and
Ingo Pill and
Alessandro Cimatti},
title = {28th International Workshop on Principles of Diagnosis (DX'17), Brescia,
Italy, September 26-29, 2017},
series = {Kalpa Publications in Computing},
volume = {4},
publisher = {EasyChair},
year = {2017},
url = {http://www.easychair.org/publications/volume/DX17},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dx/2017.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.
retrieved on 2024-12-26 03:25 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
