A declarative approach to software requirement specification languages. - Jeffrey J. P. Tsai; Thomas J. Weigert; Mikio Aoyama (ICCL, 1988)

Exploratory prototyping through the use of frames and production rules. - Jeffrey J. P. Tsai; Thomas Weigert (COMPSAC, 1989)

Resolution-based Reasoning for Fuzzy Logic. - Thomas J. Weigert (Expert Systems in Engineering, 1990)

A hybrid knowledge representation as a basis of requirement specification and reasoning. - Jeffrey J. P. Tsai; Thomas J. Weigert; Hung-Chin Jang (TAI, 1990)

A knowledge-based approach for checking software information using a non-monotonic reasoning system. - Jeffrey J. P. Tsai; Thomas J. Weigert (Knowl. Based Syst., 1990)

HCLIE: a logic-based requirement language for new software engineering paradigms. - Jeffrey J. P. Tsai; Thomas Weigert (Softw. Eng. J., 1991)

lambda-Resolution and interpretation of -implication in fuzzy operator logic. - Xuhua Liu; Kwang-Ya Fang; Jeffrey J. P. Tsai; Thomas J. Weigert (Inf. Sci., 1991)

Reasoning under uncertainty in fuzzy operator logic. - Jeffrey J. P. Tsai; Thomas J. Weigert; Xuhua Liu (IEEE Trans. Syst. Man Cybern., 1991)

An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic. - Jeffrey J. P. Tsai; Thomas J. Weigert (Inf. Sci., 1992)

A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis. - Jeffrey J. P. Tsai; Thomas J. Weigert; Hung-Chin Jang (IEEE Trans. Software Eng., 1992)

Fuzzy Operator Logic and Fuzzy Resolution. - Thomas J. Weigert; Jeffrey J. P. Tsai; Xuhua Liu (J. Autom. Reason., 1993)

Knowledge-Based Software Development for Real-Time Distributed Systems - Jeffrey J. P. Tsai; Thomas J. Weigert (WorldScientific, 1993)

A Computationally Tractable Nonmonotonic Logic. - Thomas J. Weigert; Jeffrey J. P. Tsai (IEEE Trans. Knowl. Data Eng., 1994)

Improving Software Quality through a Novel Testing Strategy. - Xiaomu Zeng; Jeffrey J. P. Tsai; Thomas J. Weigert (COMPSAC, 1995)

Verification Criterion Directed Testing for Formal Specifications. - Ziaomu Zeng; Jeffrey J. P. Tsai; Thomas J. Weigert (SEKE, 1996)

A logic-based requirements language for the specification and analysis of real-time systems. - Jeffrey J. P. Tsai; Thomas J. Weigert (WORDS, 1996)

Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications. - Paul H. Dietz; Thomas Weigert; Frank Weil (WIFT, 1998)

A Logic-Based Transformation System. - Jeffrey J. P. Tsai; Bing Li; Thomas J. Weigert (IEEE Trans. Knowl. Data Eng., 1998)

Modeling of Architectures with UML (Panel). - Thomas Weigert; David Garlan; John Knapman; Birger Møller-Pedersen; Bran Selic (UML, 2000)

Leveraging UML to Deliver Correct Telecom Applications. - Sergey Baranov; Clive Jervis; Vsevolod Kotlyarov; Alexander A. Letichevsky; Thomas Weigert (UML for Real, 2003)

Structural Modeling with UML 2.0. - Øystein Haugen; Birger Møller-Pedersen; Thomas Weigert (UML for Real, 2003)

Specifying Telecommunications Systems with UML. - Thomas Weigert; Rick Reed (UML for Real, 2003)

Challenges and Recent Advances in Developing Trustworthy Software-Based Systems. - Stephen S. Yau; Carl E. Landwehr; Jeffrey M. Voas; Thomas J. Weigert (COMPSAC, 2003)

Automated Generation of Marshaling Code from High-Level Specifications. - Thomas Weigert; Paul H. Dietz (SDL Forum, 2003)

Guidelines for Using SDL in Product Development. - Frank Weil; Thomas Weigert (SAM, 2004)

Semantics of Message Sequence Charts. - Alexander A. Letichevsky; Julia V. Kapitonova; Vsevolod Kotlyarov; Vladislav A. Volkov; A. A. Letichevsky Jr.; Thomas Weigert (SDL Forum, 2005)

Network Element Testing Using TTCN-3: Benefits and Comparison. - G. Bhaskar Rao; Keerthi Timmaraju; Thomas Weigert (SDL Forum, 2005)

Basic protocols, message sequence charts, and the verification of requirements specifications. - Alexander A. Letichevsky; Julia V. Kapitonova; A. A. Letichevsky Jr.; Vladislav A. Volkov; Sergey Baranov; Thomas Weigert (Comput. Networks, 2005)

Introduction to UML and the Modeling of Embedded Systems. - Øystein Haugen; Thomas Weigert; Birger Møller-Pedersen (Embedded Systems Handbook, 2005)

System Validation. - Alexander A. Letichevsky; Julia V. Kapitonova; Thomas Weigert; Vladislav A. Volkov (Embedded Systems Handbook, 2005)

Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems. - Thomas Weigert (SUTC (1), 2006)

Experiences in Deploying Model-Driven Engineering. - Thomas Weigert; Frank Weil; Kevin Marth; Paul Baker; Clive Jervis; Paul H. Dietz; Yexuan Gui; Aswin van den Berg; Kim Fleer; David Nelson; Michael Wells; Brian E. Mastenbrook (SDL Forum, 2007)

