Security Engineering for Lifelong Evolvable Systems
Home

Publications

Export 30 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is P  [Clear All Filters]
A B C D E F G H I J K L M N O [P] Q R S T U V W X Y Z   [Show ALL]
V
Jacobs, B., J. Smans, and F. Piessens, "Verification of unloadable modules", 17th International Symposium on Formal Methods (FM 2011), vol. 6664: Springer, pp. 402–416, 2011.

Limerick (Ireland), 20-24 June 2011

T
Bergmann, G., F. Massacci, F. Paci, T. T. Tun, D. Varró, and Y. Yu, "A Tool for Managing Evolving Security Requirements", CAiSE Forum: CEUR-WS.org, pp. 49-56, 2011.
Bergmann, G., F. Massacci, F. Paci, T. T. Tun, D. Varró, and Y. Yu, "A Tool for Managing Evolving Security Requirements", CAiSE Forum , London, Springer-Verlag, pp. 49-56, 2011.
Dadeau, F., F. Peureux, B. Legeard, R. Tissot, J. Julliand, P. - A. Masson, and F. Bouquet, "Test Generation using Symbolic Animation of Models", Model-Based Testing for Embedded Systems: CRC Press, pp. ***–***, 2010.

Accepted manuscript. To appear

S
Penninckx, W., J. T. Mühlberg, B. J. Jan Smans, and F. Piessens, "Sound Formal Verification of Linux's USB BP Keyboard Driver", The 4th NASA Formal Methods Symposium (NFM 2012), 2012.

to appear

Bouquet, F., R. Breu, J. Jurjens, F. Massacci, V. Meduri, Z. Micskei, F. Piessens, K. Stolen, and D. Varró, "SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, Czech Republic, 04/2009. Abstract
Massacci, F., and F. Paci, "Secure Collaborative Systems", In Trustworthy Internet: Springer, 2011.
Bergmann, G., F. Massacci, F. Paci, T. Tun, D. Varró, and Y. Yu, "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract

10.1007/978-3-642-24755-2_35

Q
Jacobs, B., J. Smans, and F. Piessens, "A quick tour of the VeriFast program verifier", Programming Languages and Systems (APLAS 2010): Springer-Verlag, pp. 304–311, November, 2010.
O
Massacci, F., F. Bouquet, E. Fourneret, J. Jürjens, M. S. Lund, S. Madelénat, J. T. Muehlberg, F. Paci, S. Paul, F. Piessens, et al., "Orchestrating Security and System Engineering for Evolving Systems", ServiceWave, pp. 134-143, 2011.
M
Yu, Y., M. Petre, and T. T. Tun, "Miki: a wiki for synchronous modeling of software requirements", 4th FlexiTools workshop ? ICSE 2011, 2011. Abstract
L
Gadyatskaya, O., F. Massacci, F. Paci, E. Lostal, and N. Dragoni, "A Load Time Policy Checker for Open Multi-application Smart Cards", Policy symposium 2011, Pisa, 2011.
J
O. Gadyatskaya, F. Massacci, F. Paci, and S. Stankevich, "Java Card Architecture for Autonomous yet Secure Evolution of Smart Cards Applications", Nordsec 2010 Conference Program, Aalto University, Espoo, Finland, 10/2010.
I
Legeard, B., F. Bouquet, and N. Pickaert, Industrialiser le test fonctionnel Pour maîtriser les risques métier et accroître l'efficacité du test, : DUNOD, pp. 304, 2011.
Legeard, B., F. Bouquet, and N. Pickaert, "Industrialiser le test fonctionnel", InfoPro - Etudes, développement et intégration: Dunod, 2009.
Bergmann, G., A. Horváth, I. Ráth, and D. Varró, "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
F
Pironti, A., and J. Jürjens, "Formally Based Black Box Monitoring of Security Protocols", International Symposium on Engineering Secure Software and Systems (ESSOS 2010): Springer-Verlag, 2010.
Jacobs, B., and F. Piessens, "Failboxes: Provably safe exception handling", ECOOP 2009 - Object-Oriented Programming, 23rd European Conference, Genova, Italy, July 6-10, 2009, Proceedings, vol. 5653: Springer-Verlag, pp. 470–494, 07/2009.
E
Massacci, F., J. Mylopoulos, F. Paci, T. T. Tun, and Y. Yu, "An Extended Ontology for Security Requirements", Advanced Information Systems Engineering Workshops, vol. 83: Springer Berlin Heidelberg, pp. 622-636, 2011. Abstract

10.1007/978-3-642-22056-2_64

Jacobs, B., and F. Piessens, Expressive modular fine-grained concurrency specification (Extended version), , no. CW590: Department of Computer Science, K.U.Leuven, July, 2010.
Jacobs, B., and F. Piessens, "Expressive modular fine-grained concurrency specification", Principles of Programming Languages (POPL 2011), January, 2011.
B
Philippaerts, P., F. Vogels, J. Smans, B. Jacobs, and F. Piessens, "The Belgian electronic identity card: a verification case study", Proceedings of the International Workshop Automated Verification of Critical Systems (AVOCS'11): Elsevier, 2011.

Newcastle (UK), 12-14 September 2011, to appear

A
Pretre, V., F. Bouquet, A. Dekermadec, C. Lang, and F. Dadeau, "Automated UML models merging for web services testing", Journal on Web and Grid Services, vol. 5, issue 2, pp. 107--129, 2009.
Chen, B., X. Peng, Y. Yu, and W. Zhao, "Are your sites down? Requirements-driven self-tuning for the survivability of Web systems", Requirements Engineering Conference (RE), 2011 19th IEEE International, pp. 219 -228, 29 2011-sept. 2. Abstract
Vogels, F., B. Jacobs, F. Piessens, and J. Smans, "Annotation inference for separation logic based verifiers", Formal Techniques for Distributed Systems (FMOODS/FORTE 2011), vol. 6722: Springer, pp. 319–333, 2011.

Reykjavik, Iceland, 6-9 June 2011