×

zbMATH — the first resource for mathematics

Mang, Freddy Y. C.

Compute Distance To:
Author ID: mang.freddy-y-c Recent zbMATH articles by "Mang, Freddy Y. C."
Published as: Mang, Freddy; Mang, Freddy Y. C.
Documents Indexed: 9 Publications since 1999

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 39 times in 28 Documents Cited by Year
Synchronous and bidirectional component interfaces. Zbl 1010.68518
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
8
2002
Interface compatibility checking for software modules. Zbl 1010.68505
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C.
7
2002
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
7
2000
The control of synchronous systems. II. Zbl 1006.68534
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
5
2001
The control of synchronous systems. Zbl 0999.68531
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
4
2000
Synthesis of uninitialized systems. Zbl 1057.68060
Henzinger, Thomas A.; Krishnan, Sriram C.; Kupferman, Orna; Mang, Freddy Y. C.
3
2002
Detecting errors before reaching them. Zbl 0974.68550
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
3
2000
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999
Synchronous and bidirectional component interfaces. Zbl 1010.68518
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
8
2002
Interface compatibility checking for software modules. Zbl 1010.68505
Chakrabarti, Arindam; de Alfaro, Luca; Henzinger, Thomas A.; Jurdzinski, Marcin; Mang, Freddy Y. C.
7
2002
Synthesis of uninitialized systems. Zbl 1057.68060
Henzinger, Thomas A.; Krishnan, Sriram C.; Kupferman, Orna; Mang, Freddy Y. C.
3
2002
The control of synchronous systems. II. Zbl 1006.68534
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
5
2001
Abstract interpretation of game properties. Zbl 0966.68150
Henzinger, Thomas A.; Majumdar, Rupak; Mang, Freddy; Raskin, Jean-François
7
2000
The control of synchronous systems. Zbl 0999.68531
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
4
2000
Detecting errors before reaching them. Zbl 0974.68550
de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
3
2000
Automating modular verification. Zbl 0940.68088
Alur, Rajeev; de Alfaro, Luca; Henzinger, Thomas A.; Mang, Freddy Y. C.
2
1999

Citations by Year