The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Gerardo Schneider" ( http://dblp.L3S.de/Authors/Gerardo_Schneider )

  Author page on DBLP  Author page in RDF  Community of Gerardo Schneider in ASPL-2

Publication years (Num. hits)
1998-2007 (19) 2008-2009 (20) 2010-2013 (17) 2014-2016 (19) 2017-2018 (26) 2019 (8)
Publication types (Num. hits)
article(35) inproceedings(72) phdthesis(1) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 20 occurrences of 17 keywords

Results
Found 110 publication records. Showing 109 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, Joao M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss A survey of challenges for runtime verification from advanced application domains (beyond software). Search on Bibsonomy Formal Methods in System Design The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour Gray-box Monitoring of Hyperproperties (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Pablo Picazo-Sanchez, Juan Tapiador, Gerardo Schneider After You, Please: Browser Extensions Order Attacks and Countermeasures. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Wolfgang Ahrendt, Cyrille Artho, Christian Colombo, Yliès Falcone, Srdan Krstic, Martin Leucker, Florian Lorber, Joao M. Lourenço, Leonardo Mariani, César Sánchez, Gerardo Schneider, Volker Stolz COST Action IC 1402 ArVI: Runtime Verification Beyond Monitoring - Activity Report of Working Group 1. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, Gerardo Schneider Feasibility analysis of Inter-Pulse Intervals based solutions for cryptographic token generation by two electrocardiogram sensors. Search on Bibsonomy Future Generation Comp. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sandro Stucki, César Sánchez, Gerardo Schneider, Borzoo Bonakdarpour Gray-Box Monitoring of Hyperproperties. Search on Bibsonomy FM The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, Gerardo Schneider Verification of Smart Contract Business Logic - Exploiting a Java Source Code Verifier. Search on Bibsonomy FSEN The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, Kenji Tei A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. Search on Bibsonomy RoSE@ICSE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliès Falcone, Adrian Francalanza, Srdan Krstic, JoHao M. Lourenço, Dejan Nickovic, Gordon J. Pace, José Rufino, Julien Signoles, Dmitriy Traytel, Alexander Weiss A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Srinivas Pinisetty, Thibaud Antignac, David Sands 0001, Gerardo Schneider Monitoring Data Minimisation. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider Security of Pacemakers using Runtime Verification. Search on Bibsonomy MEMOCODE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider A web-based tool for analysing normative documents in english. Search on Bibsonomy SAC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1César Sánchez, Gerardo Schneider, Martin Leucker Reliable Smart Contracts: State-of-the-Art, Applications, Challenges and Future Directions. Search on Bibsonomy ISoLA (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gerardo Schneider Is Privacy by Construction Possible? Search on Bibsonomy ISoLA (1) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Borzoo Bonakdarpour, César Sánchez, Gerardo Schneider Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. Search on Bibsonomy ISoLA (2) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Pablo Picazo-Sanchez, Gerardo Schneider Migrating Monitors + ABE: A Suitable Combination for Secure IoT? Search on Bibsonomy ISoLA (4) The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, César Sánchez, Gerardo Schneider Timed Epistemic Knowledge Bases for Social Networks. Search on Bibsonomy FM The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider Smart Contracts: A Killer Application for Deductive Source Code Verification. Search on Bibsonomy Principled Software Development The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, Volker Stolz COST Action IC1402 Runtime Verification Beyond Monitoring. Search on Bibsonomy RV The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider Privacy Compliance Via Model Transformations. Search on Bibsonomy EuroS&P Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jesús Mauricio Chimento, Wolfgang Ahrendt, Gerardo Schneider Testing meets static and runtime verification. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Srinivas Pinisetty, Gerardo Schneider, David Sands 0001 Runtime verification of hyperproperties for deterministic programs. Search on Bibsonomy FormaliSE@ICSE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, Gerardo Schneider MoVEMo: A Structured Approach for Engineering Reward Functions. Search on Bibsonomy IRC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1John J. Camilleri, Gerardo Schneider Modelling and analysis of normative documents. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, Musard Balliu, Gerardo Schneider Formalising privacy policies in social networks. Search on Bibsonomy J. Log. Algebr. Meth. Program. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, César Sánchez, Gerardo Schneider Timed Epistemic Knowledge Bases for Social Networks (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Raúl Pardo, Gerardo Schneider Model Checking Social Network Models. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1John J. Camilleri, Mohammad Reza Haghshenas, Gerardo Schneider A Web-Based Tool for Analysing Normative Documents in English. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1John J. Camilleri, Normunds Gruzitis, Gerardo Schneider Extracting Formal Models from Normative Texts. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Thibaud Antignac, David Sands 0001, Gerardo Schneider Data Minimisation: A Language-Based Approach. Search on Bibsonomy SEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pablo Picazo-Sanchez, Raúl Pardo, Gerardo Schneider Secure Photo Sharing in Social Networks. Search on Bibsonomy SEC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thibaud Antignac, Mukelabai Mukelabai, Gerardo Schneider Specification, design, and verification of an accountability-aware surveillance protocol. Search on Bibsonomy SAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bjørnar Luteberget, John J. Camilleri, Christian Johansen, Gerardo Schneider Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. Search on Bibsonomy SEFM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Thibaud Antignac, David Sands 0001, Gerardo Schneider Data Minimisation: a Language-Based Approach (Long Version). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1John J. Camilleri, Normunds Gruzitis, Gerardo Schneider Extracting Formal Models from Normative Texts. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider Contract automata - An operational view of contracts between interactive parties. Search on Bibsonomy Artif. Intell. Law The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1John J. Camilleri, Normunds Gruzitis, Gerardo Schneider Extracting Formal Models from Normative Texts. Search on Bibsonomy NLDB The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Raúl Pardo, Gerardo Schneider On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gerardo Schneider On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thibaud Antignac, Riccardo Scandariato, Gerardo Schneider A Privacy-Aware Conceptual Model for Handling Personal Data. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider StaRVOOrS - Episode II - Strengthen and Distribute the Force. Search on Bibsonomy ISoLA (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, Christian Colombo, Gordon J. Pace, Gerardo Schneider An Automata-Based Approach to Evolving Privacy Policies for Social Networks. Search on Bibsonomy RV The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, Ivana Kellyerova, César Sánchez, Gerardo Schneider Specification of Evolving Privacy Policies for Online Social Networks. Search on Bibsonomy TIME The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Alberto Pardo, Gerardo Schneider SEFM: software engineering and formal methods. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Fernando Schapachnik, Gerardo Schneider Conditional Permissions in Contracts. Search on Bibsonomy JURIX The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace, Gerardo Schneider A Specification Language for Static and Runtime Verification of Data and Control Properties. Search on Bibsonomy FM The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hamid Ebadi, David Sands 0001, Gerardo Schneider Differential Privacy: Now it's Getting Personal. Search on Bibsonomy POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java. Search on Bibsonomy RV The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gregorio Díaz, María-Emilia Cambronero, Enrique Martínez, Gerardo Schneider Specification and Verification of NormativeTexts Using C-O Diagrams. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1John J. Camilleri, Gabriele Paganelli, Gerardo Schneider A CNL for Contract-Oriented Diagrams. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1John J. Camilleri, Gabriele Paganelli, Gerardo Schneider A CNL for Contract-Oriented Diagrams. Search on Bibsonomy CNL The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Raúl Pardo, Gerardo Schneider A Formal Privacy Policy Framework for Social Networks. Search on Bibsonomy SEFM The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Krasimir Angelov, John J. Camilleri, Gerardo Schneider A framework for conflict analysis of normative texts written in controlled natural language. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen Reachability analysis of complex planar hybrid systems. Search on Bibsonomy Sci. Comput. Program. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Robert Nagy, Gerardo Schneider, Aram Timofeitchik Automatic Testing of Real-Time Graphics Systems. Search on Bibsonomy TACAS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Pavel Rabetski, Gerardo Schneider Migration of an On-Premise Application to the Cloud: Experience Report. Search on Bibsonomy ESOCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Cristian Prisacariu, Gerardo Schneider A dynamic deontic logic for complex contracts. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider Low dimensional hybrid systems - decidable, undecidable, don't know. Search on Bibsonomy Inf. Comput. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Wolfgang Ahrendt, Gordon J. Pace, Gerardo Schneider A Unified Approach for Static and Runtime Verification: Framework and Applications. Search on Bibsonomy ISoLA (1) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Seyed M. Montazeri, Nivir K. S. Roy, Gerardo Schneider From Contracts in Structured English to CL Specifications Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Enrique Martínez, María-Emilia Cambronero, Gregorio Díaz, Gerardo Schneider Timed Automata Semantics for Visual e-Contracts Search on Bibsonomy FLACOS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hallstein Asheim Hansen, Gerardo Schneider, Martin Steffen Reachability Analysis of Non-linear Planar Autonomous Systems. Search on Bibsonomy FSEN The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Gilles Barthe, Alberto Pardo, Gerardo Schneider (eds.) Software Engineering and Formal Methods - 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings Search on Bibsonomy SEFM The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Hallstein Asheim Hansen, Gerardo Schneider Reachability analysis of GSPDIs: theory, optimization, and implementation. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF differential inclusions, verification of hybrid systems, hybrid systems, reachability
1Enrique Martínez, Gerardo Schneider Automated Analysis of Conflicts in Software Product Lines. Search on Bibsonomy SPLC Workshops The full citation details ... 2010 DBLP  BibTeX  RDF
1Enrique Martínez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider A Model for Visual Specification of E-contracts. Search on Bibsonomy IEEE SCC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF deontic specifications, contracts, visual models
1Olaf Owe, Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Gerardo Schneider Formal languages and analysis of contract-oriented software. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Einar Broch Johnsen, Olaf Owe, Gerardo Schneider Guest Editors' Foreword. Search on Bibsonomy J. Log. Algebr. Program. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephen Fenech, Gordon J. Pace, Joseph C. Okika, Anders P. Ravn, Gerardo Schneider On the Specification of Full Contracts. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Gerardo Schneider Wrap Your Objects Safely. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristian Prisacariu, Gerardo Schneider : An Action-Based Logic for Reasoning about Contracts. Search on Bibsonomy WoLLIC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Hallstein Asheim Hansen, Gerardo Schneider GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephen Fenech, Gordon J. Pace, Gerardo Schneider Automatic Conflict Detection on Contracts. Search on Bibsonomy ICTAC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristian Prisacariu, Gerardo Schneider Abstract specification of legal contracts. Search on Bibsonomy ICAIL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Stephen Fenech, Gordon J. Pace, Gerardo Schneider CLAN: A Tool for Contract Analysis and Conflict Discovery. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Gerardo Schneider Challenges in the Specification of Full Contracts. Search on Bibsonomy IFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Gordon J. Pace, Gerardo Schneider Safe Runtime Verification of Real-Time Properties. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Gordon J. Pace, Gerardo Schneider LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). Search on Bibsonomy SEFM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Pablo Giambiagi, Olaf Owe, Anders P. Ravn, Gerardo Schneider Contract-Oriented Software Development for Internet Services. Search on Bibsonomy ERCIM News The full citation details ... 2008 DBLP  BibTeX  RDF
1Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gerardo Schneider Reachability analysis of generalized polygonal hybrid systems. Search on Bibsonomy SAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF GSPDI, verification, hybrid systems, decidability, reachability
1Gordon J. Pace, Gerardo Schneider Relaxing Goodness Is Still Good. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Marcel Kyas, Cristian Prisacariu, Gerardo Schneider Run-Time Monitoring of Electronic Contracts. Search on Bibsonomy ATVA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Colombo, Gordon J. Pace, Gerardo Schneider Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. Search on Bibsonomy FMICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Gerardo Schneider Computation and Visualisation of Phase Portraits for Model Checking SPDIs. Search on Bibsonomy TACAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Eugene Asarin, Gerardo Schneider, Sergio Yovine Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Johs Hansen Hammer, Gerardo Schneider On the Definition and Policies of Confidentiality. Search on Bibsonomy IAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF policies, confidentiality, norms
1Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider Model Checking Contracts - A Case Study. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Olaf Owe, Gerardo Schneider, Martin Steffen Components, objects, and contracts. Search on Bibsonomy SAVCBS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Creol, object-orientation, components, interfaces, contracts, compositionality, deontic logic
1Cristian Prisacariu, Gerardo Schneider A Formal Language for Electronic Contracts. Search on Bibsonomy FMOODS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Gordon J. Pace, Gerardo Schneider A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. Search on Bibsonomy ICTAC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn Language-based support for service oriented architectures: Future directions. Search on Bibsonomy ICSOFT (1) The full citation details ... 2006 DBLP  BibTeX  RDF
1Gordon J. Pace, Gerardo Schneider Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider Certified Memory Usage Analysis. Search on Bibsonomy FM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF certified memory analysis, Program analysis, theorem proving, constraint solving
1Gilles Barthe, Mariela Pavlova, Gerardo Schneider Precise Analysis of Memory Consumption using Program Logics. Search on Bibsonomy SEFM The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 109 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license