default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Thomas Weigert
@inproceedings{DBLP:conf/idt2/KolchinPW21,
author = {Alexander Kolchin and
Stepan Potiyenko and
Thomas Weigert},
title = {Extending data flow coverage with redefinition analysis},
booktitle = {International Conference on Information and Digital Technologies,
{IDT} 2021, Zilina, Slovakia, June 22-24, 2021},
pages = {293--296},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/IDT52577.2021.9497535},
doi = {10.1109/IDT52577.2021.9497535},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/idt2/KolchinPW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ukrprog/KolchinPW20,
author = {Alexander Kolchin and
Stepan Potiyenko and
Thomas Weigert},
editor = {Ivan Sergienko and
Philip Andon},
title = {Efficient Increasing of the Mutation Score During Model-Based Test
Suite Generation},
booktitle = {Proceedings of the 12th International Scientific and Practical Conference
of Programming (UkrPROG 2020), Kyiv, Ukraine, September 15-16, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2866},
pages = {331--341},
publisher = {CEUR-WS.org},
year = {2020},
url = {http://ceur-ws.org/Vol-2866/ceur\_331-341kolchin33.pdf},
timestamp = {Fri, 08 Dec 2023 14:24:28 +0100},
biburl = {https://dblp.org/rec/conf/ukrprog/KolchinPW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icist/KolchinPW19,
author = {Alexander Kolchin and
Stepan Potiyenko and
Thomas Weigert},
editor = {Robertas Damasevicius and
Giedre Vasiljeviene},
title = {Challenges for Automated, Model-Based Test Scenario Generation},
booktitle = {Information and Software Technologies - 25th International Conference,
{ICIST} 2019, Vilnius, Lithuania, October 10-12, 2019, Proceedings},
series = {Communications in Computer and Information Science},
volume = {1078},
pages = {182--194},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30275-7\_15},
doi = {10.1007/978-3-030-30275-7\_15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icist/KolchinPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/WeigertKPGBBCYV19,
author = {Thomas Weigert and
Alexander Kolchin and
Stepan Potiyenko and
Oleg Gurenko and
Aswin van den Berg and
Valentyn Banas and
Roman Chetvertak and
Roman Yagodka and
Vlad Volkov},
editor = {Pau Fonseca i Casas and
Maria{-}Ribera Sancho and
Edel Sherratt},
title = {Generating Test Suites to Validate Legacy Systems},
booktitle = {System Analysis and Modeling. Languages, Methods, and Tools for Industry
4.0 - 11th International Conference, {SAM} 2019, Munich, Germany,
September 16-17, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11753},
pages = {3--23},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30690-8\_1},
doi = {10.1007/978-3-030-30690-8\_1},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sam/WeigertKPGBBCYV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/LetichevskyLPW15,
author = {Alexander A. Letichevsky and
Oleksandr A. Letychevskyi and
Volodymyr Peschanenko and
Thomas Weigert},
editor = {Joachim Fischer and
Markus Scheidgen and
Ina Schieferdecker and
Rick Reed},
title = {Insertion Modeling and Symbolic Verification of Large Systems},
booktitle = {{SDL} 2015: Model-Driven Engineering for Smart Cities - 17th International
{SDL} Forum, Berlin, Germany, October 12-14, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9369},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24912-4\_1},
doi = {10.1007/978-3-319-24912-4\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/LetichevskyLPW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/NerellaSMW14,
author = {Venkata Krishna Suhas Nerella and
Swetha Surapaneni and
Sanjay Kumar Madria and
Thomas Weigert},
title = {Exploring optimization and caching for efficient collection operations},
journal = {Autom. Softw. Eng.},
volume = {21},
number = {1},
pages = {3--40},
year = {2014},
url = {https://doi.org/10.1007/s10515-013-0119-x},
doi = {10.1007/S10515-013-0119-X},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/NerellaSMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NerellaMW14,
author = {Venkata Krishna Suhas Nerella and
Sanjay Madria and
Thomas Weigert},
title = {Efficient Caching and Incrementalization of Object Queries on Collections
in Programming Codes},
booktitle = {{IEEE} 38th Annual Computer Software and Applications Conference,
{COMPSAC} 2014, Vasteras, Sweden, July 21-25, 2014},
pages = {229--238},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/COMPSAC.2014.31},
doi = {10.1109/COMPSAC.2014.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/NerellaMW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LetychevskyiW14,
author = {Oleksandr A. Letychevskyi and
Thomas Weigert},
editor = {Tony Gorschek and
Robyn R. Lutz},
title = {Symbolic verification of requirements in {VRS} system},
booktitle = {{IEEE} 22nd International Requirements Engineering Conference, {RE}
2014, Karlskrona, Sweden, August 25-29, 2014},
pages = {331--332},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RE.2014.6912282},
doi = {10.1109/RE.2014.6912282},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LetychevskyiW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NerellaMW13,
author = {Venkata Krishna Suhas Nerella and
Sanjay Kumar Madria and
Thomas Weigert},
title = {Optimization of Object Queries on Collections Using Annotations for
the String Valued Attributes},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {313--318},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.56},
doi = {10.1109/COMPSAC.2013.56},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/NerellaMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/NerellaMW13,
author = {Venkata Krishna Suhas Nerella and
Sanjay Kumar Madria and
Thomas Weigert},
editor = {Anthony Cleve and
Filippo Ricca and
Maura Cerioli},
title = {An Approach for Optimization of Object Queries on Collections Using
Annotations},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
{CSMR} 2013, Genova, Italy, March 5-8, 2013},
pages = {273--282},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSMR.2013.36},
doi = {10.1109/CSMR.2013.36},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/NerellaMW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/CottenierBW12a,
author = {Thomas Cottenier and
Aswin van den Berg and
Thomas Weigert},
editor = {Awais Rashid and
Jo{\~{a}}o Ara{\'{u}}jo and
J{\"{o}}rg Kienzle and
Bedir Tekinerdogan and
Ana Moreira},
title = {Architecture composition for concurrent systems},
booktitle = {Proceedings of the 2012 Workshop on Next Generation Modularity Approaches
for Requirements and Architecture, {NEMARA} '12, Potsdam, Germany,
March 27, 2012},
pages = {17--22},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162004.2162009},
doi = {10.1145/2162004.2162009},
timestamp = {Wed, 22 Dec 2021 12:54:09 +0100},
biburl = {https://dblp.org/rec/conf/aosd/CottenierBW12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/CottenierBW12,
author = {Thomas Cottenier and
Aswin van den Berg and
Thomas Weigert},
editor = {Robert Hirschfeld and
{\'{E}}ric Tanter and
Kevin J. Sullivan and
Richard P. Gabriel},
title = {Management of feature interactions with transactional regions},
booktitle = {Proceedings of the 11th International Conference on Aspect-oriented
Software Development, {AOSD} 2012, Potsdam, Germany, March 25-30,
2012},
pages = {119--130},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162049.2162064},
doi = {10.1145/2162049.2162064},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/aosd/CottenierBW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/CottenierBW12,
author = {Thomas Cottenier and
Aswin van den Berg and
Thomas Weigert},
editor = {Shmuel Katz and
Gary T. Leavens and
Hidehiko Masuhara},
title = {Modular reasoning about region composition},
booktitle = {Proceedings of the eleventh workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2012, Potsdam, Germany, March 25-30, 2012},
pages = {15--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2162010.2162016},
doi = {10.1145/2162010.2162016},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foal/CottenierBW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/NerellaMW12,
author = {Venkata Krishna Suhas Nerella and
Sanjay Madria and
Thomas Weigert},
title = {Exploring Compile Time Caching of Explicit Queries in Programming
Codes},
booktitle = {{IEEE} 31st Symposium on Reliable Distributed Systems, {SRDS} 2012,
Irvine, CA, USA, October 8-11, 2012},
pages = {477--478},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SRDS.2012.27},
doi = {10.1109/SRDS.2012.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/NerellaMW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/OvatmanWB11,
author = {Tolga Ovatman and
Thomas Weigert and
Feza Buzluca},
title = {Exploring implicit parallelism in class diagrams},
journal = {J. Syst. Softw.},
volume = {84},
number = {5},
pages = {821--834},
year = {2011},
url = {https://doi.org/10.1016/j.jss.2011.01.005},
doi = {10.1016/J.JSS.2011.01.005},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/OvatmanWB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NerellaMW11,
author = {Venkata Krishna Suhas Nerella and
Sanjay Kumar Madria and
Thomas Weigert},
title = {Performance Improvement for Collection Operations Using Join Query
Optimization},
booktitle = {Proceedings of the 35th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2011, Munich, Germany, 18-22
July 2011},
pages = {668--673},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/COMPSAC.2011.93},
doi = {10.1109/COMPSAC.2011.93},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/NerellaMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/SurapaneniNMW11,
author = {Swetha Surapaneni and
Venkata Krishna Suhas Nerella and
Sanjay Kumar Madria and
Thomas Weigert},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Exploring caching for efficient collection operations},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {468--471},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100101},
doi = {10.1109/ASE.2011.6100101},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/SurapaneniNMW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaelenGOWEO11,
author = {Stefan Van Baelen and
S{\'{e}}bastien G{\'{e}}rard and
Ileana Ober and
Thomas Weigert and
Hu{\'{a}}scar Espinoza and
Iulian Ober},
editor = {J{\"{o}}rg Kienzle},
title = {Model Based Architecting and Construction of Embedded Systems {(ACES-MB}
2011)},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2011, Wellington, New Zealand, October 16-21, 2011, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7167},
pages = {257--261},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29645-1\_25},
doi = {10.1007/978-3-642-29645-1\_25},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/BaelenGOWEO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/BaranovKW11,
author = {Sergey Baranov and
Vsevolod Kotlyarov and
Thomas Weigert},
editor = {Iulian Ober and
Ileana Ober},
title = {Verifiable Coverage Criteria for Automated Testing},
booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International
{SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7083},
pages = {79--89},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25264-8\_8},
doi = {10.1007/978-3-642-25264-8\_8},
timestamp = {Sat, 30 Sep 2023 09:55:58 +0200},
biburl = {https://dblp.org/rec/conf/sdl/BaranovKW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/CottenierBW11,
author = {Thomas Cottenier and
Aswin van den Berg and
Thomas Weigert},
editor = {Iulian Ober and
Ileana Ober},
title = {Separation of Concerns with Transactional Regions},
booktitle = {{SDL} 2011: Integrating System and Software Modeling - 15th International
{SDL} Forum Toulouse, France, July 5-7, 2011. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {7083},
pages = {168--185},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25264-8\_14},
doi = {10.1007/978-3-642-25264-8\_14},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/CottenierBW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/LetichevskyKLPVW10,
author = {Alexander A. Letichevsky and
Alexander Kolchin and
Oleksandr Letychevskyy Jr. and
Stepan Potiyenko and
Vladislav A. Volkov and
Thomas Weigert},
editor = {Andrei Voronkov and
Laura Kov{\'{a}}cs and
Nikolaj S. Bj{\o}rner},
title = {Formal Requirements Capturing using {VRS} system},
booktitle = {Second International Workshop on Invariant Generation, {WING} 2009,
York, UK, March 29, 2009 and Third International Workshop on Invariant
Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
series = {EPiC Series in Computing},
volume = {1},
pages = {148--149},
publisher = {EasyChair},
year = {2010},
url = {https://doi.org/10.29007/q6mc},
doi = {10.29007/Q6MC},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/LetichevskyKLPVW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/NerellaSMW10,
author = {Venkata Krishna Suhas Nerella and
Swetha Surapaneni and
Sanjay Kumar Madria and
Thomas Weigert},
editor = {Sheikh Iqbal Ahamed and
Doo{-}Hwan Bae and
Sung Deok Cha and
Carl K. Chang and
Rajesh Subramanyan and
W. Eric Wong and
Hen{-}I Yang},
title = {Exploring Query Optimization in Programming Codes by Reducing Run-Time
Execution},
booktitle = {Proceedings of the 34th Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2010, Seoul, Korea, 19-23 July
2010},
pages = {407--412},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/COMPSAC.2010.48},
doi = {10.1109/COMPSAC.2010.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/NerellaSMW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaelenOEWOG10,
author = {Stefan Van Baelen and
Iulian Ober and
Hu{\'{a}}scar Espinoza and
Thomas Weigert and
Ileana Ober and
S{\'{e}}bastien G{\'{e}}rard},
editor = {J{\"{u}}rgen Dingel and
Arnor Solberg},
title = {Model Based Architecting and Construction of Embedded Systems {(ACES-MB}
2010)},
booktitle = {Models in Software Engineering - Workshops and Symposia at {MODELS}
2010, Oslo, Norway, October 2-8, 2010, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6627},
pages = {70--74},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-21210-9\_7},
doi = {10.1007/978-3-642-21210-9\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/BaelenOEWOG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sede/OvatmanBW10,
author = {Tolga Ovatman and
Feza Buzluca and
Thomas Weigert},
editor = {Imad Rahal and
Rym Zalila{-}Wenkstern},
title = {Applying Enhanced Graph Clustering to Software Dependency Analysis},
booktitle = {{ISCA} 19th International Conference on Software Engineeringand Data
Engineering {(SEDE-2010)} June 16-18, 2010, Hilton Fisherman's Wharf,
San Francisco, CA, {USA}},
pages = {210--216},
publisher = {{ISCA}},
year = {2010},
timestamp = {Fri, 28 Jan 2011 07:43:08 +0100},
biburl = {https://dblp.org/rec/conf/sede/OvatmanBW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fiw/MussbacherAWC09,
author = {Gunter Mussbacher and
Daniel Amyot and
Thomas Weigert and
Thomas Cottenier},
editor = {Masahide Nakamura and
Stephan Reiff{-}Marganiec},
title = {Feature Interactions in Aspect-Oriented Scenario Models},
booktitle = {Feature Interactions in Software and Communication Systems X, International
Conference on Feature Interactions in Software and Communication Systems,
{ICFI} 2009, 11-12 June, 2009, Lisbon, Portugal},
pages = {75--90},
publisher = {{IOS} Press},
year = {2009},
url = {https://doi.org/10.3233/978-1-60750-014-8-75},
doi = {10.3233/978-1-60750-014-8-75},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fiw/MussbacherAWC09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BaelenWOEO09,
author = {Stefan Van Baelen and
Thomas Weigert and
Ileana Ober and
Hu{\'{a}}scar Espinoza and
Iulian Ober},
editor = {Sudipto Ghosh},
title = {Model Based Architecting and Construction of Embedded Systems {(ACES-MB}
2009)},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2009, Denver, CO, USA, October 4-9, 2009, Reports and Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6002},
pages = {63--67},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12261-3\_7},
doi = {10.1007/978-3-642-12261-3\_7},
timestamp = {Wed, 26 Jun 2024 17:26:37 +0200},
biburl = {https://dblp.org/rec/conf/models/BaelenWOEO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2009acesmb,
editor = {Stefan Van Baelen and
Thomas Weigert and
Ileana Ober},
title = {Proceedings of the 2nd International Workshop on Model Based Architecting
and Construction of Embedded Systems {(} {ACES-MB} 2009 ), held as
part of the 2009 International Conference on Model Driven Engineering
Languages and Systems {(} MoDELS'09 {)} Denver, Colorado, USA, October
6, 2009},
series = {{CEUR} Workshop Proceedings},
volume = {507},
publisher = {CEUR-WS.org},
year = {2009},
url = {https://ceur-ws.org/Vol-507},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2009acesmb.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taas/YuTW08,
author = {Zhenwei Yu and
Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {An adaptive automatically tuning intrusion detection system},
journal = {{ACM} Trans. Auton. Adapt. Syst.},
volume = {3},
number = {3},
pages = {10:1--10:25},
year = {2008},
url = {https://doi.org/10.1145/1380422.1380425},
doi = {10.1145/1380422.1380425},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taas/YuTW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WeigertWBDM08,
author = {Thomas Weigert and
Frank Weil and
Aswin van den Berg and
Paul Dietz and
Kevin Marth},
title = {Automated Code Generation for Industrial-Strength Systems},
booktitle = {Proceedings of the 32nd Annual {IEEE} International Computer Software
and Applications Conference, {COMPSAC} 2008, 28 July - 1 August 2008,
Turku, Finland},
pages = {464--472},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/COMPSAC.2008.26},
doi = {10.1109/COMPSAC.2008.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/WeigertWBDM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OberBGFWG08,
author = {Iulian Ober and
Stefan Van Baelen and
Susanne Graf and
Mamoun Filali and
Thomas Weigert and
S{\'{e}}bastien G{\'{e}}rard},
editor = {Michel R. V. Chaudron},
title = {Model Based Architecting and Construction of Embedded Systems},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {1--4},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_1},
doi = {10.1007/978-3-642-01648-6\_1},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/OberBGFWG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/YuTW07,
author = {Zhenwei Yu and
Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {An Automatically Tuning Intrusion Detection System},
journal = {{IEEE} Trans. Syst. Man Cybern. Part {B}},
volume = {37},
number = {2},
pages = {373--384},
year = {2007},
url = {https://doi.org/10.1109/TSMCB.2006.885306},
doi = {10.1109/TSMCB.2006.885306},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/YuTW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/WeigertWMBJDGBFNWM07,
author = {Thomas Weigert and
Frank Weil and
Kevin Marth and
Paul Baker and
Clive Jervis and
Paul Dietz and
Yexuan Gui and
Aswin van den Berg and
Kim Fleer and
David Nelson and
Michael Wells and
Brian E. Mastenbrook},
editor = {Emmanuel Gaudin and
Elie Najm and
Rick Reed},
title = {Experiences in Deploying Model-Driven Engineering},
booktitle = {{SDL} 2007: Design for Dependable Systems, 13th International {SDL}
Forum, Paris, France, September 18-21, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4745},
pages = {35--53},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74984-4\_3},
doi = {10.1007/978-3-540-74984-4\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/WeigertWMBJDGBFNWM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sutc/Weigert06,
author = {Thomas Weigert},
title = {Practical Experiences in Using Model-Driven Engineering to Develop
Trustworthy Computing Systems},
booktitle = {{IEEE} International Conference on Sensor Networks, Ubiquitous, and
Trustworthy Computing {(SUTC} 2006), 5-7 June 2006, Taichung, Taiwan},
pages = {208--217},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.ieeecomputersociety.org/10.1109/SUTC.2006.106},
doi = {10.1109/SUTC.2006.106},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sutc/Weigert06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cn/LetichevskyKLVBW05,
author = {Alexander A. Letichevsky and
Julia V. Kapitonova and
A. A. Letichevsky Jr. and
Vladislav A. Volkov and
Sergey Baranov and
Thomas Weigert},
title = {Basic protocols, message sequence charts, and the verification of
requirements specifications},
journal = {Comput. Networks},
volume = {49},
number = {5},
pages = {661--675},
year = {2005},
url = {https://doi.org/10.1016/j.comnet.2005.05.005},
doi = {10.1016/J.COMNET.2005.05.005},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cn/LetichevskyKLVBW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/LetichevskyKKVLW05,
author = {Alexander A. Letichevsky and
Julia V. Kapitonova and
Vsevolod Kotlyarov and
Vladislav A. Volkov and
A. A. Letichevsky Jr. and
Thomas Weigert},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {Semantics of Message Sequence Charts},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {117--132},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_8},
doi = {10.1007/11506843\_8},
timestamp = {Wed, 25 Sep 2019 18:02:25 +0200},
biburl = {https://dblp.org/rec/conf/sdl/LetichevskyKKVLW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/RaoTW05,
author = {G. Bhaskar Rao and
Keerthi Timmaraju and
Thomas Weigert},
editor = {Andreas Prinz and
Rick Reed and
Jeanne Reed},
title = {Network Element Testing Using {TTCN-3:} Benefits and Comparison},
booktitle = {{SDL} 2005: Model Driven, 12th International {SDL} Forum, Grimstad,
Norway, June 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3530},
pages = {265--280},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11506843\_19},
doi = {10.1007/11506843\_19},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sdl/RaoTW05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/HaugenWM05,
author = {{\O}ystein Haugen and
Thomas Weigert and
Birger M{\o}ller{-}Pedersen},
editor = {Richard Zurawski},
title = {Introduction to {UML} and the Modeling of Embedded Systems},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch9},
doi = {10.1201/9781420038163.CH9},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/HaugenWM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/crc/LetichevskyKWV05,
author = {Alexander A. Letichevsky and
Julia V. Kapitonova and
Thomas Weigert and
Vladislav A. Volkov},
editor = {Richard Zurawski},
title = {System Validation},
booktitle = {Embedded Systems Handbook},
publisher = {{CRC} Press},
year = {2005},
url = {https://doi.org/10.1201/9781420038163.ch6},
doi = {10.1201/9781420038163.CH6},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/crc/LetichevskyKWV05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sam/WeilW04,
author = {Frank Weil and
Thomas Weigert},
editor = {Daniel Amyot and
Alan W. Williams},
title = {Guidelines for Using {SDL} in Product Development},
booktitle = {System Analysis and Modeling, 4th International {SDL} and {MSC} Workshop,
{SAM} 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3319},
pages = {271--289},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31810-1\_18},
doi = {10.1007/978-3-540-31810-1\_18},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/sam/WeilW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/YauLVW03,
author = {Stephen S. Yau and
Carl E. Landwehr and
Jeffrey M. Voas and
Thomas J. Weigert},
title = {Challenges and Recent Advances in Developing Trustworthy Software-Based
Systems},
booktitle = {27th International Computer Software and Applications Conference {(COMPSAC}
2003): Design and Assessment of Trustworthy Software-Based Systems,
3-6 November 2003, Dallas, TX, USA, Proceedings},
pages = {208},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.ieeecomputersociety.org/10.1109/COMPSAC.2003.10001},
doi = {10.1109/COMPSAC.2003.10001},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/YauLVW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sdl/WeigertD03,
author = {Thomas Weigert and
Paul Dietz},
editor = {Rick Reed and
Jeanne Reed},
title = {Automated Generation of Marshaling Code from High-Level Specifications},
booktitle = {{SDL} 2003: System Design, 11th International {SDL} Forum, Stuttgart,
Germany, July 1-4, 2003. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2708},
pages = {374--386},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45075-0\_22},
doi = {10.1007/3-540-45075-0\_22},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/sdl/WeigertD03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/HaugenMW03,
author = {{\O}ystein Haugen and
Birger M{\o}ller{-}Pedersen and
Thomas Weigert},
editor = {Luciano Lavagno and
Grant Martin and
Bran Selic},
title = {Structural Modeling with {UML} 2.0},
booktitle = {{UML} for Real - Design of Embedded Real-Time Systems},
pages = {53--76},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48738-1\_3},
doi = {10.1007/0-306-48738-1\_3},
timestamp = {Thu, 28 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/03/HaugenMW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/WeigertR03,
author = {Thomas Weigert and
Rick Reed},
editor = {Luciano Lavagno and
Grant Martin and
Bran Selic},
title = {Specifying Telecommunications Systems with {UML}},
booktitle = {{UML} for Real - Design of Embedded Real-Time Systems},
pages = {301--322},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48738-1\_14},
doi = {10.1007/0-306-48738-1\_14},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/03/WeigertR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/03/BaranovJKLW03,
author = {Sergey Baranov and
Clive Jervis and
Vsevolod Kotlyarov and
Alexander A. Letichevsky and
Thomas Weigert},
editor = {Luciano Lavagno and
Grant Martin and
Bran Selic},
title = {Leveraging {UML} to Deliver Correct Telecom Applications},
booktitle = {{UML} for Real - Design of Embedded Real-Time Systems},
pages = {323--342},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48738-1\_15},
doi = {10.1007/0-306-48738-1\_15},
timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/03/BaranovJKLW03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uml/WeigertGKMS00,
author = {Thomas Weigert and
David Garlan and
John Knapman and
Birger M{\o}ller{-}Pedersen and
Bran Selic},
editor = {Andy Evans and
Stuart Kent and
Bran Selic},
title = {Modeling of Architectures with {UML} (Panel)},
booktitle = {{\guillemotleft}UML{\guillemotright} 2000 - The Unified Modeling Language,
Advancing the Standard, Third International Conference, York, UK,
October 2-6, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1939},
pages = {556--569},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-40011-7\_41},
doi = {10.1007/3-540-40011-7\_41},
timestamp = {Mon, 24 Jun 2019 12:03:37 +0200},
biburl = {https://dblp.org/rec/conf/uml/WeigertGKMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/TsaiLW98,
author = {Jeffrey J. P. Tsai and
Bing Li and
Thomas J. Weigert},
title = {A Logic-Based Transformation System},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {10},
number = {1},
pages = {91--107},
year = {1998},
url = {https://doi.org/10.1109/69.667092},
doi = {10.1109/69.667092},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/TsaiLW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wift/DietzWW98,
author = {Paul Dietz and
Thomas Weigert and
Frank Weil},
title = {Formal Techniques for Automatically Generating Marshalling Code from
High-Level Specifications},
booktitle = {2nd Workshop on Industrial-Strength Formal Specification Techniques
{(WIFT} '98), October 20-23, 1998, Boca Raton, FL, {USA}},
pages = {40},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/WIFT.1998.766296},
doi = {10.1109/WIFT.1998.766296},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wift/DietzWW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/ZengTW96,
author = {Ziaomu Zeng and
Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {Verification Criterion Directed Testing for Formal Specifications},
booktitle = {The 8th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996},
pages = {393--399},
publisher = {Knowledge Systems Institute},
year = {1996},
timestamp = {Thu, 04 Dec 2014 17:19:18 +0100},
biburl = {https://dblp.org/rec/conf/seke/ZengTW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/words/TsaiW96,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {A logic-based requirements language for the specification and analysis
of real-time systems},
booktitle = {Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time
Dependable Systems, February 1-2, 1996, Laguna Beach, California,
{USA}},
pages = {8--16},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/WORDS.1996.506256},
doi = {10.1109/WORDS.1996.506256},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/words/TsaiW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/ZengTW95,
author = {Xiaomu Zeng and
Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {Improving Software Quality through a Novel Testing Strategy},
booktitle = {19th International Computer Software and Applications Conference (COMPSAC'95),
August 9-11, 1995, Dallas, Texas, {USA}},
pages = {224--229},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/CMPSAC.1995.524784},
doi = {10.1109/CMPSAC.1995.524784},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/ZengTW95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/WeigertT94,
author = {Thomas J. Weigert and
Jeffrey J. P. Tsai},
title = {A Computationally Tractable Nonmonotonic Logic},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {6},
number = {1},
pages = {57--63},
year = {1994},
url = {https://doi.org/10.1109/69.273025},
doi = {10.1109/69.273025},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/WeigertT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sseke/TsaiW93,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {Knowledge-Based Software Development for Real-Time Distributed Systems},
series = {Series on Software Engineering and Knowledge Engineering},
volume = {1},
publisher = {WorldScientific},
year = {1993},
url = {https://doi.org/10.1142/1794},
doi = {10.1142/1794},
isbn = {978-981-02-1128-8},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/sseke/TsaiW93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/WeigertTL93,
author = {Thomas J. Weigert and
Jeffrey J. P. Tsai and
Xuhua Liu},
title = {Fuzzy Operator Logic and Fuzzy Resolution},
journal = {J. Autom. Reason.},
volume = {10},
number = {1},
pages = {59--78},
year = {1993},
url = {https://doi.org/10.1007/BF00881864},
doi = {10.1007/BF00881864},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/WeigertTL93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/TsaiW92,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {An explication of reasoning in multiple inheritance systems through
non-monotonic horn clause logic},
journal = {Inf. Sci.},
volume = {63},
number = {3},
pages = {261--283},
year = {1992},
url = {https://doi.org/10.1016/0020-0255(92)90073-H},
doi = {10.1016/0020-0255(92)90073-H},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/TsaiW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TsaiWJ92,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert and
Hung{-}Chin Jang},
title = {A Hybrid Knowledge Representation as a Basis of Requirement Specification
and Specification Analysis},
journal = {{IEEE} Trans. Software Eng.},
volume = {18},
number = {12},
pages = {1076--1100},
year = {1992},
url = {https://doi.org/10.1109/32.184762},
doi = {10.1109/32.184762},
timestamp = {Tue, 05 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TsaiWJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/TsaiW91,
author = {Jeffrey J. P. Tsai and
Thomas Weigert},
title = {{HCLIE:} a logic-based requirement language for new software engineering
paradigms},
journal = {Softw. Eng. J.},
volume = {6},
number = {4},
pages = {137--151},
year = {1991},
url = {https://doi.org/10.1049/sej.1991.0017},
doi = {10.1049/SEJ.1991.0017},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/TsaiW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/LiuFTW91,
author = {Xuhua Liu and
Kwang{-}Ya Fang and
Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {lambda-Resolution and interpretation of -implication in fuzzy operator
logic},
journal = {Inf. Sci.},
volume = {56},
number = {1-3},
pages = {259--278},
year = {1991},
url = {https://doi.org/10.1016/0020-0255(91)90033-Q},
doi = {10.1016/0020-0255(91)90033-Q},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/LiuFTW91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/TsaiWL91,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert and
Xuhua Liu},
title = {Reasoning under uncertainty in fuzzy operator logic},
journal = {{IEEE} Trans. Syst. Man Cybern.},
volume = {21},
number = {6},
pages = {1604--1608},
year = {1991},
url = {https://doi.org/10.1109/21.135703},
doi = {10.1109/21.135703},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsmc/TsaiWL91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/kbs/TsaiW90,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert},
title = {A knowledge-based approach for checking software information using
a non-monotonic reasoning system},
journal = {Knowl. Based Syst.},
volume = {3},
number = {3},
pages = {131--138},
year = {1990},
url = {https://doi.org/10.1016/0950-7051(91)90026-X},
doi = {10.1016/0950-7051(91)90026-X},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/kbs/TsaiW90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ese/Weigert90,
author = {Thomas J. Weigert},
editor = {Georg Gottlob and
Wolfgang Nejdl},
title = {Resolution-based Reasoning for Fuzzy Logic},
booktitle = {Expert Systems in Engineering, Principles and Applications, International
Workshop, Vienna, Austria, September 24-26, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {462},
pages = {176--189},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53104-1\_41},
doi = {10.1007/3-540-53104-1\_41},
timestamp = {Sat, 09 Apr 2022 12:45:45 +0200},
biburl = {https://dblp.org/rec/conf/ese/Weigert90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TsaiWJ90,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert and
Hung{-}Chin Jang},
title = {A hybrid knowledge representation as a basis of requirement specification
and reasoning},
booktitle = {Proceedings of the 2nd International {IEEE} Conference on Tools for
Artificial Intelligence, {TAI} 1990, Herndon, VA, USA, November 6-9,
1990},
pages = {70--76},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/TAI.1990.130312},
doi = {10.1109/TAI.1990.130312},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/TsaiWJ90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/TsaiW89,
author = {Jeffrey J. P. Tsai and
Thomas Weigert},
title = {Exploratory prototyping through the use of frames and production rules},
booktitle = {Proceedings of the 13th Annual International Computer Software and
Applications Conference, {COMPSAC} 1989, Orlando, FL, USA, 20-22 September,
1989},
pages = {455--462},
publisher = {{IEEE}},
year = {1989},
url = {https://doi.org/10.1109/CMPSAC.1989.65125},
doi = {10.1109/CMPSAC.1989.65125},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/TsaiW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccl/TsaiWA88,
author = {Jeffrey J. P. Tsai and
Thomas J. Weigert and
Mikio Aoyama},
title = {A declarative approach to software requirement specification languages},
booktitle = {1988 Internation Conference on Computer Languages, October 9-13, 1988,
Miami, Florida, {USA}},
pages = {414--421},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {https://doi.org/10.1109/ICCL.1988.13091},
doi = {10.1109/ICCL.1988.13091},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iccl/TsaiWA88.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-24 22:58 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:
