Thomas Weigert

According to our database1, Thomas Weigert
  • authored at least 54 papers between 1988 and 2015.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2015
Insertion Modeling and Symbolic Verification of Large Systems.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

2014
Exploring optimization and caching for efficient collection operations.
Autom. Softw. Eng., 2014

Symbolic verification of requirements in VRS system.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Efficient Caching and Incrementalization of Object Queries on Collections in Programming Codes.
Proceedings of the IEEE 38th Annual Computer Software and Applications Conference, 2014

2013
An Approach for Optimization of Object Queries on Collections Using Annotations.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Optimization of Object Queries on Collections Using Annotations for the String Valued Attributes.
Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

2012
Exploring Compile Time Caching of Explicit Queries in Programming Codes.
Proceedings of the IEEE 31st Symposium on Reliable Distributed Systems, 2012

Modular reasoning about region composition.
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages, 2012

Management of feature interactions with transactional regions.
Proceedings of the 11th International Conference on Aspect-oriented Software Development, 2012

2011
Exploring implicit parallelism in class diagrams.
Journal of Systems and Software, 2011

Separation of Concerns with Transactional Regions.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Verifiable Coverage Criteria for Automated Testing.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011).
Proceedings of the Models in Software Engineering, 2011

Exploring caching for efficient collection operations.
Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Performance Improvement for Collection Operations Using Join Query Optimization.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Applying Enhanced Graph Clustering to Software Dependency Analysis.
Proceedings of the ISCA 19th International Conference on Software Engineeringand Data Engineering (SEDE-2010) June 16-18, 2010

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010).
Proceedings of the Models in Software Engineering, 2010

Exploring Query Optimization in Programming Codes by Reducing Run-Time Execution.
Proceedings of the 34th Annual IEEE International Computer Software and Applications Conference, 2010

Formal Requirements Capturing using VRS system.
Proceedings of the Second International Workshop on Invariant Generation, 2010

2009
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009).
Proceedings of the Models in Software Engineering, 2009

Feature Interactions in Aspect-Oriented Scenario Models.
Proceedings of the Feature Interactions in Software and Communication Systems X, 2009

2008
An adaptive automatically tuning intrusion detection system.
TAAS, 2008

Model Based Architecting and Construction of Embedded Systems.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Automated Code Generation for Industrial-Strength Systems.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
An Automatically Tuning Intrusion Detection System.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2007

Experiences in Deploying Model-Driven Engineering.
Proceedings of the SDL 2007: Design for Dependable Systems, 2007

2006
Practical Experiences in Using Model-Driven Engineering to Develop Trustworthy Computing Systems.
Proceedings of the IEEE International Conference on Sensor Networks, 2006

2005
System Validation.
Proceedings of the Embedded Systems Handbook., 2005

Introduction to UML and the Modeling of Embedded Systems.
Proceedings of the Embedded Systems Handbook., 2005

Basic protocols, message sequence charts, and the verification of requirements specifications.
Computer Networks, 2005

Network Element Testing Using TTCN-3: Benefits and Comparison.
Proceedings of the SDL 2005: Model Driven, 2005

Semantics of Message Sequence Charts.
Proceedings of the SDL 2005: Model Driven, 2005

2004
Guidelines for Using SDL in Product Development.
Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004

2003
Automated Generation of Marshaling Code from High-Level Specifications.
Proceedings of the SDL 2003: System Design, 2003

Challenges and Recent Advances in Developing Trustworthy Software-Based Systems.
Proceedings of the 27th International Computer Software and Applications Conference (COMPSAC 2003): Design and Assessment of Trustworthy Software-Based Systems, 2003

2000
Modeling of Architectures with UML (Panel).
Proceedings of the «UML» 2000, 2000

1998
A Logic-Based Transformation System.
IEEE Trans. Knowl. Data Eng., 1998

Formal Techniques for Automatically Generating Marshalling Code from High-Level Specifications.
Proceedings of the 2nd Workshop on Industrial-Strength Formal Specification Techniques (WIFT '98), 1998

1996
A logic-based requirements language for the specification and analysis of real-time systems.
Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, 1996

Verification Criterion Directed Testing for Formal Specifications.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996

1995
Improving Software Quality through a Novel Testing Strategy.
Proceedings of the 19th International Computer Software and Applications Conference (COMPSAC'95), 1995

1994
A Computationally Tractable Nonmonotonic Logic.
IEEE Trans. Knowl. Data Eng., 1994

1993
Knowledge-Based Software Development for Real-Time Distributed Systems
Series on Software Engineering and Knowledge Engineering 1, WorldScientific, ISBN: 978-981-4505-22-2, 1993

Fuzzy Operator Logic and Fuzzy Resolution.
J. Autom. Reasoning, 1993

1992
A Hybrid Knowledge Representation as a Basis of Requirement Specification and Specification Analysis.
IEEE Trans. Software Eng., 1992

An explication of reasoning in multiple inheritance systems through non-monotonic horn clause logic.
Inf. Sci., 1992

1991
Reasoning under uncertainty in fuzzy operator logic.
IEEE Trans. Systems, Man, and Cybernetics, 1991

lambda-Resolution and interpretation of -implication in fuzzy operator logic.
Inf. Sci., 1991

HCLIE: a logic-based requirement language for new software engineering paradigms.
Software Engineering Journal, 1991

1990
A knowledge-based approach for checking software information using a non-monotonic reasoning system.
Knowl.-Based Syst., 1990

A hybrid knowledge representation as a basis of requirement specification and reasoning.
Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

Resolution-based Reasoning for Fuzzy Logic.
Proceedings of the Expert Systems in Engineering, 1990

1989
Exploratory prototyping through the use of frames and production rules.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1988
A declarative approach to software requirement specification languages.
Proceedings of the 1988 Internation Conference on Computer Languages, 1988


  Loading...