An Automatically Tuning Intrusion Detection System. - Zhenwei Yu 001; Jeffrey J. P. Tsai; Thomas J. Weigert (IEEE Trans. Syst. Man Cybern. Part B, 2007)

Automated Code Generation for Industrial-Strength Systems. - Thomas Weigert; Frank Weil; Aswin van den Berg; Paul H. Dietz; Kevin Marth (COMPSAC, 2008)

Model Based Architecting and Construction of Embedded Systems. - Iulian Ober; Stefan Van Baelen; Susanne Graf; Mamoun Filali; Thomas Weigert; Sébastien Gérard (MoDELS (Workshops), 2008)

An adaptive automatically tuning intrusion detection system. - Zhenwei Yu 001; Jeffrey J. P. Tsai; Thomas J. Weigert (ACM Trans. Auton. Adapt. Syst., 2008)

Feature Interactions in Aspect-Oriented Scenario Models. - Gunter Mussbacher; Daniel Amyot; Thomas Weigert; Thomas Cottenier (ICFI, 2009)

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). - Stefan Van Baelen; Thomas Weigert; Ileana Ober; Huáscar Espinoza; Iulian Ober (MoDELS (Workshops), 2009)

Formal Requirements Capturing using VRS system. - Alexander A. Letichevsky; Alexander Kolchin; Oleksandr Letychevskyy Jr.; Stepan Potiyenko; Vladislav A. Volkov; Thomas Weigert (WING@ETAPS/IJCAR, 2010)

Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution. - Venkata Krishna Suhas Nerella; Swetha Surapaneni; Sanjay Kumar Madria; Thomas Weigert (COMPSAC, 2010)

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010). - Stefan Van Baelen; Iulian Ober; Huáscar Espinoza; Thomas Weigert; Ileana Ober; Sébastien Gérard (MoDELS (Workshops), 2010)

Applying Enhanced Graph Clustering to Software Dependency Analysis. - Tolga Ovatman; Feza Buzluca; Thomas Weigert (SEDE, 2010)

Performance Improvement for Collection Operations Using Join Query Optimization. - Venkata Krishna Suhas Nerella; Sanjay Kumar Madria; Thomas Weigert (COMPSAC, 2011)

Exploring caching for efficient collection operations. - Swetha Surapaneni; Venkata Krishna Suhas Nerella; Sanjay Kumar Madria; Thomas Weigert (ASE, 2011)

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011). - Stefan Van Baelen; Sébastien Gérard; Ileana Ober; Thomas Weigert; Huáscar Espinoza; Iulian Ober (MoDELS (Workshops), 2011)

Verifiable Coverage Criteria for Automated Testing. - Sergey Baranov; Vsevolod Kotlyarov; Thomas Weigert (SDL Forum, 2011)

Separation of Concerns with Transactional Regions. - Thomas Cottenier; Aswin van den Berg; Thomas Weigert (SDL Forum, 2011)

Exploring implicit parallelism in class diagrams. - Tolga Ovatman; Thomas Weigert; Feza Buzluca (J. Syst. Softw., 2011)

Management of feature interactions with transactional regions. - Thomas Cottenier; Aswin van den Berg; Thomas Weigert (AOSD, 2012)

Architecture composition for concurrent systems. - Thomas Cottenier; Aswin van den Berg; Thomas Weigert (NEMARA@AOSD, 2012)

Modular reasoning about region composition. - Thomas Cottenier; Aswin van den Berg; Thomas Weigert (FOAL, 2012)

Exploring Compile Time Caching of Explicit Queries in Programming Codes. - Venkata Krishna Suhas Nerella; Sanjay Madria; Thomas Weigert (SRDS, 2012)

Optimization of Object Queries on Collections Using Annotations for the String Valued Attributes. - Venkata Krishna Suhas Nerella; Sanjay Kumar Madria; Thomas Weigert (COMPSAC, 2013)

An Approach for Optimization of Object Queries on Collections Using Annotations. - Venkata Krishna Suhas Nerella; Sanjay Kumar Madria; Thomas Weigert (CSMR, 2013)

Efficient Caching and Incrementalization of Object Queries on Collections in Programming Codes. - Venkata Krishna Suhas Nerella; Sanjay Madria; Thomas Weigert (COMPSAC, 2014)

Symbolic verification of requirements in VRS system. - Oleksandr A. Letychevskyi; Thomas Weigert (RE, 2014)

Exploring optimization and caching for efficient collection operations. - Venkata Krishna Suhas Nerella; Swetha Surapaneni; Sanjay Kumar Madria; Thomas Weigert (Autom. Softw. Eng., 2014)

Insertion Modeling and Symbolic Verification of Large Systems. - Alexander A. Letichevsky; Oleksandr A. Letychevskyi; Volodymyr Peschanenko; Thomas Weigert (SDL Forum, 2015)

Challenges for Automated, Model-Based Test Scenario Generation. - Alexander Kolchin; Stepan Potiyenko; Thomas Weigert (ICIST, 2019)

Generating Test Suites to Validate Legacy Systems. - Thomas Weigert; Alexander Kolchin; Stepan Potiyenko; Oleg Gurenko; Aswin van den Berg; Valentyn Banas; Roman Chetvertak; Roman Yagodka; Vlad Volkov (SAM, 2019)

Efficient Increasing of the Mutation Score During Model-Based Test Suite Generation. - Alexander Kolchin; Stepan Potiyenko; Thomas Weigert (UkrPROG, 2020)

Extending data flow coverage with redefinition analysis. - Alexander Kolchin; Stepan Potiyenko; Thomas Weigert (IDT, 2021)