Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Inferring Executable Models from Formalized Experimental Evidence.

V. Nigam, R. Donaldson, M. Knapp, T. McCarthy, and C. Talcott. CMSB, volume 9308 of Lecture Notes in Computer Science, page 90-103. Springer, (2015)

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.

Tim Hornung University of Stuttgart

Tim Mayer University of Stuttgart

Tim Uhlemann University of Stuttgart

Tim Würtele University of Stuttgart

Dr. -Ing. Tim Belschner University of Stuttgart

Other publications of authors with the same name

Bixie: Finding and Understanding Inconsistent Code.T. McCarthy, P. Rümmer, and M. Schäf. ICSE (2), page 645-648. IEEE Computer Society, (2015)ISBN 978-1-4799-1934-5 (Vol. I + II ???).Application patterns for cyber-physical systems.J. Choi, T. McCarthy, M. Yadav, M. Kim, C. Talcott, and E. Gressier-Soudan. CPSNA, page 52-59. IEEE Computer Society, (2013)Snake Energy Analysis and Result Validation for a Mobile Laser Scanning Data-Based Automated Road Edge Extraction Algorithm.P. Kumar, P. Lewis, C. McElhinney, P. Boguslawski, and T. McCarthy. IEEE J Sel. Topics in Appl. Earth Observ. and Remote Sensing, 10 (2): 763-773 (2017)A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems.M. Stehr, M. Kim, and T. McCarthy. Computing with New Resources, volume 8808 of Lecture Notes in Computer Science, page 379-393. Springer, (2014)Adaptive Wireless Networks as an Example of Declarative Fractionated Systems.J. Choi, T. McCarthy, M. Kim, and M. Stehr. MobiQuitous, volume 131 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, page 549-563. Springer, (2013)Towards a GIS-Based Decision Support System on the Amazon Cloud for the Modelling of Domestic Wastewater Treatment Solutions in Wexford, Ireland.N. Qazi, D. Smyth, and T. McCarthy. UKSim, page 236-240. IEEE, (2013)A Statistical Calculation of Fault Detection Probabilities By Fast Fault Simulation.J. Waicukauski, E. Lindbloom, E. Eichelberger, D. Forlenza, and T. McCarthy. ITC, page 779-784. IEEE Computer Society, (1985)Calculation of Target-Specific Point Distribution for 2D Mobile Laser Scanners.C. Cahalane, C. McElhinney, P. Lewis, and T. McCarthy. Sensors, 14 (6): 9471-9488 (2014)MIMIC: Mobile mapping point density calculator.C. Cahalane, T. McCarthy, and C. McElhinney. COM.Geo, page 15. ACM, (2012)Combining Remote Temperature Sensing with in-Situ Sensing to Track Marine/Freshwater Mixing Dynamics.M. McCaul, J. Barland, J. Cleary, C. Cahalane, T. McCarthy, and D. Diamond. Sensors, 16 (9): 1402 (2016)