( en | de | ru )

 

Disambiguation of "Micucci, Daniela"

Author of the publication

copydeleteadd this publication to your clipboard
TkT: Automatic Inference of Timed and Extended Pushdown Automata.

, , , and . IEEE Trans. Software Eng., 48 (2): 617-636 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Daniela Rando

Besiegelte Freundschaft: die brandenburgischen Erbeinungen und Erbverbrüderungen im späten Mittelalter. Uni Frankfurt Main, (2008)

Daniela Ragancokova

˜Theœ role of synaptic transmission in the pathophysiology and therapy of neurodegenerative disease, amyotrophic lateral sclerosis. TierH Hannover, (2009)

Daniela Aryus

SIDS-Prävention durch Heimmonitoring: Auswertung der BMBF-Studie Plötzlicher Säuglingstod. Uni Magdeburg, (2009)

Daniela Hartl

Proteomanalyse eines Mausmodells für die Alzheimer-Krankheit: frühe Beeinträchtigung der hippocampalen Plastizität. HU Berlin, (2009)

Daniela Drautz

Molecular evolution at the genomic level: mutation detection in two extinct species, Mammuthus primigenius and Thylacinus cynocephalus, and the predatory bacterium Bdellovibrio bacteriovorus. Uni Tübingen, (2009)
 

Other publications of authors with the same name

A benchmark of data loss bugs for Android apps., , , and . MSR, page 582-586. IEEE / ACM, (2019)An object-oriented software approach for a distributed human tracking motion system.. VCIP, volume 5150 of Proceedings of SPIE, page 315-326. SPIE, (2003)An Architecture for the Design of Platforms Supporting Responsive Environments., , and . ICSOFT EA, page 417-427. SciTePress, (2014)Spatio-Temporal Normalization of Data from Heterogeneous Sensors., , , and . ICSOFT-EA, page 462-467. SciTePress, (2015)Non-functional Testing of Runtime Enforcers in Android., , and . ISoLA (1), volume 13701 of Lecture Notes in Computer Science, page 320-334. Springer, (2022)Network Services via Reflective Architecture., , , and . SEKE, page 761-766. (2005)TkT: Automatic Inference of Timed and Extended Pushdown Automata., , , and . IEEE Trans. Software Eng., 48 (2): 617-636 (2022)A Space-Based Interoperability Model., , and . ONTOSE, volume 62 of Lecture Notes in Business Information Processing, page 75-89. Springer, (2010)FILO: FIx-LOcus Localization for Backward Incompatibilities Caused by Android Framework Upgrades., , , and . ASE, page 1292-1296. IEEE, (2020)Ambient Assisted Living for an Ageing Society: a Technological Overview., , , and . AI*AAL@AI*IA, volume 1803 of CEUR Workshop Proceedings, page 43-58. CEUR-WS.org, (2016)