Search

Your search keyword '"Huisman, Marieke"' showing total 122 results
Start Over Author "Huisman, Marieke" Publisher springer berlin heidelberg

Refine your results

more »

more »

122 results on '"Huisman, Marieke"'

6. Verification of Loop Parallelisations

Author

Blom, Stefan, Darabi, Saeed, Huisman, Marieke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Egyed, Alexander, editor, and Schaefer, Ina, editor

Published
2015
Full Text
View/download PDF

7. Verifying Class Invariants in Concurrent Programs

Author

Zaharieva-Stojanovski, Marina, Huisman, Marieke, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Gnesi, Stefania, editor, and Rensink, Arend, editor

Published
2014
Full Text
View/download PDF

10. Confidentiality for Probabilistic Multi-threaded Programs and Its Verification

Author

Minh Ngo, Tri, Stoelinga, Mariëlle, Huisman, Marieke, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Jürjens, Jan, editor, Livshits, Benjamin, editor, and Scandariato, Riccardo, editor

Published
2013
Full Text
View/download PDF

11. Sound Control-Flow Graph Extraction for Java Programs with Exceptions

Author

Amighi, Afshin, de C. Gomes, Pedro, Gurov, Dilian, Huisman, Marieke, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Eleftherakis, George, editor, Hinchey, Mike, editor, and Holcombe, Mike, editor

Published
2012
Full Text
View/download PDF

12. Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification

Author

Huisman, Marieke, Ngo, Tri Minh, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Beckert, Bernhard, editor, Damiani, Ferruccio, editor, and Gurov, Dilian, editor

Published
2012
Full Text
View/download PDF

13. The COST IC0701 Verification Competition 2011

Author

Bormer, Thorsten, Brockschmidt, Marc, Distefano, Dino, Ernst, Gidon, Filliâtre, Jean-Christophe, Grigore, Radu, Huisman, Marieke, Klebanov, Vladimir, Marché, Claude, Monahan, Rosemary, Mostowski, Wojciech, Polikarpova, Nadia, Scheben, Christoph, Schellhorn, Gerhard, Tofan, Bogdan, Tschannen, Julian, Ulbrich, Mattias, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Beckert, Bernhard, editor, Damiani, Ferruccio, editor, and Gurov, Dilian, editor

Published
2012
Full Text
View/download PDF

14. Model-Checking Secure Information Flow for Multi-threaded Programs

Author

Huisman, Marieke, Blondeel, Henri-Charles, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Mödersheim, Sebastian, editor, and Palamidessi, Catuscia, editor

Published
2012
Full Text
View/download PDF

15. ProMoVer: Modular Verification of Temporal Safety Properties

Author

Soleimanifard, Siavash, Gurov, Dilian, Huisman, Marieke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Barthe, Gilles, editor, Pardo, Alberto, editor, and Schneider, Gerardo, editor

Published
2011
Full Text
View/download PDF

16. CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties

Author

Huisman, Marieke, Gurov, Dilian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Beckert, Bernhard, editor, and Marché, Claude, editor

Published
2011
Full Text
View/download PDF

17. BML and Related Tools

Author

Chrząszcz, Jacek, Huisman, Marieke, Schubert, Aleksy, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, and Madelaine, Eric, editor

Published
2009
Full Text
View/download PDF

18. Formal Techniques for Java-Like Programs : Report on the 10th Workshop FTfJP at ECOOP 2008

Author

Albert, Elvira, Banerjee, Anindya, Drossopoulou, Sophia, Huisman, Marieke, Igarashi, Atsushi, Leavens, Gary T., Müller, Peter, Wrigstad, Tobias, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Eugster, Patrick, editor

Published
2009
Full Text
View/download PDF

19. A Formal Connection between Security Automata and JML Annotations

Author

Huisman, Marieke, Tamalet, Alejandro, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Chechik, Marsha, editor, and Wirsing, Martin, editor

Published
2009
Full Text
View/download PDF

20. Reducing Behavioural to Structural Properties of Programs with Procedures

Author

Gurov, Dilian, Huisman, Marieke, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Jones, Neil D., editor, and Müller-Olm, Markus, editor

Published
2009
Full Text
View/download PDF

21. Reasoning about Java’s Reentrant Locks

Author

Haack, Christian, Huisman, Marieke, Hurlin, Clément, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Ramalingam, G., editor

Published
2008
Full Text
View/download PDF

22. Program Models for Compositional Verification

Author

Huisman, Marieke, Aktug, Irem, Gurov, Dilian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Liu, Shaoying, editor, Maibaum, Tom, editor, and Araki, Keijiro, editor

Published
2008
Full Text
View/download PDF

23. Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode

Author

Burdy, Lilian, Huisman, Marieke, Pavlova, Mariela, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Dwyer, Matthew B., editor, and Lopes, Antónia, editor

Published
2007
Full Text
View/download PDF

24. JACK — A Tool for Validation of Security and Behaviour of Java Applications

Author

Barthe, Gilles, Burdy, Lilian, Charles, Julien, Grégoire, Benjamin, Huisman, Marieke, Lanet, Jean-Louis, Pavlova, Mariela, Requet, Antoine, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2007
Full Text
View/download PDF

27. Formal Techniques for Java-Like Programs (FTfJP)

Author

Coglio, Alessandro, Huisman, Marieke, Kiniry, Joseph R., Müller, Peter, Poll, Erik, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Malenfant, Jacques, editor, and Østvold, Bjarte M., editor

Published
2005
Full Text
View/download PDF

47. The COST IC0701 Verification Competition 2011

Author

Bormer, Thorsten, primary, Brockschmidt, Marc, additional, Distefano, Dino, additional, Ernst, Gidon, additional, Filliâtre, Jean-Christophe, additional, Grigore, Radu, additional, Huisman, Marieke, additional, Klebanov, Vladimir, additional, Marché, Claude, additional, Monahan, Rosemary, additional, Mostowski, Wojciech, additional, Polikarpova, Nadia, additional, Scheben, Christoph, additional, Schellhorn, Gerhard, additional, Tofan, Bogdan, additional, Tschannen, Julian, additional, and Ulbrich, Mattias, additional

Published
2012
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results