To obtain slides and audio that are not linked, please email
me.
- Jan Jürjens. Quality Assurance for
Security-Critical Systems. 13th Software & Systems
Quality Conferences, 15th - 18th April 2008, Congress Center
Dusseldorf, Germany
- Jan Jürjens, Security Information
Networks, Two-day tutorial, each in Mumbai and New Delhi,
Sep. 5-8, 2007. With enkryptix security consulting, Mumbai,
India.
- Jan Jürjens. Tools and Techniques for
Model-based Testing with UML. 12th Software & Systems
Quality Conferences, April 2007, Congress Center Dusseldorf,
Germany (slides)
- Jan Jürjens, Return on Security
Investment, Infotage (FJLang Security Consulting),
29.–31.5.2005, Starnberger See
- Jan Jürjens, Security Software
Engineering and Embedded Systems, Infineon, Munich, Sep. 2,
2004. Slides,
Audio (pt 1, pt 2).
- Jan Jürjens, Model-based Security with
UMLsec, UMLChina
(Web-cast), May 2004. Slides,
Transcript.
- Jan Jürjens, Secure Software Engineering,
ESG, Munich, Dec. 8, 2004
- Jan Jürjens, Modelling for IT-Security-
and Risk-Analysis, Infotage (FJLang Security Consulting),
26.–27.11.2003, Starnberger See. Slides, Audio.
- Jan Jürjens, Model-based Testing of
Embedded Systems with UML, Conference on Software Testing (ICSTEST-E),
Bilbao (Spain), Nov. 24–25, 2003
- Jan Jürjens, Developing Secure
Enterprise Applications with UML, Fourth Workshop On UML
for Enterprise Applications, Burlingame, California, June
23–26, 2003 (OMG)
- Jan Jürjens, IT-Security and
Risk-Analysis for Business Processes, Infotage (FJLang
Security Consulting), 26.–27.5.2003, Starnberger See.
- Jan Jürjens, UMLsec – Presenting
the Profile, Sixth Annual Workshop On Distributed Objects
and Components Security (DOCsec2002), Baltimore, MD, March
18–21, 2002 (OMG)
- Jan Jürjens, Formal Foundations for
Verifying Security-Critical Software. 12th European Joint
Conferences on Theory and Practice of Software (ETAPS 2009)
- J. Jürjens: Model-based vs. Code-based
Verification for Critical Systems. (Models 2008 tutorial) (more
information, slides)
- Jan Jürjens, Developing Secure Embedded
Systems: Pitfalls and How to Avoid Them. 29th International
Conference on Software Engineering (ICSE 2007)
- Jan Jürjens, Building Biometric
Authentication Systems: Pitfalls and How to Avoid Them.
Annual Computer Security Applications Conference (ACSAC
2006)
- Jan Jürjens, Formal Development of
Critical Systems with UML: Methods and Tools. International
Symposium on Formal Methods for Components and Objects (FMCO
2005)
- Jan Jürjens, Model-driven engineering of
dependable critical systems with UML, International
Symposium on Software Reliability Engineering, ISSRE 2004,
Saint-Malo, Bretagne, Nov. 2–5, 2004. Announcement.
- Jan Jürjens, Constructing Tool-Support
for Sophisticated Analysis of UML Models: A Hands-On
Introduction, /**/UML
2004/**/, Lisbon, Oct. 10–15, 2004. Slides, Audio (pt 1, pt 2), Announcement.
- Jan Jürjens, Automated SW Engineering of
Critical Systems Development with UML, ASE 2004, Linz,
Sep. 20–25, 2004
- Jan Jürjens, Standards and Processes for
Modelbased Engineering of Safety- and Security-Critical
Systems, SAFECOMP 2004, Potsdam, Sep. 12–24, 2004
- Jan Jürjens, Model-based Security
Engineering with UML, FOSAD 2004,
Bertinoro, Sep. 6–11, 2004. Slides (pt 1, pt 2), Audio (pt 1, pt 2, pt 3, pt 4).
- Jan Jürjens, Critical Systems
Development with UML: Methods and Tools, IFIP World
Computer Congress 2004 (WCC '04 ),
Toulouse, Aug. 22–27, 2004. Slides, Audio (pt 1, pt 2, pt 3, pt 4, pt 5, pt 6).
- Jan Jürjens, Developing Secure Web-based
Applications with UML: Methods and Tools, ICWE'04, München,
July 28–30, 2004
- Jan Jürjens, Critical Systems
Development with UML: Methods and Tools, ECOOP'04, Oslo,
June 14–18, 2004
- Jan Jürjens, Software Architecture for
Safe and Secure Systems, 4th Working IEEE/IFIP Conference
on Software Architecture (WICSA'04),
Oslo, June 12, 2004
- Jan Jürjens, Critical Systems
Development with UML and Model-based Testing, Software
Engineering (SE 2004), Innsbruck, Austria, Feb. 17–19,
2004
- Jan Jürjens, Developing Security
Critical Distributed Systems with UML: Methods and Tools, 4th
IFIP International Conference on Distributed Applications
& Interoperable Systems and 6th IFIP
International Conference on Formal Methods for Open
Object-based Distributed Systems (DAIS & FMOODS), Paris
(France), Nov. 18–21, 2003
- Jan Jürjens and T. Kuhn, Developing
Secure and Mobile Web-based Applications with UML: Concepts
and Tools, WWW/Internet 2003, Algarve (Portugal), Nov.
5–8, 2003
- Jan Jürjens and Siv Houmb, Development
of Safety-Criticals Systems and Model-based Risk Analysis
with UML, Dependable
Computing (LADC 2003), São Paulo (Brazil), Oct.
21–24, 2003, LNCS,
© Springer-Verlag
- Jan Jürjens, Critical Systems
Development with UML – Methods and Tools, 4th
International Conference on Software Engineering, Artificial
Intelligence, Networking, and Parallel/Distributed Computing
(SNPD'03),
Lübeck, Oct. 16–18, 2003
- Jan Jürjens and Johannes Grünbauer, Critical
Systems Development with UML-light, Automated Software
Engineering (ASE'03) Tutorial Program, Montreal, Oct. 7,
2003
- Jan Jürjens, Formal Development of
Critical Systems with UML, IFIP International Conference on
Formal Techniques for Networked and Distributed Systems
(FORTE 2003), Berlin, Sept. 29 – Oct. 2, 2003
- Jan Jürjens, Methoden der Entwicklung
sicherer Systeme, GI Teiltagung "Sicherheit- Schutz und
Zuverlässigkeit", Frankfurt, Sept. 29 – Oct. 2,
2003
- Jan Jürjens, Critical Systems
Development with UML, Forum on Design Languages (FDL'03),
Frankfurt, Sept. 23–26, 2003
- Jan Jürjens, Critical Systems
Development with UML and Model-based Testing (Full-day
tutorial), The 22st International Conference on Computer
Safety, Reliability and Security (SAFECOMP 2003), Edinburgh,
Sept. 23–26, 2003. Slides, Audio (pt 1, pt 2, pt 3, pt 4, pt 5), Announcement.
- Jan Jürjens, Formal Development of
Critical Systems with UML: Methods and Tools, FME 03, Pisa,
Sept. 8–14, 2003
- Jan Jürjens, Pasha Shabalin, Developing
Critical Information Systems with UML: Concepts and
Tool-support,
ISTA 2003, Kharkiv, June 19–21, 2003
- Jan Jürjens, Critical Systems
Development with UML, CSS-2003, May 19–21, 2003
- Jan Jürjens, Formal Development of
Critical Systems with UML, ETAPS 03, European joint
conferences on Theory And Practice of Software 2003,
Warschau, April 05–13, 2003
- Jan Jürjens, Critical Systems
Development with UML Software Engineering (SE 2003),
Innsbruck, Feb. 10–13, 2003
- Jan Jürjens, Critical Systems
Development with UML, The 21st International Conference on
Computer Safety, Reliability and Security (SAFECOMP 2002),
Catania, Sept. 9–13, 2002
- Eduardo B. Fernandez and Jan Jürjens, A
Holistic View on Internet Security – Using Patterns
and UML, IFIP SEC 2002, 17th International Conference on
Information Security, Cairo, May 7–10 2002
|