UFAM / Workshop Rule / Prolog / Long Beach / Denver / Orlando / Seattle / Tallinn / Grained Role / Atlanta / Manaus / Los Angeles / Universiti Sains Islam / Edinburgh / /
Company
Component-Based Systems / J. Software / Auto-Generated Mathematical Software / Computer-Based Systems / Certify AutoGenerated Aerospace Software / MIT Press / Third IEEE Intl / Embedded Software / Verifying Embedded C Software / Auto-Generated Aerospace Software / Workshop Software Transformation Systems / VLex / AIP Press / Neural Information Processing Systems / ANSI-C Software / 8th IEEE Intl / Model Checking Embedded Systems Software / ACM Press / IEEE Comp / AAAI Press / 17th IEEE Intl / Embedded Systems / International Journal / 20th IEEE Intl / Embedded ANSI-C Software / Multi-Threaded Software / Electronic Notes Theoretical Comp / Ames / High-Quality Software / Real-Time Systems / /
Country
Netherlands / Estonia / Brazil / United Kingdom / Germany / Sweden / Malaysia / United States / Ireland / /
Currency
GBP / USD / ZAR / / /
Facility
University of Stellenbosch / Building Heterogeneous Safety Cases / Stellenbosch University / University Federal de Amazonia / University of Bristol / University of Southampton / University of Abertay Dundee / University of Stellenbosch Private Bag X1 / University of Auckland / Tallinn Technical University / Utrecht University / NRF Knowledge Interchange / Building Mercer Kernels / /
IndustryTerm
software engineering / Web Applications / Web Application Domain / software safety certification / software libraries / Web-Based Data Analysis Applications / software model / /
Organization
Siemens Corporate Research Lab / PC / Tallinn Technical University / University of Bristol / NASA Ames Research Center / ASE and GPCE / IFIP WG / Bernd Fischer Division of Computer Science / University of Stellenbosch / University of Stellenbosch Private Bag X1 / MIT / SC / University of Abertay Dundee / ASE / EPSRC / Division of Computer Science / NASA office of Safety and Mission Assurance Software Assurance Research Program / National Aeronautics and Space Administration / Katholieke Universiteit Leuven / University of Southampton / Royal Society / University of Auckland / Utrecht University / Stellenbosch University / /
Person
W. Struckmann / S. H. Ghotbi / T. Baar / D. Nicole / W. Buntine / G. Snelting / Bernd Fischer / T. Pressburger / D. Smith / M. Kievernagel / Marius Ackerman / B. Fischer / T. Aubrey-Jones / A. Jorgensen / E. Denney / J. Morse / R. Economopoulos / R. Laemmel / V. Zaytsev / H. Jafari / T. Kaiser / T. Uustalu / D. Fuchs / O. Inverso / E. Tomasco / R. Barreto / N. Basir / M. Ramalho / J. Schumann / S. La Torre / L. Cordeiro / Van Baalen / E. Visser / Brink van der Merwe / G. Rosu / G. Parlato / A. Saabas / Gillian J. Greene / G. Sutcliffe / /
Position
Model Checking / Proposal co-author and consultant / Computer Scientist / RIACS / Program Certification Assistant / General / Principal investigator and co-investigator / NRF-rated researcher / C1 rating • Member / Supervisor / Professor / Senior Lecturer / Electronics and Computer Science / Associate Professor / Principal investigator / Deputy Head of Group / speaker / Leader / co-chair / chair / Lecturer / Module leader / /