Impressum Verantwortlich i.S.P.: Michael Marquardt (Geschäftsführer) Auslandsgesellschaft Sachsen-Anhalt e.V. Koordination: Denise Kürschner Auslandsgesellschaft Sachsen-Anhalt e.V. Redaktion: Kathi Strunck

Source URL: www.integriert-in-sachsen-anhalt.de

On the Interplay Between Bottom-Up and Datatype-Driven Program Design Francisco Enrique Vicente Castro Kathi Fisler

Source URL: web.cs.wpi.edu

Decomposing Verification Around End-User Features? Kathi Fisler1 and Shriram Krishnamurthi2 1 2

Source URL: web.cs.wpi.edu

A Case Study in Using ACL2 for Feature-Oriented Verification Kathi Fisler and Brian Roberts WPI Department of Computer Science November 8, 2004 Abstract

Source URL: web.cs.wpi.edu

Consumerization and Renewing Peoples and Practices Research DAWN NAFUS ROGERIO DE PAULA KATHI KITNER RENEE KURIYAN

Source URL: scott.mainzone.com

Toward a More Complete Alloy ?,?? Timothy Nelson1 , Daniel J. Dougherty1 , Kathi Fisler1 , and Shriram Krishnamurthi2 1 Worcester Polytechnic Institute 2 Brown University

Source URL: web.cs.wpi.edu

BOOKS ABOUT KANNDA KAMA KATHI Cityhalllosangeles.com KANNDA KAMA KATHI

Source URL: k.cityhalllosangeles.com

Cracking Representations of Emerging Markets: It’s not just about Affordability KATHI R. KITNER Intel Corporation RENEE KURIYAN

Source URL: scott.mainzone.com

Temporal Modalities for Concisely Capturing Timing Diagrams Hana Chockler1,2 and Kathi Fisler1 1 Department of Computer Science, WPI,

Source URL: web.cs.wpi.edu

• Temporal logic
• Linear temporal logic
• Diagram
• Symbol
• FO

Exploiting the Potential of Diagrams in Guiding Hardware Reasoning Kathi Fisler Department of Computer Science Lindley Hall 215 Indiana University

Source URL: web.cs.wpi.edu

• Electronic engineering
• Electronic design automation
• Computing
• Engineering
• Digital systems
• Diagram
• Infographics
• Algorithmic state machine
• VHDL
• Input/output
• Digital electronics
• COM