Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Michal Young
@inproceedings{DBLP:conf/issta/AlsaeedY23,
author = {Ziyad Alsaeed and
Michal Young},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {Finding Short Slow Inputs Faster with Grammar-Based Search},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1068--1079},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3598118},
doi = {10.1145/3597926.3598118},
timestamp = {Mon, 17 Jul 2023 11:49:17 +0200},
biburl = {https://dblp.org/rec/conf/issta/AlsaeedY23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/AlsaeedY23a,
author = {Ziyad Alsaeed and
Michal Young},
editor = {Ren{\'{e}} Just and
Gordon Fraser},
title = {TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee
Break},
booktitle = {Proceedings of the 32nd {ACM} {SIGSOFT} International Symposium on
Software Testing and Analysis, {ISSTA} 2023, Seattle, WA, USA, July
17-21, 2023},
pages = {1507--1510},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3597926.3604925},
doi = {10.1145/3597926.3604925},
timestamp = {Mon, 17 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/AlsaeedY23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlsaeedY18,
author = {Ziyad Alsaeed and
Michal Young},
title = {Extending Existing Inference Tools to Mine Dynamic APIs},
booktitle = {2nd {IEEE/ACM} International Workshop on {API} Usage and Evolution,
WAPI@ICSE 2018, Gothenburg, Sweden, June 2, 2018},
pages = {23--26},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194793.3194797},
doi = {10.1145/3194793.3194797},
timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/AlsaeedY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2018seet,
editor = {Patricia Lago and
Michal Young},
title = {Proceedings of the 40th International Conference on Software Engineering:
Software Engineering Education and Training, {ICSE} {(SEET)} 2018,
Gothenburg, Sweden, May 27 - June 03, 2018},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3183377},
doi = {10.1145/3183377},
isbn = {978-1-4503-5660-2},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2018seet.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pacis/HsiaoSYY16,
author = {Bo Hsiao and
LihChyun Shu and
Michal Young and
Hsueh{-}Ching Yang},
editor = {Ting{-}Peng Liang and
Shin{-}Yuan Hung and
Patrick Y. K. Chau and
She{-}I Chang},
title = {Using Process Mining to Measure the Expected Costs of Business Processes},
booktitle = {20th Pacific Asia Conference on Information Systems, {PACIS} 2016,
Chiayi, Taiwan, June 27 - July 1, 2016},
pages = {264},
year = {2016},
url = {http://aisel.aisnet.org/pacis2016/264},
timestamp = {Tue, 08 Nov 2016 09:28:09 +0100},
biburl = {https://dblp.org/rec/conf/pacis/HsiaoSYY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/2015,
editor = {Michal Young and
Tao Xie},
title = {Proceedings of the 2015 International Symposium on Software Testing
and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783},
doi = {10.1145/2771783},
isbn = {978-1-4503-3620-8},
timestamp = {Fri, 05 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/LiRSY14,
author = {Kaituo Li and
Christoph Reichenbach and
Yannis Smaragdakis and
Michal Young},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Second-Order Constraints in Dynamic Invariant Inference},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {93--94},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30977},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/LiRSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/BrittellYL13,
author = {Megen E. Brittell and
Michal Young and
Amy Lobben},
editor = {Craig A. Knoblock and
Markus Schneider and
Peer Kr{\"{o}}ger and
John Krumm and
Peter Widmayer},
title = {The {MGIS:} a minimal geographic information system accessible to
users who are blind},
booktitle = {21st {SIGSPATIAL} International Conference on Advances in Geographic
Information Systems, {SIGSPATIAL} 2013, Orlando, FL, USA, November
5-8, 2013},
pages = {554--557},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2525314.2525329},
doi = {10.1145/2525314.2525329},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gis/BrittellYL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FaulkYPWY04,
author = {Stuart R. Faulk and
Michal Young and
Rafael Prikladnicki and
David M. Weiss and
Lian Yu},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {3rd international workshop on collaborative teaching of globally distributed
software development {(CTGDSD} 2013)},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {1515--1516},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606764},
doi = {10.1109/ICSE.2013.6606764},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FaulkYPWY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LiRSY13,
author = {Kaituo Li and
Christoph Reichenbach and
Yannis Smaragdakis and
Michal Young},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {Second-order constraints in dynamic invariant inference},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {103--113},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2491457},
doi = {10.1145/2491411.2491457},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LiRSY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csee/AlmeidaLFLRWYYY12,
author = {Eduardo Santana de Almeida and
Dali Li and
Stuart R. Faulk and
Crescencio Lima and
Zhang Rui and
David M. Weiss and
Jin Ying and
Michal Young and
Lian Yu},
editor = {Daoxu Chen and
Mike Barker and
LiGuo Huang},
title = {Teaching Globally Distributed Software Development: An Experience
Report},
booktitle = {25th {IEEE} Conference on Software Engineering Education and Training,
CSEE{\&}T 2012, Nanjing, China, April 17-19, 2012},
pages = {105--109},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSEET.2012.26},
doi = {10.1109/CSEET.2012.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csee/AlmeidaLFLRWYYY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/FarleyFLPY12,
author = {Arthur M. Farley and
Stuart R. Faulk and
Virginia Lo and
Andrzej Proskurowski and
Michal Young},
editor = {Richard J. LeBlanc and
Ann E. K. Sobel},
title = {Intensive international Summer Schools in Global Distributed Software
Development},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2012, Seattle, WA,
USA, October 3-6, 2012},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/FIE.2012.6462361},
doi = {10.1109/FIE.2012.6462361},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/FarleyFLPY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2012ctgdsd,
editor = {Stuart R. Faulk and
David M. Weiss and
Michal Young and
Lian Yu},
title = {Proceedings of the Second International Workshop on Collaborative
Teaching of Globally Distributed Software Development, {CTGDSD} 2012,
Zurich, Switzerland, June 9, 2012},
publisher = {{IEEE}},
year = {2012},
url = {http://dl.acm.org/citation.cfm?id=2663670},
isbn = {978-1-4673-1818-1},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2012ctgdsd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FaulkYWY11,
author = {Stuart R. Faulk and
Michal Young and
David M. Weiss and
Lian Yu},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Collaborative teaching of globally distributed software development:
community building workshop {(CTGDSD} 2011)},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {1208--1209},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1986049},
doi = {10.1145/1985793.1986049},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FaulkYWY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RossiY11,
author = {Matteo Rossi and
Michal Young},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {{SCORE} 2011: the second student contest on software engineering},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {1232--1233},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1986062},
doi = {10.1145/1985793.1986062},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RossiY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2011ctgdsd,
editor = {Stuart R. Faulk and
David M. Weiss and
Michal Young and
Lian Yu},
title = {Proceedings of the 2011 Community Building Workshop on Collaborative
Teaching of Globally Distributed Software Development, {CTGDSD} 2011,
Waikiki, Honolulu, HI, USA, May 21-28, 2011},
publisher = {{ACM}},
year = {2011},
url = {http://dl.acm.org/citation.cfm?id=1984665},
isbn = {978-1-4503-0590-7},
timestamp = {Thu, 14 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2011ctgdsd.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MandrioliFFJRY10,
author = {Dino Mandrioli and
Stephen Fickas and
Carlo A. Furia and
Mehdi Jazayeri and
Matteo Rossi and
Michal Young},
title = {{SCORE:} the first student contest on software engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {35},
number = {4},
pages = {24--30},
year = {2010},
url = {https://doi.org/10.1145/1811226.1811240},
doi = {10.1145/1811226.1811240},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/MandrioliFFJRY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/DouglasFLPY10,
author = {Sarah A. Douglas and
Arthur M. Farley and
Ginnie Lo and
Andrzej Proskurowski and
Michal Young},
editor = {Gary Lewandowski and
Steven A. Wolfman and
Thomas J. Cortina and
Ellen Lowenfeld Walker},
title = {Internationalization of computer science education},
booktitle = {Proceedings of the 41st {ACM} technical symposium on Computer science
education, {SIGCSE} 2010, Milwaukee, Wisconsin, USA, March 10-13,
2010},
pages = {411--415},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1734263.1734404},
doi = {10.1145/1734263.1734404},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/DouglasFLPY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/YoungF10,
author = {Michal Young and
Stuart R. Faulk},
editor = {Gruia{-}Catalin Roman and
Kevin J. Sullivan},
title = {Sharing what we know about software engineering},
booktitle = {Proceedings of the Workshop on Future of Software Engineering Research,
FoSER 2010, at the 18th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November
7-11, 2010},
pages = {439--442},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1882362.1882451},
doi = {10.1145/1882362.1882451},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/YoungF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/KoYARG10,
author = {Amy J. Ko and
Michal Young and
Jamie Andrews and
Brian P. Robinson and
Mark Grechanik},
editor = {Mark Harman and
Henry Muccini and
Wolfram Schulte and
Tao Xie},
title = {Computing and Diagnosing Changes in Unit Test Energy Consumption},
booktitle = {Practical Software Testing: Tool Automation and Human Factors, 14.03.
- 19.03.2010},
series = {Dagstuhl Seminar Proceedings},
volume = {10111},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2010},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2624/},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/KoYARG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GambiPY09,
author = {Alessio Gambi and
Mauro Pezz{\`{e}} and
Michal Young},
title = {{SLA} Protection models for virtualized data centers},
booktitle = {2009 {ICSE} Workshop on Software Engineering for Adaptive and Self-Managing
Systems, {SEAMS} 2009, Vancouver, BC, Canada, May 18-19, 2009},
pages = {10--19},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEAMS.2009.5069069},
doi = {10.1109/SEAMS.2009.5069069},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/GambiPY09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asplos/SmaragdakisKBY08,
author = {Yannis Smaragdakis and
Anthony Kay and
Reimer Behrends and
Michal Young},
editor = {Emery D. Berger and
Brad Chen},
title = {General and efficient locking without blocking},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} workshop on Memory Systems
Performance and Correctness: held in conjunction with the Thirteenth
International Conference on Architectural Support for Programming
Languages and Operating Systems {(ASPLOS} '08), Seattle, Washington,
USA, March 2, 2008},
pages = {1--5},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1353522.1353524},
doi = {10.1145/1353522.1353524},
timestamp = {Sat, 30 Sep 2023 09:34:47 +0200},
biburl = {https://dblp.org/rec/conf/asplos/SmaragdakisKBY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/paste/2008,
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
publisher = {{ACM}},
year = {2008},
url = {http://dl.acm.org/citation.cfm?id=1512475},
isbn = {978-1-60558-382-2},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paste/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0017273,
author = {Mauro Pezz{\`{e}} and
Michal Young},
title = {Software testing and analysis - process, principles and techniques},
publisher = {Wiley},
year = {2007},
isbn = {978-0-471-45593-6},
timestamp = {Mon, 21 Feb 2011 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/daglib/0017273.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mags/MerelliY07,
author = {Emanuela Merelli and
Michal Young},
title = {Validating {MAS} simulation models with mutation},
journal = {Multiagent Grid Syst.},
volume = {3},
number = {2},
pages = {225--243},
year = {2007},
url = {https://doi.org/10.3233/mgs-2007-3206},
doi = {10.3233/MGS-2007-3206},
timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mags/MerelliY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SmaragdakisKBY07,
author = {Yannis Smaragdakis and
Anthony Kay and
Reimer Behrends and
Michal Young},
editor = {Richard P. Gabriel and
David F. Bacon and
Cristina Videira Lopes and
Guy L. Steele Jr.},
title = {Transactions with isolation and cooperation},
booktitle = {Proceedings of the 22nd Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2007,
October 21-25, 2007, Montreal, Quebec, Canada},
pages = {191--210},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1297027.1297042},
doi = {10.1145/1297027.1297042},
timestamp = {Fri, 25 Jun 2021 14:48:54 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SmaragdakisKBY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2006,
editor = {Michal Young and
Premkumar T. Devanbu},
title = {Proceedings of the 14th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, {FSE} 2006, Portland, Oregon,
USA, November 5-11, 2006},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1181775},
doi = {10.1145/1181775},
isbn = {1-59593-468-5},
timestamp = {Tue, 01 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PezzeY04,
author = {Mauro Pezz{\`{e}} and
Michal Young},
editor = {Anthony Finkelstein and
Jacky Estublier and
David S. Rosenblum},
title = {Testing Object Oriented Software},
booktitle = {26th International Conference on Software Engineering {(ICSE} 2004),
23-28 May 2004, Edinburgh, United Kingdom},
pages = {739--740},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICSE.2004.1317513},
doi = {10.1109/ICSE.2004.1317513},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PezzeY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ZhangYF04,
author = {Xiaofang Zhang and
Michal Young and
John Howard Eli Fiskio{-}Lasseter},
editor = {Richard N. Taylor and
Matthew B. Dwyer},
title = {Refining code-design mapping with flow analysis},
booktitle = {Proceedings of the 12th {ACM} {SIGSOFT} International Symposium on
Foundations of Software Engineering, 2004, Newport Beach, CA, USA,
October 31 - November 6, 2004},
pages = {231--240},
publisher = {{ACM}},
year = {2004},
url = {https://doi.org/10.1145/1029894.1029926},
doi = {10.1145/1029894.1029926},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ZhangYF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BaresiY05,
author = {Luciano Baresi and
Michal Young},
editor = {Mauro Pezz{\`{e}}},
title = {Toward Translating Design Constraints to Run-Time Assertions},
booktitle = {Proceedings of the International Workshop on Test and Analysis of
Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {116},
pages = {73--84},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.085},
doi = {10.1016/J.ENTCS.2004.02.085},
timestamp = {Fri, 09 Dec 2022 13:14:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/Young03,
author = {Michal Young},
editor = {Mauro Pezz{\`{e}}},
title = {Symbiosis of Static Analysis and Program Testing},
booktitle = {Fundamental Approaches to Software Engineering, 6th International
Conference, {FASE} 2003, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
April 7-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2621},
pages = {1--5},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36578-8\_1},
doi = {10.1007/3-540-36578-8\_1},
timestamp = {Sun, 02 Oct 2022 16:01:12 +0200},
biburl = {https://dblp.org/rec/conf/fase/Young03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ChengYHP03,
author = {Yung{-}Pin Cheng and
Michal Young and
Che{-}Ling Huang and
Chia{-}Yi Pan},
editor = {Jukka Paakki and
Paola Inverardi},
title = {Towards scalable compositional analysis by refactoring design models},
booktitle = {Proceedings of the 11th {ACM} {SIGSOFT} Symposium on Foundations of
Software Engineering 2003 held jointly with 9th European Software
Engineering Conference, {ESEC/FSE} 2003, Helsinki, Finland, September
1-5, 2003},
pages = {247--256},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/940071.940105},
doi = {10.1145/940071.940105},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/ChengYHP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/ShuY02,
author = {LihChyun Shu and
Michal Young},
title = {Versioning concurrency control for hard real-time systems},
journal = {J. Syst. Softw.},
volume = {63},
number = {3},
pages = {201--218},
year = {2002},
url = {https://doi.org/10.1016/S0164-1212(02)00015-8},
doi = {10.1016/S0164-1212(02)00015-8},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/ShuY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/Fiskio-LasseterY02,
author = {John Howard Eli Fiskio{-}Lasseter and
Michal Young},
editor = {Matthew B. Dwyer and
Jens Palsberg},
title = {Flow equations as a generic programming tool for manipulation of attributed
graphs},
booktitle = {Proceedings of the 2002 {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis For Software Tools and Engineering, PASTE'02, Charleston,
South Carolina, USA, November 18-19, 2002},
pages = {69--76},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/586094.586108},
doi = {10.1145/586094.586108},
timestamp = {Thu, 21 Jan 2021 17:36:46 +0100},
biburl = {https://dblp.org/rec/conf/paste/Fiskio-LasseterY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2002,
editor = {Will Tracz and
Michal Young and
Jeff Magee},
title = {Proceedings of the 24th International Conference on Software Engineering,
{ICSE} 2002, 19-25 May 2002, Orlando, Florida, {USA}},
publisher = {{ACM}},
year = {2002},
url = {http://dl.acm.org/citation.cfm?id=581339},
timestamp = {Sun, 14 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/Young01,
author = {Michal Young},
title = {Neat models of messy problems: Notes on the interplay between solution-
and problem-centered disciplines, and more particularly on the interaction
between Petri net research and software engineering research},
journal = {Comput. Syst. Sci. Eng.},
volume = {16},
number = {3},
pages = {153--155},
year = {2001},
timestamp = {Wed, 05 May 2004 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/Young01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtas/ShuY01,
author = {LihChyun Shu and
Michal Young},
title = {Fault-Tolerant Scheduling under Time and Resource Constraints},
booktitle = {Proceedings of the 7th {IEEE} Real-Time Technology and Applications
Symposium {(RTAS} 2001), 30 May - 1 June 2001, Taipei, Taiwan},
pages = {117--119},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/RTTAS.2001.929873},
doi = {10.1109/RTTAS.2001.929873},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtas/ShuY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/Young00,
author = {Michal Young},
title = {High assurance technologies},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {106},
year = {2000},
url = {https://doi.org/10.1145/340855.341130},
doi = {10.1145/340855.341130},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/Young00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ShuY00,
author = {LihChyun Shu and
Michal Young},
title = {Chopping and versioning real-time transactions to avoid remote blocking},
booktitle = {7th International Workshop on Real-Time Computing and Applications
Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
Korea},
pages = {93--101},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/RTCSA.2000.896375},
doi = {10.1109/RTCSA.2000.896375},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ShuY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/ButkevichRBY00,
author = {Sergey Butkevich and
Marco Renedo and
Gerald Baumgartner and
Michal Young},
editor = {John C. Knight and
David S. Rosenblum},
title = {Compiler and tool support for debugging object protocols},
booktitle = {{ACM} {SIGSOFT} Symposium on Foundations of Software Engineering,
an Diego, California, USA, November 6-10, 2000, Proceedings},
pages = {50--59},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/355045.355052},
doi = {10.1145/355045.355052},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigsoft/ButkevichRBY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PavlopoulouY99,
author = {Christina Pavlopoulou and
Michal Young},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Residual Test Coverage Monitoring},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {277--284},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302637},
doi = {10.1145/302405.302637},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PavlopoulouY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issta/1998,
editor = {Mary Lou Soffa and
Michal Young and
Will Tracz},
title = {Proceedings of {ACM} {SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 1998, Clearwater Beach, Florida, USA,
March 2-5, 1998},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/271771},
doi = {10.1145/271771},
isbn = {0-89791-971-8},
timestamp = {Mon, 31 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PezzeY97,
author = {Mauro Pezz{\`{e}} and
Michal Young},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {Constructing Multi-Formalism State-Space Analysis Tools: Using Rules
to Specify Dynamic Semantics of Models},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {239--249},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253278},
doi = {10.1145/253228.253278},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/PezzeY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Young97,
author = {Michal Young},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {{ICSE} 97 Doctoral Consortium (Workshop Summary)},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {680--681},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253835},
doi = {10.1145/253228.253835},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Young97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/PezzeY96,
author = {Mauro Pezz{\`{e}} and
Michal Young},
editor = {Steve J. Zeil and
Will Tracz},
title = {Generation of Multi-Formalism State-Space Analysis Tools},
booktitle = {Proceedings of the 1996 International Symposium on Software Testing
and Analysis, {ISSTA} 1996, San Diego, CA, USA, January 8-10, 1996},
pages = {172--179},
publisher = {{ACM}},
year = {1996},
url = {https://doi.org/10.1145/229000.226314},
doi = {10.1145/229000.226314},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/PezzeY96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/YoungTLNB95,
author = {Michal Young and
Richard N. Taylor and
David L. Levine and
Kari A. Nies and
Debra Brodbeck},
title = {A Concurrency Analysis Tool Suite for Ada Programs: Rational, Design,
and Preliminary Experience},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {4},
number = {1},
pages = {65--106},
year = {1995},
url = {https://doi.org/10.1145/201055.201080},
doi = {10.1145/201055.201080},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/YoungTLNB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/PezzeTY95,
author = {Mauro Pezz{\`{e}} and
Richard N. Taylor and
Michal Young},
title = {Graph Models for Reachability of Concurrent Programs},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {4},
number = {2},
pages = {171--213},
year = {1995},
url = {https://doi.org/10.1145/210134.210180},
doi = {10.1145/210134.210180},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/PezzeTY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/XuY95,
author = {Lu Xu and
Michal Young},
title = {Two Dimensional Concurrent Program Debugging},
booktitle = {2nd Asia-Pacific Software Engineering Conference {(APSEC} '95), December
6-9, 1995, Brisbane, Queensland, Australia},
pages = {76--85},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/APSEC.1995.496956},
doi = {10.1109/APSEC.1995.496956},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/XuY95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/YehY94,
author = {Wei Jen Yeh and
Michal Young},
title = {Re-designing Tasking Structures of Ada Programs for Analysis: {A}
Case Study},
journal = {Softw. Test. Verification Reliab.},
volume = {4},
number = {4},
pages = {223--253},
year = {1994},
url = {https://doi.org/10.1002/stvr.4370040404},
doi = {10.1002/STVR.4370040404},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/YehY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/AngerRY94,
author = {Frank D. Anger and
Rita V. Rodr{\'{\i}}guez and
Michal Young},
editor = {Hausi A. M{\"{u}}ller and
Mari Georges},
title = {Combining Static and Dynamic Analysis of Concurrent Programs},
booktitle = {Proceedings of the International Conference on Software Maintenance,
{ICSM} 1994, Victoria, BC, Canada, September 1994},
pages = {89--98},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ICSM.1994.336786},
doi = {10.1109/ICSM.1994.336786},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/AngerRY94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/Young94,
author = {Michal Young},
editor = {Thomas J. Ostrand},
title = {State-Space Analysis as an Aid to Testing (Abstract)},
booktitle = {Proceedings of the 1994 International Symposium on Software Testing
and Analysis, {ISSTA} 1994, Seattle, WA, USA, August 17-19, 1994},
pages = {203},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/186258.187204},
doi = {10.1145/186258.187204},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/Young94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YehY91,
author = {Wei Jen Yeh and
Michal Young},
editor = {William E. Howden},
title = {Compositional Reachability Analysis Using Process Algebra},
booktitle = {Proceedings of the Symposium on Testing, Analysis, and Verification,
{TAV} 1991, Victoria, British Columbia, Canada, October 8-10, 1991},
pages = {49--59},
publisher = {{ACM}},
year = {1991},
url = {https://doi.org/10.1145/120807.120812},
doi = {10.1145/120807.120812},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/YehY91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YoungT89,
author = {Michal Young and
Richard N. Taylor},
editor = {Larry E. Druffel and
Dick Fairley and
Dines Bj{\o}rner},
title = {Rethinking the Taxonomy of Fault Detection Techniques},
booktitle = {Proceedings of the 11th International Conference on Software Engineering,
Pittsburg, PA, USA, May 15-18, 1989},
pages = {53--62},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/74587.74593},
doi = {10.1145/74587.74593},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/YoungT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/YoungTFB89,
author = {Michal Young and
Richard N. Taylor and
K. Forester and
Debra Brodbeck},
editor = {Richard A. Kemmerer},
title = {Integrated Concurrency Analysis in a Software Development Enviornment},
booktitle = {Proceedings of the {ACM} {SIGSOFT} '89 Third Symposium on Testing,
Analysis, and Verification, {TAV} 1989, Key West, Florida, USA, December
13-15, 1989},
pages = {200--209},
publisher = {{ACM}},
year = {1989},
url = {https://doi.org/10.1145/75308.75331},
doi = {10.1145/75308.75331},
timestamp = {Fri, 18 Feb 2022 16:21:58 +0100},
biburl = {https://dblp.org/rec/conf/issta/YoungTFB89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YoungTT88,
author = {Michal Young and
Richard N. Taylor and
Dennis B. Troup},
title = {Software Environment Architectures and User Interface Facilities},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {6},
pages = {697--708},
year = {1988},
url = {https://doi.org/10.1109/32.6151},
doi = {10.1109/32.6151},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YoungTT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/YoungT88,
author = {Michal Young and
Richard N. Taylor},
title = {Combining Static Concurrency Analysis with Symbolic Execution},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {10},
pages = {1499--1511},
year = {1988},
url = {https://doi.org/10.1109/32.6195},
doi = {10.1109/32.6195},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/YoungT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/YoungTTK88,
author = {Michal Young and
Richard N. Taylor and
Dennis B. Troup and
Cheryl D. Kelly},
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {Design Principles behind Chiron: {A} {UIMS} for Software Environments},
booktitle = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
pages = {367--376},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55859},
timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
biburl = {https://dblp.org/rec/conf/icse/YoungTTK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/TaylorBCOSWWY88,
author = {Richard N. Taylor and
Frank C. Belz and
Lori A. Clarke and
Leon J. Osterweil and
Richard W. Selby and
Jack C. Wileden and
Alexander L. Wolf and
Michal Young},
editor = {Peter B. Henderson},
title = {Foundations for the Arcadia Environment Architecture},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Boston, Massachusetts,
USA, November 28-30, 1988},
pages = {1--13},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/64135.65004},
doi = {10.1145/64135.65004},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/TaylorBCOSWWY88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 2023-09-27 22:41 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:
