|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Juliana Bowles, Giovanna Broccia, Roberto Pellungrini (eds.) |
From Data to Models and Back - 10th International Symposium, DataMod 2021, Virtual Event, December 6-7, 2021, Revised Selected Papers |
DataMod |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Paul Piho, Jane Hillston |
Combining Quantitative Data with Logic-Based Specifications for Parameter Inference. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Banton, Thais Webber, Agastya Silvina, Juliana Bowles |
Model-Based Security Assessment on the Design of a Patient-Centric Data Sharing Platform. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Bowen Li 0005, Pahala Gedara Jayathilake, Yuqing Xia, Thomas P. Curtis, Paolo Zuliani |
Spatio-temporal Model Checking for 3D Individual-Based Biofilm Simulations. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Marissa Gray, Shweta Majumder, Kate Nelson, Reshma Munbodh |
Detecting Anxiety Trends Using Wearable Sensor Data in Real-World Situations. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Lucia Nasti, Roberta Gori, Paolo Milazzo |
Analysis and Verification of Robustness Properties in Becker-Döring Model. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cerone |
Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Eduard Baranov, Juliana Bowles, Thomas Given-Wilson, Axel Legay, Thais Webber |
A Secure User-Centred Healthcare System: Design and Verification. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cerone, Anel Mengdigali, Nuray Nabiyeva, Temirlan Nurbay |
A Web-Based Tool for Collaborative Modelling and Analysis in Human-Computer Interaction and Cognitive Science. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Vandin, Daniele Giachini, Francesco Lamperti, Francesca Chiaromonte |
MultiVeStA: Statistical Analysis of Economic Agent-Based Models by Statistical Model Checking. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Hannes Sochor, Flavio Ferrarotti |
A Refinement Based Algorithm for Learning Program Input Grammars. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Laura Bussi, Vincenzo Ciancia, Fabio Gadducci, Diego Latella, Mieke Massink |
Towards Model Checking Video Streams Using VoxLogicA on GPUs. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Pellungrini |
Privacy Risk and Data Utility Assessment on Network Data. |
DataMod |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #13 of 13 (100 per page; Change: )
|
|