Travelled to:1 × Canada
1 × France
1 × Italy
1 × USA
Collaborated with:J.F.Groote A.Osaiweran ∅
Talks about:control (3) method (3) formal (3) develop (2) analyz (2) unit (2) uncertainti (1) architectur (1) distribut (1) scenario (1)
Person: Jacco H. Wesselius
DBLP: Wesselius:Jacco_H=
Contributed to:
2012
2012
2011
20062005Wrote 5 papers:
- ICST-2012-GrooteOW #formal method #using
- Analyzing a Controller of a Power Distribution Unit Using Formal Methods (JFG, AO, JHW), pp. 420–428.
- SAC-2012-GrooteOW #case study #experience #formal method
- Experience report on developing the Front-end client unit under the control of formal methods (JFG, AO, JHW), pp. 1183–1190.
- ICSM-2011-GrooteOW #development #formal method #industrial
- Analyzing the effects of formal methods on the development of industrial control software (JFG, AO, JHW), pp. 467–472.
- SPL-BOOK-2006-Wesselius #product line
- Strategic Scenario-Based Valuation of Product Line Roadmaps (JHW), pp. 53–89.
- SPLC-2005-Wesselius #architecture #modelling #nondeterminism
- Modeling Architectural Value: Cash Flow, Time and Uncertainty (JHW), pp. 89–95.