The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alexander Pretschner: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
    Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems. [Citation Graph (0, 0)][DBLP]
    Ada Deutschland Tagung, 2002, pp:37-52 [Conf]
  2. Xiaolan Zhu, Susan Gauch, Lutz Gerhard, Nicholas Kral, Alexander Pretschner
    Ontology-Based Web Site Mapping for Information Exploration. [Citation Graph (0, 0)][DBLP]
    CIKM, 1999, pp:188-194 [Conf]
  3. Alexander Pretschner, Martin Leucker
    Model-Based Testing - A Glossary. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:607-609 [Conf]
  4. Alexander Pretschner, Jan Philipps
    Methodological Issues in Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Model-Based Testing of Reactive Systems, 2004, pp:281-291 [Conf]
  5. Manuel Hilty, David A. Basin, Alexander Pretschner
    On Obligations. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2005, pp:98-117 [Conf]
  6. Alexander Pretschner
    Model-Based Testing in Practice. [Citation Graph (0, 0)][DBLP]
    FM, 2005, pp:537-541 [Conf]
  7. Alexander Pretschner
    Model-based testing. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:722-723 [Conf]
  8. Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner, Christian Kühnel, M. Baumgartner, B. Sostawa, R. Zölch, Thomas Stauner
    One evaluation of model-based testing and its automation. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:392-401 [Conf]
  9. Martin Rappl, Alexander Pretschner, Chris Salzmann, Thomas Stauner
    3rd international workshop on software engineering for automotive systems - SEAS 2006. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:1034- [Conf]
  10. Chris Salzmann, Thomas Stauner, Alexander Pretschner
    ICSE Workshop: Software Engineering for Automotive Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2004, pp:779- [Conf]
  11. Chris Salzmann, Thomas Stauner, Alexander Pretschner
    2nd international workshop on software engineering for automotive systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:695- [Conf]
  12. Alexander Pretschner, Susan Gauch
    Ontology Based Personalized Search. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1999, pp:391-398 [Conf]
  13. Vadim Alyokhin, Benedikte Elbel, Martin Rothfelder, Alexander Pretschner
    Coverage Metrics for Continuous Function Charts. [Citation Graph (0, 0)][DBLP]
    ISSRE, 2004, pp:257-268 [Conf]
  14. Alexander Pretschner
    Modellbasiertes Testen. [Citation Graph (0, 0)][DBLP]
    Modellierung, 2004, pp:274- [Conf]
  15. Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
    Model-Based Development of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    OOIS Workshops, 2002, pp:298-312 [Conf]
  16. Gabor Hahn, Jan Philipps, Alexander Pretschner, Thomas Stauner
    Prototype-Based Tests for Hybrid Reactive Systems. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2003, pp:78-0 [Conf]
  17. Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
    Model Based Testing in Evolutionary Software Development. [Citation Graph (0, 0)][DBLP]
    IEEE International Workshop on Rapid System Prototyping, 2001, pp:155-161 [Conf]
  18. Alexander Pretschner, Wolfgang Prenninger
    Computing Refactorings of Behavior Models. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:126-141 [Conf]
  19. Thomas Stauner, Alexander Pretschner, Istran Péter
    Approaching a Discrete-Continuous UML: Tool Support and Formalization. [Citation Graph (0, 0)][DBLP]
    pUML, 2001, pp:242-257 [Conf]
  20. Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter
    Usage Control Requirements in Mobile and Ubiquitous Computing Applications. [Citation Graph (0, 0)][DBLP]
    ICSNC, 2006, pp:27- [Conf]
  21. Alexander Pretschner, Manuel Hilty, David A. Basin
    Distributed usage control. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 2006, v:49, n:9, pp:39-44 [Journal]
  22. Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
    Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  23. Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl
    Model-Based Test Case Generation for Smart Cards. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  24. Wolfgang Prenninger, Alexander Pretschner
    Abstractions for Model-Based Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:116, n:, pp:59-71 [Journal]
  25. Alexander Pretschner
    Compositional Generation of MC/DC Integration Test Suites. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:82, n:6, pp:- [Journal]
  26. Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps
    Model based testing in incremental system development. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2004, v:70, n:3, pp:315-329 [Journal]
  27. Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel
    Model-based testing for real. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:140-157 [Journal]
  28. Guido Wimmel, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch
    Specification based test sequence generation with propositional logic. [Citation Graph (0, 0)][DBLP]
    Softw. Test., Verif. Reliab., 2000, v:10, n:4, pp:229-248 [Journal]
  29. Susan Gauch, Jason Chaffee, Alexander Pretschner
    Ontology-based personalized search and browsing. [Citation Graph (0, 0)][DBLP]
    Web Intelligence and Agent Systems, 2003, v:1, n:3-4, pp:219-234 [Journal]
  30. Manuel Hilty, Alexander Pretschner, David A. Basin, Christian Schaefer, Thomas Walter
    A Policy Language for Distributed Usage Control. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2007, pp:531-546 [Conf]
  31. Alexander Pretschner, Chris Salzmann, Bernhard Schätz, Thomas Stauner
    4th International ICSE Workshop on Software Engineering for Automotive Systems. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:146- [Conf]
  32. Manuel Hilty, Alexander Pretschner, Christian Schaefer, Thomas Walter
    DUKE - Distributed Usage Control Enforcement. [Citation Graph (0, 0)][DBLP]
    POLICY, 2007, pp:275- [Conf]
  33. Alexander Pretschner, Fabio Massacci, Manuel Hilty
    Usage Control in Service-Oriented Architectures. [Citation Graph (0, 0)][DBLP]
    TrustBus, 2007, pp:83-93 [Conf]

  34. Negotiation of Usage Control Policies - Simply the Best? [Citation Graph (, )][DBLP]


  35. Formal Analyses of Usage Control Policies. [Citation Graph (, )][DBLP]


  36. Mechanisms for usage control. [Citation Graph (, )][DBLP]


  37. Software Engineering for Automotive Systems: A Roadmap. [Citation Graph (, )][DBLP]


  38. Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. [Citation Graph (, )][DBLP]


  39. Vorwort zum Doktorandensymposium der Modellierung 2008. [Citation Graph (, )][DBLP]


  40. 4th International Workshop on Model Driven Engineering, Verification, and Validation: Integrating Verification and Validation in MDE. [Citation Graph (, )][DBLP]


  41. Doctoral Symposium at MODELS 2008. [Citation Graph (, )][DBLP]


  42. Doktorandensymposium der SE 2010. [Citation Graph (, )][DBLP]


  43. A technical architecture for enforcing usage control requirements in service-oriented architectures. [Citation Graph (, )][DBLP]


  44. On the Predictability of Random Tests for Object-Oriented Software. [Citation Graph (, )][DBLP]


  45. Test-Driven Assessment of Access Control in Legacy Applications. [Citation Graph (, )][DBLP]


  46. Model-Based Tests for Access Control Policies. [Citation Graph (, )][DBLP]


  47. On the Effectiveness of Test Extraction without Overhead. [Citation Graph (, )][DBLP]


  48. Zur Kosteneffektivität des modellbasierten Testens. [Citation Graph (, )][DBLP]


  49. State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition. [Citation Graph (, )][DBLP]


  50. Policy Evolution in Distributed Usage Control. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002