default search action

combined dblp search
author search
venue search
publication search

ask others

Jonathan de Halleux

Peli de Halleux

> Home > Persons

Person information

affiliation: Microsoft Research

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j11]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/pacmpl/BallHDHM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/pacmpl/BallHDHM24
Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, Michal Moskal:
Jacdac: Service-Based Prototyping of Embedded Systems. Proc. ACM Program. Lang. 8(PLDI): 692-715 (2024)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/sigmobile/DevineHBMHDGFUHOK24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigmobile/DevineHBMHDGFUHOK24
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:
Plug-and-Play Physical Computing and Device Prototyping with Jacdac. GetMobile Mob. Comput. Commun. 28(2): 38-43 (2024)
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/acmidc/HartleyRUFB0HDA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acmidc/HartleyRUFB0HDA24
Kobi Hartley, Elisa Rubegni, Lorraine Underwood, Joe Finney, Thomas Ball, Steve Hodges, Peli de Halleux, James Devine, Eric Anderson, Michal Moskal:
Meet MicroCode: a Live and Portable Programming Tool for the BBC micro: bit. IDC 2024: 355-370
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/uist/Underwood00RHF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/Underwood00RHF24
Lorraine Underwood, Thomas Ball, Steve Hodges, Elisa Rubegni, Peli de Halleux, Joe Finney:
MicroCode: live, portable programming for children via robotics. UIST (Adjunct Volume) 2024: 81:1-81:3
2023
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/tei/HartleyFHHDD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tei/HartleyFHHDD23
Kobi Hartley, Joe Finney, Steve Hodges, Peli de Halleux, James Devine, Gabriele D'Amone:
MakeDevice: Evolving Devices Beyond the Prototype with Jacdac. TEI 2023: 37:1-37:7
2022
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/imwut/DevineMHBHDGFUH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/imwut/DevineMHBHDGFUH22
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:
Plug-and-play Physical Computing with Jacdac. Proc. ACM Interact. Mob. Wearable Ubiquitous Technol. 6(3): 110:1-110:30 (2022)
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/uist/Potluri0DLMHHM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/uist/Potluri0DLMHHM22
Venkatesh Potluri, John Thompson, James Devine, Bongshin Lee, Nora Morsi, Peli de Halleux, Steve Hodges, Jennifer Mankoff:
PSST: Enabling Blind or Visually Impaired Developers to Author Sonifications of Streaming Sensor Data. UIST 2022: 46:1-46:13
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/vl/WilliamsMH22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vl/WilliamsMH22
Randi Williams, Michal Moskal, Peli de Halleux:
ML Blocks: A Block-Based, Graphical User Interface for Creating TinyML Models. VL/HCC 2022: 1-5
2021
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/SeyedDFMHHBR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/SeyedDFMHHBR21
Teddy Seyed, James Devine, Joe Finney, Michal Moskal, Peli de Halleux, Steve Hodges, Thomas Ball, Asta Roseway:
Rethinking the Runway: Using Avant-Garde Fashion To Design a System for Wearables. CHI 2021: 45:1-45:15
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/fdg/MoskalBCDHHKKNR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdg/MoskalBCDHHKKNR21
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:
Web-based Programming for Low-cost Gaming Handhelds. FDG 2021: 38:1-38:12
2020
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/AustinBBDFHHMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/AustinBBDFHHMS20
Jonny Austin, Howard Baker, Thomas Ball, James Devine, Joe Finney, Peli de Halleux, Steve Hodges, Michal Moskal, Gareth Stockdale:
The BBC micro: bit: from the U.K. to the world. Commun. ACM 63(3): 62-69 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsa/DevineFHMBH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsa/DevineFHMBH19
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges:
MakeCode and CODAL: Intuitive and efficient embedded systems programming for education. J. Syst. Archit. 98: 468-483 (2019)
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/SeyedHMDFHB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/SeyedHMDFHB19
Teddy Seyed, Peli de Halleux, Michal Moskal, James Devine, Joe Finney, Steve Hodges, Thomas Ball:
MakerArcade: Using Gaming and Physical Computing for Playful Making, Learning, and Creativity. CHI Extended Abstracts 2019
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/pppj/BallHM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pppj/BallHM19
Thomas Ball, Peli de Halleux, Michal Moskal:
Static TypeScript: an implementation of a static compiler for the TypeScript language. MPLR 2019: 105-116
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/splash/BallCHHMR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splash/BallCHHMR19
Thomas Ball, Abhijith Chatra, Peli de Halleux, Steve Hodges, Michal Moskal, Jacqueline Russell:
Microsoft MakeCode: embedded programming for education, in blocks and TypeScript. SPLASH-E 2019: 7-12
2018
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/KellySHB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/KellySHB18
Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI 2018: 409
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/KellySHB18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/KellySHB18a
Annie Kelly, R. Benjamin Shapiro, Jonathan de Halleux, Thomas Ball:
ARcadia: A Rapid Prototyping Platform for Real-time Tangible Interfaces. CHI Extended Abstracts 2018
[c66]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/LamSBM0LH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/LamSBM0LH18
Wing Lam, Siwakorn Srisakaokul, Blake Bassett, Peyman Mahdian, Tao Xie, Pratap Lakshman, Jonathan de Halleux:
A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects. ECOOP 2018: 5:1-5:27
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/lctrts/DevineFHMBH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lctrts/DevineFHMBH18
James Devine, Joe Finney, Peli de Halleux, Michal Moskal, Thomas Ball, Steve Hodges:
MakeCode and CODAL: intuitive and efficient embedded systems programming for education. LCTES 2018: 19-30
2017
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/BallBH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/BallBH17
Thomas Ball, Judith Bishop, Jonathan de Halleux:
The Micro: bit: Hands-on Computing for the New Generation (Abstract Only). SIGCSE 2017: 639
2016
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallPBMHBHR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallPBMHBHR16
Thomas Ball, Jonathan Protzenko, Judith Bishop, Michal Moskal, Jonathan de Halleux, Michael Braun, Steve Hodges, Clare Riley:
Microsoft touch develop and the BBC micro: bit. ICSE (Companion Volume) 2016: 637-640
2015
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/XiaoTFHMX15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/XiaoTFHMX15
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal, Tao Xie:
User-aware privacy control via extended static-information-flow analysis. Autom. Softw. Eng. 22(3): 333-366 (2015)
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/hotsos/XieBTH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotsos/XieBTH15
Tao Xie, Judith Bishop, Nikolai Tillmann, Jonathan de Halleux:
Gamifying software security education and training via secure coding duels in code hunt. HotSoS 2015: 26:1-26:2
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XieBHTH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XieBHTH15
Tao Xie, Judith Bishop, R. Nigel Horspool, Nikolai Tillmann, Jonathan de Halleux:
Crowdsourcing Code and Process via Code Hunt. CSI-SE 2015: 15-16
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallBHMPT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallBHMPT15
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Michal Moskal, Jonathan Protzenko, Nikolai Tillmann:
Beyond Open Source: The Touch Develop Cloud-Based Integrated Development Environment. MOBILESoft 2015: 83-93
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BishopHXTH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BishopHXTH15
Judith Bishop, R. Nigel Horspool, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Code Hunt: Experience with Coding Contests at Scale. ICSE (2) 2015: 398-407
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/HorspoolBHT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/HorspoolBHT15
R. Nigel Horspool, Judith Bishop, Jonathan de Halleux, Nikolai Tillmann:
Experience with constructing code hunt contests. CHESE@ISSTA 2015: 1-4
2014
[c57]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cc/AulerBHMT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cc/AulerBHMT14
Rafael Auler, Edson Borin, Peli de Halleux, Michal Moskal, Nikolai Tillmann:
Addressing JavaScript JIT Engines Performance Quirks: A Crowdsourced Adaptive Compiler. CC 2014: 218-237
[c56]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TillmannMHBBB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TillmannMHBBB14
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Sebastian Burckhardt, Thomas Ball, Judith Bishop:
TouchDevelop: create rich mobile apps on touch devices (tutorial). MOBILESoft 2014: 1-2
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TillmannHXB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TillmannHXB14
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Constructing coding duels in Pex4Fun and code hunt. ISSTA 2014: 445-448
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TillmannHX14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TillmannHX14
Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Transferring an automated test generation tool to practice: from pex to fakes and code digger. ASE 2014: 385-396
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/lats/TillmannHXB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lats/TillmannHXB14
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Code hunt: gamifying teaching and learning of computer science at scale. L@S 2014: 221-222
2013
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XieTH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XieTH13
Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Educational software engineering: where software engineering, education, and gaming meet. GAS@ICSE 2013: 36-39
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TillmannHXGB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TillmannHXGB13
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Sumit Gulwani, Judith Bishop:
Teaching and learning programming and software engineering via interactive gaming. ICSE 2013: 1117-1126
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/TillmannHXB13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/TillmannHXB13
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: A web-based environment for educational gaming via automated test generation. ASE 2013: 730-733
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/mobisys/LeHGS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mobisys/LeHGS13
Vu Le, Jonathan de Halleux, Sumit Gulwani, Zhendong Su:
Keyword programming for TouchDevelop. MobiSys 2013: 463-464
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BallHSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/BallHSL13
Thomas Ball, Peli de Halleux, Nikhil Swamy, Daan Leijen:
Increasing human-tool interaction via the web. PASTE 2013: 49-52
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BurckhardtFHMMTK13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BurckhardtFHMMTK13
Sebastian Burckhardt, Manuel Fähndrich, Peli de Halleux, Sean McDirmid, Michal Moskal, Nikolai Tillmann, Jun Kato:
It's alive! continuous feedback in UI programming. PLDI 2013: 95-104
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/JamrozikFTH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/JamrozikFTH13
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Generating Test Suites with Augmented Dynamic Symbolic Execution. TAP@STAF 2013: 152-167
2012
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/software/ZhangMLXTH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/ZhangMLXTH12
Linghao Zhang, Xiaoxing Ma, Jian Lu, Tao Xie, Nikolai Tillmann, Peli de Halleux:
Environmental Modeling for Automated Cloud Application Testing. IEEE Softw. 29(2): 30-35 (2012)
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/TillmannMHFX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/TillmannMHFX12
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage Your Students by Teaching Computer Science Using Only Mobile Devices with TouchDevelop. CSEE&T 2012: 87-89
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/TillmannHXB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/TillmannHXB12
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Pex4Fun: Teaching and Learning Computer Science via Social Gaming. CSEE&T 2012: 90-91
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/iticse/TillmannMHFBSX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iticse/TillmannMHFBSX12
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Judith Bishop, Arjmand Samuel, Tao Xie:
The future of teaching programming is on mobile devices. ITiCSE 2012: 156-161
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/XiaoTFHM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/XiaoTFHM12
Xusheng Xiao, Nikolai Tillmann, Manuel Fähndrich, Jonathan de Halleux, Michal Moskal:
User-aware privacy control via extended static-information-flow analysis. ASE 2012: 80-89
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/JamrozikFTH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/JamrozikFTH12
Konrad Jamrozik, Gordon Fraser, Nikolai Tillmann, Jonathan de Halleux:
Augmented dynamic symbolic execution. ASE 2012: 254-257
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/TillmannHXB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/TillmannHXB12
Nikolai Tillmann, Jonathan de Halleux, Tao Xie, Judith Bishop:
Teaching and learning computing via social gaming with Pex4Fun (abstract only). SIGCSE 2012: 659
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/sigcse/TillmannMHFX12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigcse/TillmannMHFX12
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Tao Xie:
Engage your students by teaching programming using only mobile devices with TouchDevelop (abstract only). SIGCSE 2012: 663
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/TillmannMHFB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/TillmannMHFB12
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich, Sebastian Burckhardt:
TouchDevelop: app development on mobile devices. SIGSOFT FSE 2012: 39
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/VanoverbergheHTP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/VanoverbergheHTP12
Dries Vanoverberghe, Jonathan de Halleux, Nikolai Tillmann, Frank Piessens:
State Coverage: Software Validation Metrics beyond Code Coverage. SOFSEM 2012: 542-553
2011
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/software/BallBHMQ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/BallBHMQ11
Thomas Ball, Sebastian Burckhardt, Peli de Halleux, Madan Musuvathi, Shaz Qadeer:
Predictable and Progressive Testing of Multithreaded Code. IEEE Softw. 28(3): 75-83 (2011)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/csee/TillmannHX11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csee/TillmannHX11
Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Pex4Fun: Teaching and learning computer science via social gaming. CSEE&T 2011: 546-548
[c35]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ThummalapentaMXTH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ThummalapentaMXTH11
Suresh Thummalapenta, Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Retrofitting Unit Tests for Parameterized Unit Testing. FASE 2011: 294-309
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XiaoXTH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XiaoXTH11
Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Precise identification of problems for structural test generation. ICSE 2011: 611-620
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/XiaoXTH11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/XiaoXTH11a
Xusheng Xiao, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Covana: precise identification of problems in pex. ICSE 2011: 1004-1006
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TanejaXTH11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TanejaXTH11
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
eXpress: guided path exploration for efficient regression test generation. ISSTA 2011: 1-11
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/TillmannMHF11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/TillmannMHF11
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fähndrich:
TouchDevelop: programming cloud-connected mobile devices via touchscreen. Onward! 2011: 49-60
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ThummalapentaXTHS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ThummalapentaXTHS11
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Zhendong Su:
Synthesizing method sequences for high-coverage testing. OOPSLA 2011: 189-206
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/saicsit/BishopHTHSX11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/saicsit/BishopHTHSX11
Judith Bishop, Jonathan de Halleux, Nikolai Tillmann, R. Nigel Horspool, Don Syme, Tao Xie:
Browser-based software for technology transfer. SAICSIT 2011: 338-340
2010
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TillmannHX10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TillmannHX10
Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
Parameterized unit testing: theory and practice. ICSE (2) 2010: 483-484
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/PanditaXTH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/PanditaXTH10
Rahul Pandita, Tao Xie, Nikolai Tillmann, Jonathan de Halleux:
Guided test generation for coverage criteria. ICSM 2010: 1-10
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/icsm/ZhangXZTHM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsm/ZhangXZTHM10
Lingming Zhang, Tao Xie, Lu Zhang, Nikolai Tillmann, Jonathan de Halleux, Hong Mei:
Test generation via Dynamic Symbolic Execution for mutation testing. ICSM 2010: 1-10
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VeanesHT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VeanesHT10
Margus Veanes, Peli de Halleux, Nikolai Tillmann:
Rex: Symbolic Regular Expression Explorer. ICST 2010: 498-507
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/lpar/VeanesTH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/VeanesTH10
Margus Veanes, Nikolai Tillmann, Jonathan de Halleux:
Qex: Symbolic SQL Query Explorer. LPAR (Dakar) 2010: 425-446
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/XieHTS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/XieHTS10
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wolfram Schulte:
Teaching and training developer-testing techniques and tool support. SPLASH/OOPSLA Companion 2010: 175-182
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/pts/LakhotiaTHH10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pts/LakhotiaTHH10
Kiran Lakhotia, Nikolai Tillmann, Mark Harman, Jonathan de Halleux:
FloPSy - Search-Based Floating Point Constraint Solving for Symbolic Execution. ICTSS 2010: 142-157
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/XieTHS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/XieTHS10
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Future of developer testing: building quality in code. FoSER 2010: 415-420
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/ThummalapentaHTW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/ThummalapentaHTW10
Suresh Thummalapenta, Jonathan de Halleux, Nikolai Tillmann, Scott Wadsworth:
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces. TAP@TOOLS 2010: 77-93
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/tools/HalleuxT10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tools/HalleuxT10
Jonathan de Halleux, Nikolai Tillmann:
Moles: Tool-Assisted Environment Isolation with Closures. TOOLS (48) 2010: 253-270

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/dsn/XieTHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dsn/XieTHS09
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Fitness-guided path exploration in dynamic symbolic execution. DSN 2009: 359-368
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/VeanesGHT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/VeanesGHT09
Margus Veanes, Pavel Grigorenko, Peli de Halleux, Nikolai Tillmann:
Symbolic Query Exploration. ICFEM 2009: 49-68
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MarriXTHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MarriXTHS09
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. AST 2009: 149-153
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/TanejaXTHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/TanejaXTHS09
Kunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Guided path exploration for regression test generation. ICSE Companion 2009: 311-314
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BarnettFHLT09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BarnettFHLT09
Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract. ICSE Companion 2009: 401-402
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BallBHMQ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BallBHMQ09
Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. ICSE Companion 2009: 403-404
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/XieTHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/XieTHS09
Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Mutation Analysis of Parameterized Unit Tests. ICST Workshops 2009: 177-181
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/itng/KongTH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/itng/KongTH09
Soonho Kong, Nikolai Tillmann, Jonathan de Halleux:
Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex. ITNG 2009: 758-762
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/LiXTHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/LiXTHS09
Nuo Li, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Reggae: Automated Test Generation for Programs Using Complex Regular Expressions. ASE 2009: 515-519
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/ThummalapentaXTHS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/ThummalapentaXTHS09
Suresh Thummalapenta, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
MSeqGen: object-oriented unit-test generation via mining source code. ESEC/SIGSOFT FSE 2009: 193-202
2008
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/software/GodefroidHNRSTL08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/software/GodefroidHNRSTL08
Patrice Godefroid, Jonathan de Halleux, Aditya V. Nori, Sriram K. Rajamani, Wolfram Schulte, Nikolai Tillmann, Michael Y. Levin:
Automating Software Testing Using Program Analysis. IEEE Softw. 25(5): 30-37 (2008)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TillmannH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TillmannH08
Nikolai Tillmann, Jonathan de Halleux:
White-box testing of behavioral web service contracts with Pex. TAV-WEB 2008: 47-48
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/VanoverbergheBHST08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/VanoverbergheBHST08
Dries Vanoverberghe, Nikolaj S. Bjørner, Jonathan de Halleux, Wolfram Schulte, Nikolai Tillmann:
Using Dynamic Symbolic Execution to Improve Deductive Verification. SPIN 2008: 9-25
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/TillmannH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/TillmannH08
Nikolai Tillmann, Jonathan de Halleux:
Pex-White Box Test Generation for .NET. TAP 2008: 134-153
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/HalleuxT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/HalleuxT08
Jonathan de Halleux, Nikolai Tillmann:
Parameterized Unit Testing with Pex. TAP 2008: 171-181
2007
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/psse/TillmannHS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/psse/TillmannHS07
Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Parameterized Unit Testing with Pex: Tutorial. PSSE 2007: 141-202
2004
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/scl/PrieurH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scl/PrieurH04
Christophe Prieur, Jonathan de Halleux:
Stabilization of a 1-D tank containing a fluid modeled by the shallow water equations. Syst. Control. Lett. 52(3-4): 167-178 (2004)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/HalleuxPB04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/HalleuxPB04
Jonathan de Halleux, Christophe Prieur, Georges Bastin:
Boundary control design for cascades of hyperbolic 2 × 2 PDE systems via graph theory. CDC 2004: 3313-3318
2003
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/automatica/HalleuxPCdB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/automatica/HalleuxPCdB03
Jonathan de Halleux, Christophe Prieur, Jean-Michel Coron, Brigitte d'Andréa-Novel, Georges Bastin:
Boundary feedback control in networks of open channels. Autom. 39(8): 1365-1376 (2003)
2002
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/0001H02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/0001H02
Christophe Prieur, Jonathan de Halleux:
Stabilization of a tank via output feedback. CDC 2002: 1497-1502
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/cdc/CoronHBd02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cdc/CoronHBd02
Jean-Michel Coron, Jonathan de Halleux, Georges Bastin, Brigitte d'Andréa-Novel:
On boundary control design for quasilinear hyperbolic systems with entropies as Lyapunov functions. CDC 2002: 3010-3014

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.