|
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
|