Alexander Pretschner: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems (FASW) - Umea, Sweden (2019.6.16-2019.6.20)] 2019 IEEE 4th International Workshops on Foundations and Applications of Self Systems (FAS*W) - Learning Approach for Smart Self-Adaptive Cyber-Physical Systems

Petrovska, Ana, Pretschner, Alexander

Year:

2019

Language:

english

File:

PDF, 63 KB

english, 2019

2

[IEEE 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Montreal, QC, Canada (2019.5.25-2019.5.26)] 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC) - Learning a Classifier for Prediction of Maintainability Based on Static Analysis Tools

Schnappinger, Markus, Osman, Mohd Hafeez, Pretschner, Alexander, Fietzke, Arnaud

Year:

2019

Language:

english

File:

PDF, 2.64 MB

english, 2019

3

A taxonomy of model-based testing approaches

Mark Utting, Alexander Pretschner, Bruno Legeard

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 929 KB

english, 2012

4

[IEEE Future of Software Engineering - Minneapolis, MN, USA (2007.05.23-2007.05.25)] Future of Software Engineering (FOSE '07) - Software Engineering for Automotive Systems: A Roadmap

Pretschner, Alexander, Broy, Manfred, Kruger, Ingolf H., Stauner, Thomas

Year:

2007

Language:

english

File:

PDF, 875 KB

english, 2007

5

Herausforderungen an der Schnittstelle von Informatik und Gesellschaft

Anding, Markus, Boes, Andreas, Eckert, Claudia, Harhoff, Dietmar, Hess, Thomas, Münch, Ursula, Pretschner, Alexander

Journal:

Informatik-Spektrum

Year:

2017

Language:

german

File:

PDF, 219 KB

german, 2017

6

[ACM Press the 12th ACM/IEEE International Symposium - Oulu, Finland (2018.10.11-2018.10.12)] Proceedings of the 12th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement - ESEM '18 - Software quality assessment in practice

Schnappinger, Markus, Osman, Mohd Hafeez, Pretschner, Alexander, Pizka, Markus, Fietzke, Arnaud

Year:

2018

Language:

english

File:

PDF, 490 KB

english, 2018

7

Guest editorial for the special section on MODELS 2016

Kienzle, Jörg, Pretschner, Alexander

Journal:

Software & Systems Modeling

Year:

2019

Language:

english

File:

PDF, 146 KB

english, 2019

8

Model based testing in incremental system development

Alexander Pretschner, Heiko Lötzbeyer, Jan Philipps

Journal:

Journal of Systems and Software

Year:

2004

Language:

english

File:

PDF, 631 KB

english, 2004

9

Compositional Generation of MC/DC Integration Test Suites

Alexander Pretschner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 196 KB

english, 2003

10

Computing refactorings of state machines

Alexander Pretschner, Wolfgang Prenninger

Journal:

Software & Systems Modeling

Year:

2007

Language:

english

File:

PDF, 562 KB

english, 2007

11

Towards Systematic Achievement of Compliance in Service-Oriented Architectures: The MASTER Approach

Volkmar Lotz, Emmanuel Pigout, Peter M. Fischer, Donald Kossmann, Fabio Massacci, Alexander Pretschner

Journal:

Wirtschaftsinformatik

Year:

2008

Language:

english

File:

PDF, 418 KB

english, 2008

12

Abstractions for Model-Based Testing

Wolfgang Prenninger, Alexander Pretschner

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 232 KB

english, 2005

13

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || Part II. Testing of Labeled Transition Systems

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 105 KB

english, 2005

14

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 5 Preorder Relations

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 443 KB

english, 2005

15

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 4 Conformance Testing

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 406 KB

english, 2005

16

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 22 Labelled Transition Systems

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 173 KB

english, 2005

17

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 6 Test Generation Algorithms Based on Preorder Relations

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 217 KB

english, 2005

18

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 7 I/O-automata Based Testing

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 401 KB

english, 2005

19

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || Part III. Model-Based Test Case Generation

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 63 KB

english, 2005

20

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 9 Testing Theory for Probabilistic Systems

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 506 KB

english, 2005

21

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 19 Model Checking

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 545 KB

english, 2005

22

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || Part VII. Appendices

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

File:

PDF, 20 KB

2005

23

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 16 TTCN-3

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 695 KB

english, 2005

24

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 21 Finite State Machines

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 197 KB

english, 2005

25

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 17 UML 2.0 Testing Profile

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

26

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || 18 Run-Time Verification

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

27

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 || Part VI. Beyond Testing

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

File:

PDF, 43 KB

2005

28

[IEEE 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) - Newport Beach, CA, USA (2011.05.23-2011.05.26)] 2011 11th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing - Implementing Trust in Cloud Infrastructures

