Travelled to:1 × France
1 × The Netherlands
Collaborated with:B.Rumpe P.Scholz
Talks about:architectur (1) statechart (1) instantan (1) reaction (1) formal (1) filter (1) verif (1) refin (1) chain (1) pipe (1)
♂ Person: Jan Philipps
DBLP: Philipps:Jan
Facilitated 1 volumes:
PracticalTrackPrCoContributed to:
1999
1997Wrote 2 papers:
- FM-v1-1999-PhilippsR #architecture #refinement
- Refinement of Pipe-and-Filter Architectures (JP, BR), pp. 96–115.
- TACAS-1997-PhilippsS #verification
- Formal Verification of Statecharts with Instantaneous Chain Reaction (JP, PS), pp. 224–238.