default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tim Wahls
@article{DBLP:journals/sttt/RiveraCWR17,
author = {Victor Rivera and
N{\'{e}}stor Cata{\~{n}}o and
Tim Wahls and
Camilo Rueda},
title = {Code generation for Event-B},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {1},
pages = {31--52},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0381-2},
doi = {10.1007/S10009-015-0381-2},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/RiveraCWR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/Wahls16,
author = {Tim Wahls},
title = {MedicationChecker: Development of a Formally Verified Android Application
with EventB2SQL},
booktitle = {2016 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2016, Vienna, Austria, August 1-3, 2016},
pages = {307--314},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/QRS.2016.42},
doi = {10.1109/QRS.2016.42},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/Wahls16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Wahls16,
author = {Tim Wahls},
title = {Formal Semantics and Soundness of a Translation from Event-B Actions
to {SQL} Statements},
journal = {CoRR},
volume = {abs/1606.02669},
year = {2016},
url = {http://arxiv.org/abs/1606.02669},
eprinttype = {arXiv},
eprint = {1606.02669},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Wahls16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qrs/CatanoW15,
author = {N{\'{e}}stor Cata{\~{n}}o and
Tim Wahls},
title = {A Case Study on Code Generation of an {ERP} System from Event-B},
booktitle = {2015 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2015, Vancouver, BC, Canada, August 3-5, 2015},
pages = {183--188},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/QRS.2015.34},
doi = {10.1109/QRS.2015.34},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/CatanoW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/WangW14,
author = {Qi Wang and
Tim Wahls},
editor = {Dimitra Giannakopoulou and
Gwen Sala{\"{u}}n},
title = {Translating Event-B Machines to Database Applications},
booktitle = {Software Engineering and Formal Methods - 12th International Conference,
{SEFM} 2014, Grenoble, France, September 1-5, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8702},
pages = {265--270},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10431-7\_19},
doi = {10.1007/978-3-319-10431-7\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sefm/WangW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CatanoRW13,
author = {N{\'{e}}stor Cata{\~{n}}o and
Camilo Rueda and
Tim Wahls},
title = {A Machine-Checked Proof for a Translation of Event-B Machines to {JML}},
journal = {CoRR},
volume = {abs/1309.2339},
year = {2013},
url = {http://arxiv.org/abs/1309.2339},
eprinttype = {arXiv},
eprint = {1309.2339},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CatanoRW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CatanoWRRY12,
author = {N{\'{e}}stor Cata{\~{n}}o and
Tim Wahls and
Camilo Rueda and
V{\'{\i}}ctor Rivera and
Danni Yu},
editor = {Sascha Ossowski and
Paola Lecca},
title = {Translating {B} machines to {JML} specifications},
booktitle = {Proceedings of the {ACM} Symposium on Applied Computing, {SAC} 2012,
Riva, Trento, Italy, March 26-30, 2012},
pages = {1271--1277},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2245276.2231978},
doi = {10.1145/2245276.2231978},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/CatanoWRRY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jeric/BraughtWE11,
author = {Grant Braught and
Tim Wahls and
L. Martin Eby},
title = {The Case for Pair Programming in the Computer Science Classroom},
journal = {{ACM} Trans. Comput. Educ.},
volume = {11},
number = {1},
pages = {2:1--2:21},
year = {2011},
url = {https://doi.org/10.1145/1921607.1921609},
doi = {10.1145/1921607.1921609},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jeric/BraughtWE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BraughtMW10,
author = {Grant Braught and
John MacCormick and
Tim Wahls},
editor = {Gary Lewandowski and
Steven A. Wolfman and
Thomas J. Cortina and
Ellen Lowenfeld Walker},
title = {The benefits of pairing by ability},
booktitle = {Proceedings of the 41st {ACM} technical symposium on Computer science
education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
2010},
pages = {249--253},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1734263.1734348},
doi = {10.1145/1734263.1734348},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BraughtMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/CatanoW09,
author = {N{\'{e}}stor Cata{\~{n}}o and
Tim Wahls},
editor = {Sung Y. Shin and
Sascha Ossowski},
title = {Executing {JML} specifications of Java card applications: a case study},
booktitle = {Proceedings of the 2009 {ACM} Symposium on Applied Computing (SAC),
Honolulu, Hawaii, USA, March 9-12, 2009},
pages = {404--408},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1529282.1529373},
doi = {10.1145/1529282.1529373},
timestamp = {Tue, 06 Nov 2018 11:06:49 +0100},
biburl = {https://dblp.org/rec/conf/sac/CatanoW09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/BraughtEW08,
author = {Grant Braught and
L. Martin Eby and
Tim Wahls},
editor = {J. D. Dougherty and
Susan H. Rodger and
Sue Fitzgerald and
Mark Guzdial},
title = {The effects of pair-programming on individual programming skill},
booktitle = {Proceedings of the 39th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2008, Portland, OR, USA, March 12-15, 2008},
pages = {200--204},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1352135.1352207},
doi = {10.1145/1352135.1352207},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/BraughtEW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/KrauseW06,
author = {Ben Krause and
Tim Wahls},
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {jmle: {A} Tool for Executing {JML} Specifications Via Constraint Programming},
booktitle = {Formal Methods: Applications and Technology, 11th International Workshop,
{FMICS} 2006 and 5th International Workshop {PDMC} 2006, Bonn, Germany,
August 26-27, and August 31, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4346},
pages = {293--296},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70952-7\_19},
doi = {10.1007/978-3-540-70952-7\_19},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/KrauseW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/CombsHPSWZ05,
author = {William Combs and
Robert K. Hawkins and
Thomas Pore and
Arik Schechet and
Tim Wahls and
Louis Ziantz},
editor = {Wanda P. Dann and
Thomas L. Naps and
Paul T. Tymann and
Doug Baldwin},
title = {The course scheduling problem as a source of student projects},
booktitle = {Proceedings of the 36th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2005, St. Louis, Missouri, USA, February 23-27,
2005},
pages = {81--85},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1047344.1047385},
doi = {10.1145/1047344.1047385},
timestamp = {Thu, 10 Jun 2021 16:43:03 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/CombsHPSWZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/FenicleW04,
author = {Brian Fenicle and
Tim Wahls},
title = {A secure methodology for interchangeable services},
journal = {Inf. Softw. Technol.},
volume = {46},
number = {5},
pages = {343--349},
year = {2004},
url = {https://doi.org/10.1016/j.infsof.2003.09.010},
doi = {10.1016/J.INFSOF.2003.09.010},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/FenicleW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/moz/Wahls04,
author = {Tim Wahls},
editor = {Peter Van Roy},
title = {Compiling Formal Specifications to Oz Programs},
booktitle = {Multiparadigm Programming in Mozart/Oz, Second International Conference,
{MOZ} 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3389},
pages = {66--77},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31845-3\_6},
doi = {10.1007/978-3-540-31845-3\_6},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/moz/Wahls04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FenicleW03,
author = {Brian Fenicle and
Tim Wahls},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {A Methodology to Provide and Use Interchangeable Services},
booktitle = {Proceedings of the 2003 {ACM} Symposium on Applied Computing (SAC),
March 9-12, 2003, Melbourne, FL, {USA}},
pages = {1140--1146},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/952532.952754},
doi = {10.1145/952532.952754},
timestamp = {Tue, 06 Nov 2018 11:06:45 +0100},
biburl = {https://dblp.org/rec/conf/sac/FenicleW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/WahlsL01,
author = {Tim Wahls and
Gary T. Leavens},
editor = {Gary B. Lamont},
title = {Formal semantics of an algorithm for translating model-based specifications
to concurrent constraint programs},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {567--575},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372465},
doi = {10.1145/372202.372465},
timestamp = {Tue, 06 Nov 2018 11:06:46 +0100},
biburl = {https://dblp.org/rec/conf/sac/WahlsL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/ChenW01,
author = {Xiaowen Chen and
Tim Wahls},
editor = {Gary B. Lamont},
title = {A graphical user interface for executing formal specifications},
booktitle = {Proceedings of the 2001 {ACM} Symposium on Applied Computing (SAC),
March 11-14, 2001, Las Vegas, NV, {USA}},
pages = {648--652},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/372202.372792},
doi = {10.1145/372202.372792},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/ChenW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/WahlsLB00,
author = {Tim Wahls and
Gary T. Leavens and
Albert L. Baker},
title = {Executing Formal Specifications with Concurrent Constraint Programming},
journal = {Autom. Softw. Eng.},
volume = {7},
number = {4},
pages = {315--343},
year = {2000},
url = {https://doi.org/10.1023/A:1026554217992},
doi = {10.1023/A:1026554217992},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/WahlsLB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LeavensWB99,
author = {Gary T. Leavens and
Tim Wahls and
Albert L. Baker},
editor = {Barrett R. Bryant and
Gary B. Lamont and
Hisham Haddad and
Janice H. Carroll},
title = {Formal Semantics for {SA} Style Data Flow Diagram Specification Languages},
booktitle = {Proceedings of the 1999 {ACM} Symposium on Applied Computing, SAC'99,
San Antonio, Texas, USA, February 28 - March 2, 1999},
pages = {526--532},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/298151.298433},
doi = {10.1145/298151.298433},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/LeavensWB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-25 05:56 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
