Details

Organization Name (de) Name der Organisation (de)
University of Alabama at Birmingham, USA
 

OrgUnit's Publications


Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Bartocci Ezio - 2017 - First international Competition on Runtime Verification...pdf.jpgBartocci, Ezio ; Falcone, Yliès ; Bonakdarpour, Borzoo ; Colombo, Christian ; Decker, Normann ; Havelund, Klaus ; Joshi, Yogi ; Klaedtke, Felix ; Milewicz, Reed ; Reger, Giles ; Rosu, Grigore ; Signoles, Julien ; Thoma, Daniel ; Zalinescu, Eugen ; Zhang, Yi First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014Article Artikel 2019
2Sun, Yu ; Gray, Jeff ; Langer, Philip ; Kappel, Gerti ; Wimmer, Manuel ; White, Jules A WYSIWYG Approach to Support Layout Configuration in Model EvolutionBuchbeitrag Book Contribution 2011