Publications ordered per year
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
Publications ordered per subject
Model-checking algorithms and tools
Formal Approaches to Security Protocols
Formal Approaches to the modeling of Human-Computer Interaction
Formal Approaches to Embedded/Safety-Critical Systems
Formal Approaches to Requirements Engineering
Formal Approaches to Product Family Engineering
Formal Approaches to web-services and component-based architectures
Formal Approaches to Testing
Precise UML
Specification Styles
Integration of process-algebraic and state-based and functional specification models
Quantitative extentions of Process Algebras a Formal approaches to integrated modeling of functional and non-functional aspects of behaviour
Formal Methods in Molecular Biology and Digital Physics
(Team) Automata,cellular automata, and Language Theory
Publications Search
ordered by Author/s, group, type and year
[
Home
]