Neisse, Ricardo, Holling, Dominik, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 267 KB

english, 2011

29

[Lecture Notes in Computer Science] Security and Trust Management Volume 6710 || Privacy-Friendly Energy-Metering via Homomorphic Encryption

Cuellar, Jorge, Lopez, Javier, Barthe, Gilles, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 250 KB

english, 2011

30

[Lecture Notes in Computer Science] Model-Based Testing of Reactive Systems Volume 3472 ||

Broy, Manfred, Jonsson, Bengt, Katoen, Joost-Pieter, Leucker, Martin, Pretschner, Alexander

Year:

2005

Language:

english

File:

PDF, 5.05 MB

english, 2005

31

[ACM Press the second ACM conference - San Antonio, Texas, USA (2012.02.07-2012.02.09)] Proceedings of the second ACM conference on Data and Application Security and Privacy - CODASKY '12 - Deriving implementation-level policies for usage control enforcement

Kumari, Prachi, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 1.47 MB

english, 2012

32

[ACM Press the first ACM workshop - Chicago, Illinois, USA (2009.11.13-2009.11.13)] Proceedings of the first ACM workshop on Information security governance - WISG '09 - GoCoMM

Gheorghe, Gabriela, Massacci, Fabio, Neuhaus, Stephan, Pretschner, Alexander

Year:

2009

Language:

english

File:

PDF, 396 KB

english, 2009

33

[Lecture Notes in Computer Science] Security and Trust Management Volume 6710 || An Authentication Trust Metric for Federated Identity Management Systems

Cuellar, Jorge, Lopez, Javier, Barthe, Gilles, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 310 KB

english, 2011

34

[Lecture Notes in Computer Science] Security and Trust Management Volume 6710 ||

Cuellar, Jorge, Lopez, Javier, Barthe, Gilles, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 5.20 MB

english, 2011

35

[ACM Press the 17th ACM symposium - Newark, New Jersey, USA (2012.06.20-2012.06.22)] Proceedings of the 17th ACM symposium on Access Control Models and Technologies - SACMAT '12 - Towards a policy enforcement infrastructure for distributed usage control

Kelbert, Florian, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 423 KB

english, 2012

36

Distributed usage control

Pretschner, Alexander, Hilty, Manuel, Basin, David

Journal:

Communications of the ACM

Year:

2006

Language:

english

File:

PDF, 112 KB

english, 2006

37

[ACM Press the 9th ACM symposium - Kyoto, Japan (2014.06.04-2014.06.06)] Proceedings of the 9th ACM symposium on Information, computer and communications security - ASIA CCS '14 - Malware detection with quantitative data flow graphs

Wüchner, Tobias, Ochoa, Martín, Pretschner, Alexander

Year:

2014

Language:

english

File:

PDF, 1.07 MB

english, 2014

38

[ACM Press the first ACM conference - San Antonio, TX, USA (2011.02.21-2011.02.23)] Proceedings of the first ACM conference on Data and application security and privacy - CODASPY '11 - Distributed data usage control for web applications

Kumari, Prachi, Pretschner, Alexander, Peschla, Jonas, Kuhn, Jens-Michael

Year:

2011

Language:

english

File:

PDF, 717 KB

english, 2011

39

[ACM Press the 16th ACM symposium - Innsbruck, Austria (2011.06.15-2011.06.17)] Proceedings of the 16th ACM symposium on Access control models and technologies - SACMAT '11 - Data-centric multi-layer usage control enforcement

Lovat, Enrico, Pretschner, Alexander

Year:

2011

Language:

