Publications ordered per year

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