Search dblp for Publications

export results for "toc:db/conf/datamod/datamod2021.bht:"

 download as .bib file

@proceedings{DBLP:conf/datamod/2021,
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-16011-0},
  doi          = {10.1007/978-3-031-16011-0},
  isbn         = {978-3-031-16010-3},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/datamod/2021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/BantonWSB21,
  author       = {Matthew Banton and
                  Thais Webber and
                  Agastya Silvina and
                  Juliana Bowles},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Model-Based Security Assessment on the Design of a Patient-Centric
                  Data Sharing Platform},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {61--77},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_5},
  doi          = {10.1007/978-3-031-16011-0\_5},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/BantonWSB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/BaranovBGLW21,
  author       = {Eduard Baranov and
                  Juliana Bowles and
                  Thomas Given{-}Wilson and
                  Axel Legay and
                  Thais Webber},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {A Secure User-Centred Healthcare System: Design and Verification},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {44--60},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_4},
  doi          = {10.1007/978-3-031-16011-0\_4},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/BaranovBGLW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/BussiCGLM21,
  author       = {Laura Bussi and
                  Vincenzo Ciancia and
                  Fabio Gadducci and
                  Diego Latella and
                  Mieke Massink},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Towards Model Checking Video Streams Using VoxLogicA on GPUs},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {78--90},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_6},
  doi          = {10.1007/978-3-031-16011-0\_6},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/BussiCGLM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/Cerone21,
  author       = {Antonio Cerone},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {7--24},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_2},
  doi          = {10.1007/978-3-031-16011-0\_2},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/Cerone21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/CeroneMNN21,
  author       = {Antonio Cerone and
                  Anel Mengdigali and
                  Nuray Nabiyeva and
                  Temirlan Nurbay},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer
                  Interaction and Cognitive Science},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {175--192},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_12},
  doi          = {10.1007/978-3-031-16011-0\_12},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/CeroneMNN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/GrayMNM21,
  author       = {Marissa Gray and
                  Shweta Majumder and
                  Kate Nelson and
                  Reshma Munbodh},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Detecting Anxiety Trends Using Wearable Sensor Data in Real-World
                  Situations},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {107--117},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_8},
  doi          = {10.1007/978-3-031-16011-0\_8},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/GrayMNM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/LiJXCZ21,
  author       = {Bowen Li and
                  Pahala Gedara Jayathilake and
                  Yuqing Xia and
                  Thomas P. Curtis and
                  Paolo Zuliani},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {157--174},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_11},
  doi          = {10.1007/978-3-031-16011-0\_11},
  timestamp    = {Mon, 20 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/LiJXCZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/NastiGM21,
  author       = {Lucia Nasti and
                  Roberta Gori and
                  Paolo Milazzo},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Analysis and Verification of Robustness Properties in Becker-D{\"{o}}ring
                  Model},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {27--43},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_3},
  doi          = {10.1007/978-3-031-16011-0\_3},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/NastiGM21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/Pellungrini21,
  author       = {Roberto Pellungrini},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Privacy Risk and Data Utility Assessment on Network Data},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {93--106},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_7},
  doi          = {10.1007/978-3-031-16011-0\_7},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/Pellungrini21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/PihoH21,
  author       = {Paul Piho and
                  Jane Hillston},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {Combining Quantitative Data with Logic-Based Specifications for Parameter
                  Inference},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {121--137},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_9},
  doi          = {10.1007/978-3-031-16011-0\_9},
  timestamp    = {Thu, 20 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/datamod/PihoH21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/SochorF21,
  author       = {Hannes Sochor and
                  Flavio Ferrarotti},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {A Refinement Based Algorithm for Learning Program Input Grammars},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {138--156},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_10},
  doi          = {10.1007/978-3-031-16011-0\_10},
  timestamp    = {Sun, 13 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/SochorF21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/datamod/VandinGLC21,
  author       = {Andrea Vandin and
                  Daniele Giachini and
                  Francesco Lamperti and
                  Francesca Chiaromonte},
  editor       = {Juliana Bowles and
                  Giovanna Broccia and
                  Roberto Pellungrini},
  title        = {MultiVeStA: Statistical Analysis of Economic Agent-Based Models by
                  Statistical Model Checking},
  booktitle    = {From Data to Models and Back - 10th International Symposium, DataMod
                  2021, Virtual Event, December 6-7, 2021, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {13268},
  pages        = {3--6},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-031-16011-0\_1},
  doi          = {10.1007/978-3-031-16011-0\_1},
  timestamp    = {Sun, 12 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/datamod/VandinGLC21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.