Travelled to:
1 × Japan
1 × USA
2 × Canada
Collaborated with:
P.Fritzson M.Chalabine C.W.Keßler
Talks about:
languag (2) system (2) declar (2) model (2) equat (2) base (2) combinatori (1) transform (1) behavior (1) softwar (1)
Person: Peter Bunus
DBLP: Bunus:Peter
Contributed to:
Wrote 4 papers:
- ASE-2006-ChalabineKB #aspect-oriented #automation #re-engineering #weaving
- Automated Round-trip Software Engineering in Aspect Weaving Systems (MC, CWK, PB), pp. 305–308.
- ASE-2003-BunusF #automation #behaviour #fault #locality #modelling #physics #simulation #verification
- Semi-Automatic Fault Localization and Behavior Verification for Physical System Simulation Models (PB, PF), pp. 253–258.
- PADL-2002-BunusF #debugging #declarative #equation #modelling
- A Debugging Scheme for Declarative Equation Based Modeling Languages (PB, PF), pp. 280–298.
- SCAM-2002-BunusF #combinator #declarative #equation #graph transformation #semantics
- Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation-Based Languages (PB, PF), pp. 163–172.