Applying static analysis to large-scale, multi-threaded Java programs
Artho, C., Biere, A.
Published in Proceedings 2001 Australian Software Engineering Conference (2001)
Published in Proceedings 2001 Australian Software Engineering Conference (2001)
Get full text
Conference Proceeding
Modular Software Model Checking for Distributed Systems
Leungwattanakit, Watcharin, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu, Takahashi, Koichi
Published in IEEE transactions on software engineering (01.05.2014)
Published in IEEE transactions on software engineering (01.05.2014)
Get full text
Journal Article
High-level data races
Artho, Cyrille, Havelund, Klaus, Biere, Armin
Published in Software testing, verification & reliability (01.12.2003)
Published in Software testing, verification & reliability (01.12.2003)
Get full text
Journal Article
Combining test case generation and runtime verification
Artho, Cyrille, Barringer, Howard, Goldberg, Allen, Havelund, Klaus, Khurshid, Sarfraz, Lowry, Mike, Pasareanu, Corina, Roşu, Grigore, Sen, Koushik, Visser, Willem, Washington, Rich
Published in Theoretical computer science (2005)
Published in Theoretical computer science (2005)
Get full text
Journal Article
In Industrial Embedded Software, are Some Compilation Errors Easier to Localize and Fix than Others?
Han, F., Eldh, Sigrid, Wiklund, Kristian, Ermedah, Andreas, Haller, Philipp, Artho, Cyrille
Published in 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) (27.05.2024)
Published in 2024 IEEE Conference on Software Testing, Verification and Validation (ICST) (27.05.2024)
Get full text
Conference Proceeding
Model checking distributed systems by combining caching and process checkpointing
Leungwattanakit, Watcharin, Artho, Cyrille, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Published in 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (06.11.2011)
Get full text
Conference Proceeding
Cache-Based Model Checking of Networked Applications: From Linear to Branching Time
Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y., Yamamoto, M.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)
Get full text
Conference Proceeding
Accurate Centralization for Applying Model Checking on Networked Applications
Artho, C., Garoche, P.-L.
Published in 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (01.01.2006)
Published in 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (01.01.2006)
Get full text
Conference Proceeding
Verifying networked programs using a model checker extension
Leungwattanakit, W., Artho, C., Hagiya, M., Tanabe, Y., Yamamoto, M.
Published in 2009 31st International Conference on Software Engineering - Companion Volume (01.05.2009)
Published in 2009 31st International Conference on Software Engineering - Companion Volume (01.05.2009)
Get full text
Conference Proceeding
Why do software packages conflict?
Artho, C., Suzaki, K., Di Cosmo, R., Treinen, R., Zacchiroli, S.
Published in 2012 9th IEEE Working Conference on Mining Software Repositories (MSR) (01.06.2012)
Published in 2012 9th IEEE Working Conference on Mining Software Repositories (MSR) (01.06.2012)
Get full text
Conference Proceeding
Visualization of Concurrent Program Executions
Artho, C., Havelund, K., Honiden, S.
Published in 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) (01.07.2007)
Published in 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) (01.07.2007)
Get full text
Conference Proceeding
Model Checking Networked Programs in the Presence of Transmission Failures
Artho, C., Sommer, C., Honiden, S.
Published in First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) (01.06.2007)
Published in First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07) (01.06.2007)
Get full text
Conference Proceeding
Architecture-aware Partial Order Reduction to Accelerate Model Checking of Networked Programs
Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y.
Published in 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (01.08.2008)
Published in 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (01.08.2008)
Get full text
Conference Proceeding
Tools and Techniques for Model Checking Networked Programs
Artho, C., Leungwattanakit, W., Hagiya, M., Tanabe, Y.
Published in 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (01.08.2008)
Published in 2008 Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing (01.08.2008)
Get full text
Conference Proceeding
AOP-based automated unit test classification of large benchmarks
Artho, C., Zhongwei Chen, Honiden, S.
Published in 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) (01.07.2007)
Published in 31st Annual International Computer Software and Applications Conference (COMPSAC 2007) (01.07.2007)
Get full text
Conference Proceeding
Filter für Zigaretten
KOCH,ROBERT, HOFFMANN,KLAUS, LUKACS,JANOS, ABRECHT,HANS,DR, ETH. ARTHO,ANTOINE,SC. TECHN
Year of Publication 15.01.1971
Get full text
Year of Publication 15.01.1971
Patent