english

File:

PDF, 643 KB

english, 2011

40

[IEEE 2009 Third International Conference on Network and System Security - Gold Coast, Queensland, Australia (2009.10.19-2009.10.21)] 2009 Third International Conference on Network and System Security - State-Based Usage Control Enforcement with Data Flow Tracking using System Call Interposition

Harvan, Matú, Pretschner, Alexander

Year:

2009

Language:

english

File:

PDF, 370 KB

english, 2009

41

[IEEE 2009 International Conference on Availability, Reliability and Security - Fukuoka, Japan (2009.03.16-2009.03.19)] 2009 International Conference on Availability, Reliability and Security - Formal Analyses of Usage Control Policies

Pretschner, Alexander, Rüesch, Judith, Schaefer, Christian, Walter, Thomas

Year:

2009

Language:

english

File:

PDF, 376 KB

english, 2009

42

[IEEE 2012 IEEE 23rd International Symposium on Software Reliability Engineering (ISSRE) - Dallas, TX, USA (2012.11.27-2012.11.30)] 2012 IEEE 23rd International Symposium on Software Reliability Engineering - Data Loss Prevention Based on Data-Driven Usage Control

Wuchner, Tobias, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 470 KB

english, 2012

43

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - On the Predictability of Random Tests for Object-Oriented Software

Ciupa, Ilinca, Pretschner, Alexander, Leitner, Andreas, Oriol, Manuel, Meyer, Bertrand

Year:

2008

Language:

english

File:

PDF, 1.05 MB

english, 2008

44

[IEEE 2006 International Conference on Systems and Networks Communications (ICSNC'06) - Tahiti (2006.10.29-2006.11.3)] 2006 International Conference on Systems and Networks Communications (ICSNC'06) - Usage Control Requirements in Mobile and Ubiquitous Computing Applications

Hilty, Manuel, Pretschner, Alexander, Schaefer, Christian, Schaefer, Christian, Walter, Thomas

Year:

2006

Language:

english

File:

PDF, 237 KB

english, 2006

45

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Model-Based Tests for Access Control Policies

Pretschner, Alexander, Mouelhi, Tejeddine, Traon, Yves Le

Year:

2008

Language:

english

File:

PDF, 496 KB

english, 2008

46

[IEEE 2012 6th International Conference on Software Security and Reliability (SERE) - Gaithersburg, MD, USA (2012.06.20-2012.06.22)] 2012 IEEE Sixth International Conference on Software Security and Reliability - Flexible Data-Driven Security for Android

Feth, Denis, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 200 KB

english, 2012

47

[IEEE 2012 6th International Conference on Software Security and Reliability (SERE) - Gaithersburg, MD, USA (2012.06.20-2012.06.22)] 2012 IEEE Sixth International Conference on Software Security and Reliability - Semi-Automatic Security Testing of Web Applications from a Secure Model

Buchler, Matthias, Oudinet, Johan, Pretschner, Alexander

Year:

2012

Language:

english

File:

PDF, 583 KB

english, 2012

48

[IEEE 2008 IEEE International Symposium on Software Reliability Engineering (ISSRE) - Seattle, WA, USA (2008.11.10-2008.11.14)] 2008 19th International Symposium on Software Reliability Engineering (ISSRE) - Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports

Ciupa, Ilinca, Meyer, Bertrand, Oriol, Manuel, Pretschner, Alexander

Year:

2008

Language:

english

File:

PDF, 214 KB

english, 2008

49

[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - DUKE--Distributed Usage Control Enforcement

Hilty, Manuel, Pretschner, Alexander, Schaefer, Christian, Walter, Thomas

Year:

2007

Language:

english

File:

PDF, 85 KB

english, 2007

50

[IEEE 2008 International Conference on Software Testing, Verification, and Validation - Lillehammer, Norway (2008.04.9-2008.04.11)] 2008 International Conference on Software Testing, Verification, and Validation - Test-Driven Assessment of Access Control in Legacy Applications

Traon, Yves Le, Mouelhi, Tejeddine, Pretschner, Alexander, Baudry, Benoit

Year:

2008

Language:

english

File:

PDF, 544 KB

english, 2008