Prof. Dr. Jan Jürjens - Publications by topic
UML Model Analysis

Disclaimer

  • J. Jürjens, Pasha Shabalin: A Foundation for Tool-Supported Critical Systems Development with UML. In: 11th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2004), Brno, Czech Republic, Institute of Electrical and Electronics Engineers, 2004.
    @InProceedings{aftscsd04, author = {J.~{J}{\"u}{r}jens and Pasha Shabalin}, title = {A Foundation for Tool-Supported Critical Systems Development with {UML}}, booktitle = {11th Annual IEEE International Conference on the Engineering of Computer Based Systems (ECBS 2004)}, year = {2004}, address = {Brno, Czech Republic}, organization = {Institute of Electrical and Electronics Engineers}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/ecbs04.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, umlModelAnalysis}, }
     BibTeX   preprint   dblp 
  • J. Jürjens: Constructing Tool-Support for Sophisticated Analysis of UML Models. In: UML 2004, Lisbon, 2004. Tutorial.
    @InProceedings{ctssa04, author = {J.~{J}{\"u}{r}jens}, title = {Constructing Tool-Support for Sophisticated Analysis of {UML} Models}, booktitle = {UML 2004}, year = {2004}, address = {Lisbon}, note = {Tutorial}, file = {announcement:http\://rgse.uni-koblenz.de/jj/csdumltut/History/uml04-ann.html:URL;audio 2/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/uml04b.wav:URL;audio 1/2:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/uml04a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/uml04.pdf:URL}, keywords = {atScientificConferences, tutorial, umlModelAnalysis}, URL = {http://www.umlconference.org/}, }
     BibTeX   URL   announcement   audio 2/2   audio 1/2   slides 
  • J. Jürjens: Critical Systems Development with UML: Methods and Tools. In: IFIP World Computer Congress 2004 (WCC '04), Toulouse, 2004. Full-day tutorial.
    @InProceedings{csdumlmt04a, author = {J.~{J}{\"u}{r}jens}, title = {Critical Systems Development with {UML}: Methods and Tools}, booktitle = {IFIP World Computer Congress 2004 (WCC '04)}, year = {2004}, address = {Toulouse}, note = {Full-day tutorial}, crossref = {safecomp04}, file = {audio 6/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04f.wav:URL;audio 5/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04e.wav:URL;audio 4/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04d.wav:URL;audio 3/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04c.wav:URL;audio 2/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04b.wav:URL;audio 1/6:http\://rgse.uni-koblenz.de/jj/csdumltut/audio/wcc04a.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/csdumltut/tutorials/wcc04.pdf:URL}, keywords = {atScientificConferences, tutorial, umlModelAnalysis}, URL = {http://www.wcc2004.org/}, }
     BibTeX   URL   audio 6/6   audio 5/6   audio 4/6   audio 3/6   audio 2/6   audio 1/6   slides 
  • J. Jürjens, P. Shabalin: Tools for Critical Systems Development with UML. In: N. Jardin Nunes, B. Selic, A. Silva, A. Toval (editors): UML Modeling Languages and Applications, \guillemotleftUML\guillemotright 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers, Springer Verlag, Lisbon, Portugal, Lecture Notes in Computer Science, vol. 3297, pp. 250-253, 2004. Revised Selected Papers.
    @InProceedings{tcsdu04, author = {J.~{J}{\"u}{r}jens and P.~Shabalin}, title = {Tools for {Critical Systems Development with UML}}, booktitle = {{UML} Modeling Languages and Applications, {\guillemotleft}UML{\guillemotright} 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers}, year = {2004}, editor = {N. {Jardin Nunes} and B. Selic and A. Silva and A. Toval}, pages = {250--253}, series = {Lecture Notes in Computer Science}, volume = {3297}, address = {Lisbon, Portugal}, publisher = {Springer Verlag}, note = {Revised Selected Papers}, file = {preprint:http\://rgse.uni-koblenz.de/jj/publications/papers/uml04tool.pdf:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007%2F978-3-540-31797-5_27:URL}, keywords = {internationalConferences, umlModelAnalysis}, url = {https://doi.org/10.1007/978-3-540-31797-5\_27}, doi = {10.1007/978-3-540-31797-5\_27}, }
     BibTeX   DOI   preprint   dblp   SpringerLink 
  • J. Jürjens, P. Shabalin: XML-based Analysis of UML Models for Critical Systems Development. In: IDEA Group Publishing Advances in UML and XML Based Software Evolution, 2004
    @InCollection{xmlba04, author = {J.~{J}{\"u}{r}jens and P.~Shabalin}, title = {{XML}-based Analysis of {UML} Models for Critical Systems Development}, booktitle = {Advances in UML and XML Based Software Evolution}, year = {2004}, publisher = {IDEA Group Publishing}, DOI = {10.4018/978-1-59140-621-1.ch011}, file = {preprint:https://books.google.de/books?id=TS9bOJYS93oC&pg=PA259&lpg=PA259&dq=%22XML-based+Analysis+of+UML+Models+for+Critical+Systems+Development%22&source=bl&ots=v0kuJcpfY7&sig=BUd4sXIGEkczI0lktDKdWYS3ShY&hl=de&sa=X&ei=l1i5VK30AobkaICcgrAP&ved=0CDgQ6AEwAw#v=onepage&q=%22XML-based%20Analysis%20of%20UML%20Models%20for%20Critical%20Systems%20Development%22&f=false:URL}, keywords = {contributedBookChapters, umlModelAnalysis}, }
     BibTeX   DOI   preprint 
  • J. Jürjens: A UML statecharts semantics with message-passing. In: G. B.Lamont , H. Haddad, G. Papadopoulos, B. Panda (editors): Proceedings of the 2002 Symposium of Applied Computing (SAC), ACM Press, Madrid, Spain, pp. 1009-1013, ACM, 2002. Proceedings of the 2002 ACM Symposium of Applied Computing.
    @InProceedings{auss02, author = {J.~{J}{\"u}{r}jens}, title = {A {UML} statecharts semantics with message-passing}, booktitle = {Proceedings of the 2002 Symposium of Applied Computing (SAC)}, year = {2002}, editor = {{G. B.} Lamont and H. Haddad and G. Papadopoulos and B. Panda}, pages = {1009--1013}, address = {Madrid, Spain}, organization = {ACM}, publisher = {ACM Press}, note = {Proceedings of the 2002 ACM Symposium of Applied Computing}, DOI = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.3196}, file = {audio:http\://rgse.uni-koblenz.de/jj/publications/audio/sac02.wav:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/sac02soft2Talk.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/sac02soft2.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/sac02soft2.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL}, keywords = {internationalConferences, umlModelAnalysis, secureSoftwareEngineeringModelBasedSecurityEngineering}, }
     BibTeX   DOI   audio   slides   paper (pdf)   paper (ps)   dblp 
  • J. Jürjens: Formal Semantics for Interacting UML subsystems. In: B. Jacobs, A. Rensink, Bart Jacobs, Arend Rensink (editors): 5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002), Kluwer, Twente, pp. 29-44, ifip, 2002.
    @InProceedings{fsius02, author = {J.~{J}{\"u}{r}jens}, title = {Formal Semantics for Interacting {UML} subsystems}, booktitle = {5th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002)}, year = {2002}, editor = {B. Jacobs and A. Rensink and Bart Jacobs and Arend Rensink}, pages = {29--44}, volume = {81}, address = {Twente}, organization = {ifip}, publisher = {Kluwer}, file = {audio (MS outlook):http\://rgse.uni-koblenz.de/jj/publications/audio/fmoods02.msg:URL;slides:http\://rgse.uni-koblenz.de/jj/publications/papers/fmoods02Talk.pdf:URL;paper (pdf):http\://rgse.uni-koblenz.de/jj/publications/papers/fmoods02.pdf:URL;paper (ps):http\://rgse.uni-koblenz.de/jj/publications/papers/fmoods02.ps:URL;dblp:http://dblp.uni-trier.de/pers/hd/j/J=uuml=rjens:Jan:URL;SpringerLink:http://link.springer.com/chapter/10.1007%2F978-0-387-35496-5_4:URL}, keywords = {internationalConferences, umlModelAnalysis}, }
     BibTeX   audio (MS outlook)   slides   paper (pdf)   paper (ps)   dblp   SpringerLink