| 2025 |
J |
jnl |
CoRR
Saibo Geng, Hudson Cooper, Michal Moskal, Samuel Jenkins, Julian Berman, Nathan Ranchin, Robert West, Eric Horvitz, Harsha Nori
|
| 2024 |
J |
jnl |
Proc. ACM Program. Lang.
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal
|
| 2024 |
Misc |
conf |
IDC
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Peli de Halleux, James Devine, Eric Anderson, Michal Moskal
|
| 2024 |
J |
jnl |
GetMobile Mob. Comput. Commun.
James Devine, Steve Hodges, Thomas Ball, Michal Moskal, Peli de Halleux, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Matt Oppenheim, Paul Kos
|
| 2022 |
B |
conf |
VL/HCC
Randi Williams, Michal Moskal, Peli de Halleux
|
| 2022 |
J |
jnl |
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
James Devine, Michal Moskal, Peli de Halleux, Thomas Ball, Steve Hodges, Gabriele D'Amone, David Gakure, Joe Finney, Lorraine Underwood, Kobi Hartley, Paul Kos, Matt Oppenheim
|
| 2021 |
A* |
conf |
CHI
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway
|
| 2021 |
C |
conf |
FDG
Michal Moskal, Thomas Ball, Abhijith Chatra, James Devine, Peli de Halleux, Steve Hodges, Shannon Kao, Richard Knoll, Galen Nickel, Jacqueline Russell, Joey Wunderlich, Daryl Zuniga
|
| 2020 |
J |
jnl |
Commun. ACM
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale
|
| 2019 |
J |
jnl |
J. Syst. Archit.
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
|
| 2019 |
— |
conf |
CHI Extended Abstracts
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball
|
| 2019 |
— |
conf |
SPLASH-E
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell
|
| 2019 |
C |
conf |
MPLR
Thomas Ball, Peli de Halleux, Michal Moskal
|
| 2018 |
— |
conf |
AIED (2)
Luc Paquette, Ryan S. Baker, Michal Moskal
|
| 2018 |
B |
conf |
LCTES
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges
|
| 2016 |
— |
conf |
ICSE (Companion Volume)
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley
|
| 2015 |
— |
conf |
MOBILESoft
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann
|
| 2015 |
— |
conf |
MobileDeLi
Jonathan Protzenko, Sebastian Burckhardt, Michal Moskal, Jedidiah McClurg
|
| 2015 |
J |
jnl |
Autom. Softw. Eng.
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie
|
| 2014 |
B |
conf |
CC
Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann
|
| 2014 |
B |
conf |
FM
K. Rustan M. Leino, Michal Moskal
|
| 2014 |
— |
conf |
MOBILESoft
Arno Puder, Nikolai Tillmann, Michal Moskal
|
| 2014 |
— |
conf |
MOBILESoft
Michael Hilton, Arpit Christi, Danny Dig, Michal Moskal, Sebastian Burckhardt, Nikolai Tillmann
|
| 2014 |
— |
conf |
MOBILESoft
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop
|
| 2013 |
A* |
conf |
PLDI
Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato
|
| 2012 |
— |
conf |
CSEE&T
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
|
| 2012 |
A |
conf |
SIGCSE
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie
|
| 2012 |
A* |
conf |
CAV
Michal Moskal
|
| 2012 |
B |
conf |
ITiCSE
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie
|
| 2012 |
— |
conf |
SIGSOFT FSE
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt
|
| 2012 |
A* |
conf |
ASE
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal
|
| 2012 |
— |
conf |
VSTTE
Nadia Polikarpova, Michal Moskal
|
| 2011 |
A |
conf |
CADE
Sascha Böhme, Michal Moskal
|
| 2011 |
B |
conf |
SEFM
Claire Le Goues, K. Rustan M. Leino, Michal Moskal
|
| 2011 |
C |
conf |
FUSION
Michal Moskal, Moises Sudit, Kedar Sambhoos
|
| 2011 |
— |
conf |
Onward!
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich
|
| 2011 |
— |
conf |
NASA Formal Methods
Michal Moskal
|
| 2010 |
J |
jnl |
Künstliche Intell.
Bernhard Beckert, Michal Moskal
|
| 2010 |
— |
conf |
The Future of Software Engineering
Andreas Blass, Yuri Gurevich, Michal Moskal, Itay Neeman
|
| 2010 |
J |
jnl |
J. Autom. Reason.
Sascha Böhme, Michal Moskal, Wolfram Schulte, Burkhart Wolff
|
| 2010 |
A* |
conf |
CAV
Ernie Cohen, Michal Moskal, Wolfram Schulte, Stephan Tobies
|
| 2009 |
— |
conf |
SSV
Ernie Cohen, Michal Moskal, Stephan Tobies, Wolfram Schulte
|
| 2009 |
— |
conf |
Ershov Memorial Conference
Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev
|
| 2009 |
— |
conf |
TPHOLs
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
|
| 2009 |
— |
conf |
ICSE Companion
Markus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte
|
| 2008 |
A |
conf |
TACAS
Michal Moskal
|
| 2008 |
— |
conf |
AMAST
Stefan Maus, Michal Moskal, Wolfram Schulte
|
| 2007 |
— |
conf |
SMT@CAV
Michal Moskal, Jakub Lopuszanski, Joseph R. Kiniry
|
| 2007 |
J |
jnl |
CoRR
Radu Grigore, Michal Moskal
|
| 2007 |
— |
conf |
SAVCBS
Mikolás Janota, Radu Grigore, Michal Moskal
|