|
СТ |
Experience Based Process Improvement |
2002 |
Schneider K. |
|
|
|
Lecture Notes in Computer Science |
17.07.2002 |
|
СТ |
Active Probes Synergy in Experience-Based Process Improvement |
2000 |
Schneider K. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
31.08.2000 |
|
СТ |
Introducing Mutual Exclusion in Esterel |
2000 |
Schneider K., Sabelfeld V. |
|
|
|
Lecture Notes in Computer Science |
18.02.2000 |
|
СТ |
Prototypes as Assets, not Toys: Why and How to Extract Knowledge from Prototypes |
1996 |
Schneider K. |
|
|
|
Proc. of the 18th Intern. Conf. on Software Engineering. Berlin, Germany, March 25-29, 1996 |
19.06.1996 |
|
СТ |
Automating Verification by Functional Abstraction at the System Level |
1994 |
Schneider K., Kumar R., Kropf T. |
|
|
|
Lecture Notes in Computer Science |
24.11.1994 |
|
СТ |
Eliminating Higher-Order Quantifiers to Obtain Decision Procedures for Hardware Verification |
1994 |
Schneider K., Kumar R., Kropf T. |
|
|
|
Lecture Notes in Computer Science |
21.06.1994 |
|
СТ |
A Functional Approach for Formalizing Regular Hardware Structures |
1994 |
Eisenbiegler D., Schneider K., Kumar R. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
|
СТ |
Alternative Proof Procedures for Finite-State Machines in Higher-Order Logic |
1994 |
Schneider K., Kumar R., Kropf T. |
|
|
|
Lecture Notes in Computer Science |
18.06.1994 |
|
СТ |
Teaching Software Project Management by Simulation - Experiences with a Comprehensive Model |
1994 |
Deininger M., Schneider K. |
|
|
|
Lecture Notes in Computer Science |
16.12.1993 |
|
СТ |
Embedding Hardware Verification within a Commercial Design Framework |
1993 |
Kropf T., Kumar R., Schneider K. |
|
|
|
Lecture Notes in Computer Science |
29.06.1993 |
