- Program Co-Chair of the CS2Bio 2012,
Stockholm, June 16, 2012.
- Presentation entitled
Modelchecking evolution on-the-fly
IMT Seminar, Lucca, January 18, 2012
Professional activities 2011
- PC-member of FSEN 2011, the 4th IPM International Conference on
Fundamentals of Software Engineering,
Tehran, April 20-22, 2011.
- PC-member of ICE 2011,
the 4th Interaction and Concurrency Experience,
Reykjavik, June 9, 2011.
- PC-member of CS2Bio 2011,
the 2th international workshop on Interactions between Computer Science
and Biology,
Reykjavik, June 9, 2011.
- PC-member of ISARCS 2011, the 2nd International ACM SigSoft Symposium
on Architecting Critical Systems,
Boulder, June 20-24, 2011.
- PC-member of TTSS 2011,
the 5th international workshop on Harnassing Theories for Tool Support
in Software,
Oslo, September 13, 2011.
- Program Co-Chair of CompMod 2011,
3rd international workshop on Computational Models for Cell
Processes, Aachen, September 10, 2011.
- Invited lecture entitled
Encoding of Quantitative Reo Connectors
at the 9th workshop on Quantitative Aspects of Programming Languages,
Saarbrücken, April 1-3, 2011.
- Program Co-Chair of the Dutch IPA Spring Days on Bioinformatics,
Vlijmen, the Neherlands, April 11-15, 2011.
- Co-promotor at the PhD-defense of José Proença,
Synchronous Coordination of Distributed Components,
Universiteit Leiden, May 11, 2011
- Co-promotor at the PhD-defense of Christian Krause,
Reconfigurable Component Connectors,
Universiteit Leiden, June 21, 2011
- Co-promotor at the PhD-defense of Young-Joo Moon,
Stochastic Models for Quality of Service of Component Connectors,
Universiteit Leiden, October 25, 2011
- Examiner PhD-committee Paul van Tilburg,
From Computability to Executability: A process theoretic
view on automata theory,
Technische Universiteit Eindhoven, October 27, 2011
- Examiner PhD-committee Stephanie Kemper,
Modelling and Analysis of Real-Time Coordination Patterns,
Universiteit Leiden, December 20, 2011
- Guest-lecturer at the Bio-Modelling and Petri Nets seminar,
On a visual process calculus for biological systems,
LIACS, April 26, 2011
- Member MLQA Steering Committee
- Presentation entitled
Towards reduction of Paradigm coordination models
at the first PACO workshop on Process Algebra and Coordination,
Reykjavik, June 9, 2011
- Presentation entitled
Modeling Dynamic System Adaptation with Paradigm
at the ISTI seminar of the Istituto di Scienza e Tecnologie
dell' Informazione "A. Faedo",
Pisa, October 14, 2011
- Presentation entitled
Analysis of aa-tRNA competition: an application of
Prism in systems biology
at the ISTI seminar of the Istituto di Scienza e Tecnologie
dell' Informazione "A. Faedo",
Pisa, November 25, 2011
- Presentation entitled
Paradigm & McPal: changing the rules while playing
at the symposium on the occasion of the retirement of Luuk
Groenewegen,
Leiden, December 16, 2011
- Referee for
(books and journals)
Theoretical Computer Science (3x),
Advances in Systems Biology,
Scientific Annals of Computer Science
Professional activities 2010
- Guest-editor Transactions on Computational Systems Biology.
- PC-member of CMSB 2010, the 8th International Conference on
Computational Methods in Systems Biology,
Trento, September 29-October 1, 2010.
- PC-member of FOCLASA 2010, the 9th International Workshop on the
Foundations of Coordination Languages and Software Architectures,
Paris, September 4, 2010.
- PC-member of MeCBIC 2010, the 4th Workshop on Membrane Computing
and Biologically Inspired Process Calculi, Jena, August 23-24, 2010.
- PC-member of ISARCS 2010, the 1st International Symposium on
Architecting Critical Systems, Prague, June 23-25, 2010.
- PC-member of AMAST 2010, the 13th International Conference on
Algebraic Methodology and Software Technology,
Manoir St-Castin, Quebéc, June 23-26, 2010.
- PC-member of ICE 2010, the 3rd Interaction and Concurrency
Experience, Amsterdam, June 10, 2010.
- PC-member of CS2Bio'10, the 1st International Workshop on
Interaction between Computer Science and Biology, Amsterdam,
June 10, 2010.
- PC-member of FBTC 2010, the 3rd International Workshop on
From Biology to Concurrency and Back, Paphos, Cyprus, March 27, 2010.
- Presentation entitled
Variations with Paradigm: Model Checking Component Collaboration
at the SYANCO Winterschool 2010, Berlin, February 8-12, 2010.
- Contribution entitled
Concurrent inhibition of TGF and MAP kinase pathways lead to
abrogated fibrotic traits of Dupuytren's disease fibroblasts
at the 51th Congress of the German Society of Hand Surgery,
DGH 2010, Nürnberg, October 7-9, 2010.
- Poster entitled
Towards Dynamic Adaptation of Probabilistic Systems
at the MLQA 2010 meeting, Edinburgh, July 9, 2010.
- Examiner PhD-committee David Costa,
Formal Models for Component Connectors,
Vrije Universiteit Amsterdam, December 13, 2010
- Examiner PhD-committee Alexandra Silva,
Kleene Coalgebra,
Radboud University Nijmegen, December 21, 2010
- Member MLQA Steering Committee
- Member Selection Committee NWO Vrije Competitie 2009-3,
Computer Science subcommittee
- Reviewer for ZonMw, the Dutch organization for Health Research
and Development
- Referee for
(workshops and conferences)
COORDINATION 2010, Amsterdam,
Concur 2010, Paris,
(books and journals)
Science of Computer Programming
Professional activities 2009
- Co-coordinator of Formal Methods week,
Eindhoven, the Netherlands, November 2-6, 2009
- Workshop chair of FM2009, the 16th international symposium on
Formal Methods,
Eindhoven, the Netherlands, November 4-6, 2009
- Co-organizer of CompMod 2009, the 2nd International Workshop on
Computational Modelling of Cell Processes,
Eindhoven, the Netherlands, November 3, 2009
- PC-member of FOCLASA'09, the 8th international workshop on
the Foundations of Coordination Languages and Software Architectues,
Rhodes, Greece, July 11, 2009
- PC-member of ICE'09, 2nd international workshop on
Interaction and Concurrency, Bologna, Italy, August 31, 2009
- Member Selection Committee NWO Vrije Competitie 2009-1,
Computer Science subcommittee and multi-disciplinary committee,
NWO Vrije Competitie 2009-2, Computer Science subcommittee
- Co-promotor at the PhD-defense of Andries Stam,
Interaction Protocols in Paradigm,
Universiteit Leiden, December 8, 2009
- Examiner PhD-committee Leo van Iersel,
Algorithms, Haplotypes and Phylogenetic Networks,
Technische Universiteit Eindhoven, January 29, 2009
- Examiner PhD-committee Helle H. Hansen,
Coalgebraic Modelling: Applications in Automata Theory and Modal
Logic, Vrije Universiteit Amsterdam, May 14, 2009
- Invited talk entitled
Architecting Security with Paradigm
at the SaToSS seminar of the University of Luxembourg,
April 21, 2009
- Invited talk entitled
From Paradigm to mCRL2: Model Checking Component Collaboration
at the Dutch Model Checking Day,
Twente University, Enschede, April 2, 2009
- Invited talk entitled
Stochastic automata for replication, translation and translesion
synthesis
at the MOAN-CB Modelling and Analysis of Cell Behaviour meeting,
a ECCS 2009 satelite, Warwick, September 23, 2009
- Presentation entitled
MLQA building blocks from CWI and TU/e
at the MLQA kick-off meeting in York, March 28, 2009
- Presentation entitled
Verification of Reo circuits using mCRL2
at the CoCoCo meeting in Amsterdam, October 12 & 13, 2009
- Referee for
(workshops and conferences)
CALCO 2009, Udine,
ICALP 2009, Rhodes,
CONCUR 2009, Bologna,
ESOP 2010, Paphos,
(books and journals)
Architecting Dependable Systems VI
Professional activities 2008
- Co-promotor at the PhD-defense of Jasen Markovski,
Real and Stochastic Time in Process Algebras for Performance
Evaluation,
Technische Universiteit Eindhoven, October 2, 2005
- PC-member of GlobalComp,
Workshop on Global Computing Models and Technologies,
SYNASC, Timisoara, 2008
- PC-member of VODCA,
3rd international workshop on Views on Designing Complex Architectures,
FOSAD, Bertinoro, 2008
- Referee for
(journals)
Theoretical Computer Science,
(workshops and conferences)
Concur 2008, Toronto,
AMAST 2008, Urbana-Champaign,
FoSSACS 2009, York
Professional activities 2007
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- External examiner at the PhD-defense of Isabelle Linden,
On the introduction of Time in Coordation Languages:
Semantics, Expressiveness and Programming Methodologies,
Facultés Universitaires Notre-Dame de la Paix, Namur,
June 14th, 2007.
- PC-member of SYANCO 2007,
first International Workshop on
Synthesis and Analysis of Component Connectors,
Dubrovnik 2007
- Referee for
(workshops and conferences)
Concur 2007 Lisbon,
Professional activities 2006
- Co-promotor at the PhD-defense of Cas Cremers,
Scyther: Semantics and Verification of Security Protocols,
Technische Universiteit Eindhoven, November 6, 2006
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- Invited talk at VODCA 06, Bertinoro
- External expert PhD-committee Ling Cheung,
Reconciling Nondeterministic and Probabilistic Choices,
Radboud University Nijmegen, September 18th, 2006
- External expert PhD-committee Martijn Warnier,
Language Based Security for Java and JML,
Radboud University Nijmegen, November 27th, 2006
- Referee for (journals)
Theoretical Computer Science,
Journal of Logic, Language and Information,
Journal of Universal Computer Science
(workshops and conferences)
Coordination 2006 Bologna,
VODCA 2006 Bertinoro,
FOSSACS 2007 Braga,
FSEN 2007 Tehran
Professional activities 2005
- Co-Organizer of the third workshop on
Logic and Communication in Multi-Agent Systems, LCMAS 2005
workshop of IJCAI 2005, Edinburgh
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- PC-member of the 4th joint conference on Automonous Agents and Multi-Agent
Systems, AAMAS 2005, Utrecht
- PC-member of IFIP WG 11.2 Small Systems Security,
workshop of SEC 2005, Chiba
- PC-member of Structural Operational Semantics,
a satellite workshop of ICALP 2005, Lisbon
- Co-promotor the PhD-defense of Ana Sokolova,
Coalgebraic Analysis of Probabilistic Systems,
Technische Universiteit Eindhoven, November 3, 2005
- Member Steering Commitee SAFE-NL, the platform for Security:
Applications, Formal aspects and Environments, in the NetherLands
- Referee for (journals) Acta Informatica, Siam Journal on Computing,
Journal of Universal Computer Science,
(conferences and workshops) CBSE 2005 St. Louis, ICALP 2005 Lisboa,
Concur 2005 San Francisco, EuroMicro/SPPI 2005 Porto,
ARSPA 2005 Lisbon, CICS 2005 Beijing, M4M 2005 Berlin
- Reviewer for STW, the Netherlands
Professional activities 2004
- Co-Organizer of the second workshop on
Logic and Communication in Multi-Agent Systems, LCMAS 2004
workshop of ESSLLI 2004, Nancy
- PC-member of the Dutch research program Sentinels,
a research program on security in ICT, networks and information systems
- PC-member of VODCA,
a workshop on Views on Designing Complex Architectures,
FOSAD, Bertinoro, 2004
- PC-member of Structural Operational Semantics,
a satellite workshop of CONCUR 2004, London
- PC-member of the 3rd joint conference on Automonous Agents and Multi-Agent
Systems, AAMAS 2004, Washington
- Member Steering Commitee SAFE-NL, the platform for Security:
Applications, Formal aspects and Environments, in the NetherLands
- Referee for (journal) Fundamenta Informaticae
- Reviewer for ESPRC United-Kingdom
Professional activities 2003
- PC-member of the 2nd joint conference on Automonous Agents and Multi-Agent
Systems, AAMAS 2003, Melbourne
- PC-member of IFIP WG 11.2 Small Systems Security,
workshop of SEC 2003, Athens
- Workshop Chair of the 30th International Colloquium on Automata, Languages
and Programming, ICALP 2003, Eindhoven
- Member Steering Commitee SAFE-NL, the platform for Security:
Applications, Formal aspects and Environments, in the NetherLands
- Co-Organizer of the first workshop on
Logic and Communication in Multi-Agent Systems, LCMAS 2003
pre-conference workshop of ICALP 2003, Eindhoven
- Referee for (journals) Journal of Logic and Algebraic Programming,
(conferences and workshops) ICALP 2003, Eindhoven, ACSD 2003, Guimares,
(books) Ambient Intelligence: Impact on embedded-system design,
T. Basten, M. Geilen, H. de Groot (eds.), Kluwer
- Reviewer for IWT Belgium, ESPRC United-Kingdom