| [1] | David Lidell, Shaun Azzopardi, Nir Piterman, and Gerardo Schneider. ppltltt: Temporal testing for pure-past linear temporal logic formulae. In 21st International Symposium on Automated Technology for Verification and Analysis (ATVA'23), volume 14216, pages 276-287. LNCS, 2023. [ bib | DOI | Abstract ] |
| [2] | Karam Kharraz, Shaun Azzopardi, Gerardo Schneider, and Martin Leucker. Synchronous agents, verification, and blame - a deontic view. In 20th International Colloquium on Theoretical Aspects of Computing (ICTAC'23), volume 14446 of LNCS, pages 332-350. Springer, 2023. [ bib | DOI | Abstract ] |
| [3] | Mojtaba Eshghie, Wolfgang Ahrendt, Thomas Hildebrandt, and Gerardo Schneider. Capturing smart contract design with dcr graphs. In 21st International Conference on Software Engineering and Formal Methods (SEFM'23), volume 14323 of LNCS, pages 106-125. Springer, 2023. [ bib | DOI | Abstract ] |
| [4] | Hamed Arshad, Christian Johansen, Pablo Picazo-Sanchez, and Gerardo Schneider. Attribute-based encryption with enforceable obligations. Journal of Cryptographic Engineering, 13(3):343-371, 2023. [ bib | DOI | .pdf | Abstract ] |
| [5] | William Hughes, Tobias Magnusson, Alejandro Russo, and Gerardo Schneider. Cheap and secure metatransactions on the blockchain using hash-based authorisation and preferred batchers. Blockchain: Research and Applications, December 2022. In Press, available online. [ bib | DOI | www: | Abstract ] |
| [6] | Shaun Azzopardi, Nir Piterman, and Gerardo Schneider. Runtime verification meets controller synthesis. In 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles (ISoLA 2022), Proceedings, Part I, volume 13701 of LNCS, pages 382-396, Rhodes, Greece, 2022. Springer. [ bib | DOI | http ] |
| [7] | Pablo Picazo-Sanchez, Lara Ortiz-Martin, Gerardo Schneider, and Andrei Sabelfeld. Are chrome extensions compliant with the spirit of least privilege? International Journal of Information Security, 21(6):1283-1297, 2022. [ bib | DOI | http | www: | Abstract ] |
| [8] | Hanaa Alshareef, Katja Tuma, Sandro Stucki, Gerardo Schneider, and Riccardo Scandariato. Precise analysis of purpose limitation in data flow diagrams. In ARES 2022: The 17th International Conference on Availability, Reliability and Security, pages 17:1-17:11. ACM, 2022. [ bib | DOI | http | www: | Abstract ] |
| [9] | Felipe Gorostiaga, Sebastián Zudaire, César Sánchez, Gerardo Schneider, and Sebastián Uchitel. Assumption monitoring of temporal task planning using stream runtime verification. In 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'22), Rhodes, Greece, October 22-30, 2022, Proceedings, Part I, volume 13701 of Lecture Notes in Computer Science, pages 397-414. Springer, 2022. [ bib | DOI | http | www: | Abstract ] |
| [10] | Stefan Chircop, Gordon J. Pace, and Gerardo Schneider. An automata-based formalism for normative documents with real-time. In Fifth International Conference on Legal Knowledge and Information Systems - JURIX'22, volume 362 of Frontiers in Artificial Intelligence and Applications, pages 158-163. IOS Press, 2022. [ bib | DOI | http | www: | Abstract ] |
| [11] | Hamed Arshad, Christian Johansen, Olaf Owe, Pablo Picazo-Sanchez, and Gerardo Schneider. Semantic attribute-based encryption: A framework for combining ABE schemes with semantic technologies. Information Sciences, 616:558-576, 2022. [ bib | DOI | http | www: | Abstract ] |
| [12] | Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, and Siraj Ahmed Shaikh. Formal Methods for Software Engineering - Languages, Methods, Application Domains. Texts in Theoretical Computer Science. An EATCS Series. Springer, 2022. [ bib | DOI | www: | Abstract ] |
| [13] | Johanna Johansen, Tore Pedersen, Simone Fischer-Hübner, Christian Johansen, Gerardo Schneider, Arnold Roosendaal, Harald Zwingelberg, Anders Jakob Sivesind, and Josef Noll. A multidisciplinary definition of privacy labels. Inf. Comput. Secur., 30(3):452-469, 2022. [ bib | DOI | .pdf | Abstract ] |
| [14] | Hanaa Alshareef, Sandro Stucki, and Gerardo Schneider. Refining privacy-aware data flow diagrams. In 19th International Conference Software Engineering and Formal Methods (SEFM'21), Virtual Event, December 6-10, 2021, volume 13085 of LNCS, pages 121-140. Springer, 2021. [ bib | DOI | http ] |
| [15] | Sandro Stucki, César Sánchez, Gerardo Schneider, and Borzoo Bonakdarpour. Gray-box monitoring of hyperproperties with an application to privacy. Formal Methods in System Design, 58(1-2):126-159, 2021. [ bib | DOI | http | www: | Abstract ] |
| [16] | Karam Younes Kharraz, Martin Leucker, and Gerardo Schneider. Timed dyadic deontic logic. In The 34th International Conference on Legal Knowledge and Information Systems (JURIX'21), volume 346 of Frontiers in Artificial Intelligence and Applications, pages 197-204. IOS Press, 2021. [ bib | DOI | .pdf | Abstract ] |
| [17] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. Runtime verification: Passing on the baton. In Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday, volume 13065 of LNCS, pages 89-107. Springer, 2021. [ bib | DOI | http | Abstract ] |
| [18] | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, and Gerardo Schneider. On the specification and monitoring of timed normative systems. In 21st International Conference on Runtime Verification (RV'21), Virtual Event, volume 12974 of LNCS, pages 81-99. Springer, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [19] | Sebastián Zudaire, Felipe Gorostiaga, César Sánchez, Gerardo Schneider, and Sebastián Uchitel. Assumption monitoring using runtime verification for UAV temporal task plan executions. In IEEE International Conference on Robotics and Automation, ICRA 2021, Xi'an, China, May 30 - June 5, 2021, pages 6824-6830. IEEE, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [20] | Shaun Azzopardi, Nir Piterman, and Gerardo Schneider. Incorporating monitors in reactive synthesis without paying the price. In 19th International Symposium on Automated Technology for Verification and Analysis (ATVA'21), Gold Coast, QLD, Australia, October 18-22, 2021, volume 12971 of LNCS, pages 337-353. Springer, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [21] | William Hughes, Alejandro Russo, and Gerardo Schneider. Multicall: A transaction-batching interpreter for ethereum. In BSCI'21: Proceedings of the 3rd ACM International Symposium on Blockchain and Secure Critical Infrastructure, Virtual Event, Hong Kong, June 7, 2021, pages 25-35. ACM, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [22] | Hanaa Alshareef, Sandro Stucki, and Gerardo Schneider. Transforming data flow diagrams for privacy compliance. In 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD'21), pages 207-215. SCITEPRESS, 2021. [ bib | DOI | http | .pdf | Abstract ] |
| [23] | Hanaa Alshareef, Raúl Pardo, Pablo Picazo-Sanchez, and Gerardo Schneider. A collaborative access control framework for online social networks. Journal of Logical and Algebraic Methods in Programming, 114, May 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [24] | Pablo Picazo-Sanchez, Gerardo Schneider, and Andrei Sabelfeld. HMAC and "secure preferences": Revisiting chromium-based browsers security. In 19th International Conference on Cryptology and Network Security (CANS'20), volume 12579 of LNCS, pages 107-126. Springer, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [25] | Farzane Karami, Olaf Owe, and Gerardo Schneider. Information-flow control by means of security wrappers for active object languages with futures. In 25th Nordic Conference on Secure IT Systems (NordSec'20), volume 12556 of LNCS, pages 74-91. Springer, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [26] | Gordon J. Pace, César Sánchez, and Gerardo Schneider. Reliable smart contracts. In Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings, Part III, volume 12478 of LNCS, pages 3-8. Springer, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [27] | Piergiuseppe Mallozzi, Pierluigi Nuzzo, Patrizio Pelliccione, and Gerardo Schneider. Crome: Contract-based robotic mission specification. In 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'20), pages 1-11. IEEE, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [28] | Pablo Picazo-Sanchez, Juan Tapiador, and Gerardo Schneider. After you, please: Browser extensions order attacks and countermeasures. International Journal of Information Security, 19(6):623-638, 2020. [ bib | DOI | http | .pdf | Abstract ] |
| [29] | Pablo Picazo-Sánchez, Gerardo Schneider, and Juan Tapiador. After you, please: Browser extensions order attacks and countermeasures. Technical Report abs/1908.02205, CoRR - arXiv.org, August 2019. [ bib | www: ] |
| [30] | César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci, Domenico Bianculli, Christian Colombo, Yliés Falcone, Adrian Francalanza, Srdan Krstić, Dejan Nickovic, Gordon J. Pace, Jose Rufino, Julien Signoles, Dmitriy Traytel, and Alexander Weiss. A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software). Formal Methods in System Design, 54(3):279-335, August 2019. Open source, freely available at . [ bib | DOI | .pdf | Abstract ] |
| [31] | Lara Ortiz-Martin, Pablo Picazo-Sanchez, Pedro Peris-Lopez, Juan Tapiador, and Gerardo Schneider. Feasibility analysis of inter-pulse intervals based solutions for cryptographic token generation by two electrocardiogram sensors. Future Generation Comp. Syst., 96:283-296, 2019. [ bib | DOI | http | .pdf | Abstract ] |
| [32] | Wolfgang Ahrendt, Richard Bubel, Joshua Ellul, Gordon J. Pace, Raúl Pardo, Vincent Rebiscoul, and Gerardo Schneider. Verification of smart contract business logic: Exploiting a java source code verifier. In Eigth International Conference on Fundamentals of Software Engineering (FSEN'19), volume 11761 of LNCS, pages 228-243. Springer, 2019. [ bib | DOI | .pdf | Abstract ] |
| [33] | Piergiuseppe Mallozzi, Ezequiel Castellano, Patrizio Pelliccione, Gerardo Schneider, and Kenji Tei. A runtime monitoring framework to enforce invariants on reinforcement learning agents exploring complex environments. In Proceedings of the 2nd International Workshop on Robotics Software Engineering (RoSE@ICSE 2019), pages 5-12. IEEE / ACM, 2019. [ bib | DOI | http | .pdf | Abstract ] |
| [34] | Sandro Stucki, César Sánchez, Gerardo Schneider, and Borzoo Bonakdarpour. Gray-box monitoring of hyperproperties. In Formal Methods (FM'19), volume 11800 of LNCS, pages 406-424. Springer, 2019. [ bib | DOI | .pdf | Abstract ] |
| [35] | Christian Colombo, Yliès Falcone, Martin Leucker, Giles Reger, César Sánchez, Gerardo Schneider, and Volker Stolz. COST action IC1402 runtime verification beyond monitoring. In 18th International Conference on Runtime Verification (RV'18), volume 11237 of LNCS, pages 18-26. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [36] | Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, and Gerardo Schneider. Security of pacemakers using runtime verification. In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'18), pages 51-61. IEEE, 2018. [ bib | DOI | .pdf | Abstract ] |
| [37] | Wolfgang Ahrendt, Gordon J. Pace, and Gerardo Schneider. Smart contracts: A killer application for deductive source code verification. In Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday, pages 1-18. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [38] | Gerardo Schneider. Is Privacy by Construction Possible? In 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Track: X-by-Construction (ISoLA'18, part I, volume 11244 of LNCS, pages 471-485. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [39] | Gordon Pace, Pablo Picazo-Sanchez, and Gerardo Schneider. Migrating Monitors + ABE: A Suitable Combination for Secure IoT? In 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Track: RV-TheToP: Runtime Verification from the Theory To the industry Practice (ISoLA'18, part IV, volume 11247 of LNCS, pages 19-24. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [40] | Borzoo Bonakdarpour, César Sánchez, and Gerardo Schneider. Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification. In 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Track: A Broader View on Verification: From Static to Runtime and Back (ISoLA'18, part II), volume 11245 of LNCS, pages 8-27. Springer, 2018. [ bib | DOI | .pdf | Abstract ] |
| [41] | Piergiuseppe Mallozzi, Raúl Pardo, Vincent Duplessis, Patrizio Pelliccione, and Gerardo Schneider. MoVEMo: A Structured Approach for Engineering Reward Functions. In Second IEEE International Conference on Robotic Computing (IRC'18), pages 250-257. IEEE Computer Society, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [42] | Raúl Pardo, César Sánchez, and Gerardo Schneider. Timed Epistemic Knowledge Bases for Social Networks. In Formal Methods (FM'18), volume 10951 of LNCS, pages 185-202. Springer, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [43] | Mauricio Chimento, Wolfgang Ahrendt, and Gerardo Schneider. Testing Meets Static and Runtime Verification. In 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 30-39. ACM, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [44] | Srinivas Pinisetty, David Sands, and Gerardo Schneider. Runtime Verification of Hyperproperties for Deterministic Programs. In 6th Conference on Formal Methods in Software Engineering (FormaliSE@ICSE'18), pages 20-29. ACM, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [45] | Srinivas Pinisetty, Thibaud Antignac, David Sands, and Gerardo Schneider. Monitoring Data Minimisation. Technical Report abs/1801.02484, CoRR - arXiv.org, 2018. [ bib | arXiv | http ] |
| [46] | Thibaud Antignac, Riccardo Scandariato, and Gerardo Schneider. Privacy Compliance via Model Transformations. In International Workshop on Privacy Engineering (IWPE'18) at IEEE EuroS&P Workshops, pages 120-126. IEEE, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [47] | John J. Camilleri, Mohammad Reza Haghshenas, and Gerardo Schneider. A Web-Based Tool for Analysing Normative Documents in English. In The 33rd ACM/SIGAPP Symposium On Applied Computing -Software Verification and Testing track (SAC-SVT'18), pages 1865-1872. ACM, 2018. [ bib | DOI | http | .pdf | Abstract ] |
| [48] | John J. Camilleri and Gerardo Schneider. Modelling and analysis of normative documents. Journal of Logical and Algebraic Methods in Programming, 91:33-59, October 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [49] | Raúl Pardo and Gerardo Schneider. Model Checking Social Network Models. In Eighth International Symposium on Games, Automata, Logics and Formal Verification (GandALF'17), volume 256 of EPTCS, pages 238-252, September 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [50] | Raúl Pardo, Musard Balliu, and Gerardo Schneider. Formalising privacy policies in social networks. Journal of Logical and Algebraic Methods in Programming, 90:125-157, August 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [51] | Wolfgang Ahrendt, Mauricio Chimento, Gordon Pace, and Gerardo Schneider. Verifying Data- and Control-Oriented Properties Combining Static and Runtime Verification: Theory and Tools. Formal Methods in System Design, 51(1):200-265, August 2017. [ bib | DOI | .pdf | Abstract ] |
| [52] | Raúl Pardo, César Sánchez, and Gerardo Schneider. Timed Epistemic Knowledge Bases for Social Networks (Extended Version). Technical Report abs/1708.04070, CoRR - arXiv.org, 2017. [ bib | arXiv | http ] |
| [53] | John J. Camilleri, Mohammad Reza Haghshenas, and Gerardo Schneider. A Web-Based Tool for Analysing Normative Documents in English. Technical Report abs/1707.03997, CoRR - arXiv.org, 2017. [ bib | arXiv | http ] |
| [54] | Bjørnar Luteberget, John J. Camilleri, Christian Johansen, and Gerardo Schneider. Participatory Verification of Railway Infrastructure by Representing Regulations in RailCNL. In 15th International Conference on Software Engineering and Formal Methods, (SEFM'17), volume 10469 of LNCS, pages 87-103. Springer, 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [55] | Thibaud Antignac, Mukelabai Mukelabai, and Gerardo Schneider. Specification, Design, and Verification of an Accountability-aware Surveillance Protocol. In The 32nd ACM/SIGAPP Symposium On Applied Computing -Software Verification and Testing track (SAC-SVT'17), pages 1372-1378. ACM, 2017. [ bib | DOI | http | .pdf | Abstract ] |
| [56] | Pablo Picazo-Sánchez, Raúl Pardo, and Gerardo Schneider. Secure Photo Sharing in Social Networks. In IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 79-92, Rome, Italy, 2017. Springer Science and Business Media. [ bib | DOI | .pdf | Abstract ] |
| [57] | Thibaud Antignac, David Sands, and Gerardo Schneider. Data Minimisation: A Language-Based Approach. In IFIP Information Security & Privacy Conference (IFIP SEC'17), volume 502 of IFIP Advances in Information and Communication Technology (AICT), pages 442-456, Rome, Italy, 2017. Springer Science and Business Media. [ bib | DOI | .pdf | Abstract ] |
| [58] | Shaun Azzopardi, Gordon J. Pace, Fernando Schapachnik, and Gerardo Schneider. Contract Automata: An Operational View of Contracts Between Interactive Parties. Artificial Intelligence and Law, 24(3):203-243, September 2016. [ bib | DOI | .pdf | Abstract ] |
| [59] | John J. Camilleri, Normunds Gruzitis, and Gerardo Schneider. Extracting Formal Models from Normative Texts. Technical Report abs/1607.01485, CoRR - arXiv.org, 2016. [ bib | arXiv | http ] |
| [60] | Thibaud Antignac, David Sands, and Gerardo Schneider. Data Minimisation: A Language-Based Approach (Long Version). Technical Report abs/1611.05642, CoRR - arXiv.org, 2016. [ bib | arXiv | http ] |
| [61] | Raúl Pardo, Ivana Kellyérová, César Sánchez, and Gerardo Schneider. Specification of Evolving Privacy Policies for Online Social Networks. In 23rd International Symposium on Temporal Representation and Reasoning (TIME'16), pages 70-79. IEEE CPS, 2016. [ bib | DOI | .pdf | Abstract ] |
| [62] | Raúl Pardo, Christian Colombo, Gordon Pace, and Gerardo Schneider. An Automata-based Approach to Evolving Privacy Policies for Social Networks. In The 16th International Conference on Runtime Verification (RV'16), volume 10012 of LNCS, pages 285-301. Springer, 2016. [ bib | DOI | .pdf | Abstract ] |
| [63] | Wolfgang Ahrendt, Gordon Pace, and Gerardo Schneider. StaRVOOrS - Episode II, Strengthen and Distribute the Force. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (1); Track: Static and Runtime Verification: Competitors or Friends?, volume 9952 of LNCS, pages 402-415. Springer, 10-14 October 2016. [ bib | DOI | .pdf | Abstract ] |
| [64] | Thibaud Antignac, Riccardo Scandariato, and Gerardo Schneider. A Privacy-Aware Conceptual Model for Handling Personal Data. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (1); Track: Privacy and Security Issues in Information Systems, volume 9952 of LNCS, pages 942-957. Springer, 10-14 October 2016. [ bib | DOI | .pdf | Abstract ] |
| [65] | Gerardo Schneider. On the Specification and Enforcement of Privacy-Preserving Contractual Agreements. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (2); Track: Runtime Verification and Enforcement, the (industrial) application perspective, volume 9953 of LNCS, pages 413-419. Springer, 2016. [ bib | DOI | .pdf | Abstract ] |
| [66] | Gordon Pace, Raúl Pardo, and Gerardo Schneider. On the Runtime Enforcement of Evolving Privacy Policies in Online Social Networks. In 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - ISoLA'16 (2); Track: Runtime Verification and Enforcement, the (industrial) application perspective, volume 9953 of LNCS, pages 407-412. Springer, 10-14 October 2016. [ bib | DOI | .pdf | Abstract ] |
| [67] | John J. Camilleri, Normunds Gruzitis, and Gerardo Schneider. Extracting Formal Models from Normative Texts. In 21st International Conference on Applications of Natural Language to Information Systems (NLDB'16), volume 9612 of LNCS, pages 403-408. Springer, 22-24 June 2016. [ bib | DOI | Abstract ] |
| [68] | Jesús Mauricio Chimento, Wolfgang Ahrendt, Gordon Pace, and Gerardo Schneider. STARVOORS: A Tool for Combined Static and Runtime Verification of Java. In The 15th International Conference on Runtime Verification (RV'15), volume 9333 of LNCS, pages 297-305, Vienna, Austria, September 22-25 2015. Springer. [ bib | DOI | .pdf | Abstract ] |
| [69] | Wolfgang Ahrendt, Mauricio Chimento, Gordon Pace, and Gerardo Schneider. A specification language for static and runtime verification of data and control properties. In Formal Methods (FM'15), volume 9109 of LNCS, pages 108-125, Oslo, Norway, June 24-26 2015. Springer. [ bib | DOI | .pdf | Abstract ] |
| [70] | Gilles Barthe, Alberto Pardo, and Gerardo Schneider, editors. Software Engineering and Formal Methods, volume 14 of Journal of Software and System Modeling (SoSyM). Springer, February 2015. [ bib | DOI ] |
| [71] | Gordon J. Pace, Fernando Schapachnik, and Gerardo Schneider. Conditional Permissions in Contracts. In The 28th International Conference on Legal Knowledge and Information Systems (JURIX'15), volume 279 of Frontiers in Artificial Intelligence and Applications, pages 61-70. IOS Press, 2015. [ bib | DOI | .pdf | Abstract ] |
| [72] | Hamid Ebadi, David Sands, and Gerardo Schneider. Differential Privacy: Now it's Getting Personal. In Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'15), pages 69-81, Mumbai, India, 12-18 January 2015. ACM. [ bib | DOI | .pdf | Abstract ] |
| [73] | John J. Camilleri, Gabriele Paganelli, and Gerardo Schneider. A CNL for Contract-Oriented Diagrams. Technical Report abs/1406.5691, CoRR - arXiv.org, 2014. [ bib | arXiv | http ] |
| [74] | John J. Camilleri, Gabrielle Paganelli, and Gerardo Schneider. A cnl for contract-oriented diagrams. In Fourth Workshop on Controlled Natural Language (CNL 2014), volume 8625 of LNCS, pages 135-146. Springer, 2014. [ bib | DOI | .pdf | Abstract ] |
| [75] | Raúl Pardo and Gerardo Schneider. A formal privacy policy framework for social networks. In 12th International Conference on Software Engineering and Formal Methods (SEFM'14), volume 8702 of LNCS, pages 378-392. Springer, 2014. [ bib | DOI | .pdf | Abstract ] |
| [76] | Gregorio Díaz, M. Emilia Cambronero, Enrique Martínez, and Gerardo Schneider. Specification and Verification of Normative texts using C-O Diagrams. IEEE Transactions on Software Engineering, 40(8):795-817, 2014. [ bib | DOI | .pdf | Abstract ] |
| [77] | Antonio Cerone, Markus Roggenbach, Holger Schlingloff, Gerardo Schneider, and Siraj Shaikh. Teaching formal methods for software engineering - ten principles. In Fun with Formal Methods Workshop, July 2013. [ bib | .pdf | Abstract ] |
| [78] | Krasimir Angelov, John J. Camilleri, and Gerardo Schneider. A framework for conflict analysis of normative texts written in controlled natural language. Journal of Logic and Algebraic Programming, 82(5-7):216-240, July-October 2013. [ bib | DOI | .pdf | Abstract ] |
| [79] | Pavel Rabetski and Gerardo Schneider. Migration of an on-premise application to the cloud: Experience report. In European Conference on Service-Oriented and Cloud Computing (ESOCC'13), volume 8135 of LNCS, pages 227-241, Malaga, Spain, 2013. Springer. [ bib | DOI | .pdf | Abstract ] |
| [80] | Robert Nagy, Gerardo Schneider, and Aram Timofeitchik. Automatic testing of real-time graphics systems. In 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'13), volume 7795 of LNCS, pages 465-479, Rome, Italy, 2013. Springer. [ bib | DOI | .pdf | Abstract ] |
| [81] | Hallstein Hansen, Gerardo Schneider, and Martin Steffen. Reachability analysis of complex planar hybrid systems. Science of Computer Programming (SCP), 78(12):2511-2536, 2013. [ bib | DOI | .pdf | Abstract ] |
| [82] | Gerardo Schneider. Towards a framework for analyzing normative texts in controlled natural language. In 6th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'12), EPTCS, Bertinoro, Italy, 19 September 2012. [ bib ] |
| [83] | Cristian Prisacariu and Gerardo Schneider. A dynamic deontic logic for complex contracts. Journal of Logic and Algebraic Programming, 81(4):458-490, May 2012. [ bib | DOI | .pdf | Abstract ] |
| [84] | Antonio Brogi and Gerardo Schneider, editors. Special Section: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'10), volume 81(2) of Journal of Logic and Algebraic Programming. Elsevier, February 2012. [ bib | DOI ] |
| [85] | Wolfgang Ahrendt, Gordon J. Pace, and Gerardo Schneider. A Unified Approach for Static and Runtime Verification: Framework and Applications. In 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'12) - Part I, volume 7609 of LNCS, pages 312-326, Heraclion, Crete, 15-18 October 2012. Springer. [ bib | DOI | .pdf | Abstract ] |
| [86] | Hallstein A. Hansen, Gerardo Schneider, and Martin Steffen. Reachability analysis of non-linear planar autonomous systems. In Fourth International Conference on Fundamentals of Software Engineering (FSEN'11), volume 7141 of LNCS, pages 206-220, Teheran, Iran, 20-22 April 2012. Springer. [ bib | DOI | .pdf | Abstract ] |
| [87] | Eugene Asarin, Venkatesh Mysore, Amir Pnueli, and Gerardo Schneider. Low dimensional hybrid systems - decidable, undecidable, don't know. Information and Computation, 211:138-159, January 2012. [ bib | DOI | .pdf | Abstract ] |
| [88] | Hallstein Hansen, Gerardo Schneider, and Martin Steffen. Reachability analysis of complex planar hybrid systems. Technical Report 412, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, November 2011. [ bib | http | .pdf | Abstract ] |
| [89] | Gilles Barthe, Alberto Pardo, and Gerardo Schneider, editors. Software Engineering and Formal Methods, volume 7041 of Lecture Notes in Computer Science. Springer, November 2011. [ bib | DOI ] |
| [90] | Gordon Pace and Gerardo Schneider, editors. Special Issue: Formal Languages and Analysis of Contract-Oriented Software, volume 80(3-5) of Journal of Logic and Algebraic Programming. Elsevier, April-July 2011. [ bib | DOI ] |
| [91] | Seyed M. Montazeri, Nivir Roy, and Gerardo Schneider. From Contracts in Structured English to CL Specifications. In 5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11), volume 68 of EPTCS, pages 55-69, Málaga, Spain, 22-23 September 2011. [ bib | DOI | .pdf | Abstract ] |
| [92] | Enrique Martínez, María E. Cambronero, Gregorio Díaz, and Gerardo Schneider. Timed Automata Semantics for Visual e-Contracts. In 5th International Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11), volume 68 of EPTCS, pages 7-21, Málaga, Spain, 22-23 September 2011. [ bib | DOI | .pdf | Abstract ] |
| [93] | Ingram Bondin, Christian Colombo, Andrew Gauci, Gordon J. Pace, and Gerardo Schneider. Monitoring real-time properties with overhead guarantees, 2011. Submitted to IEEE Transactions on Software Engineering. Submitted Sep 2010; Revised Apr 2011. [ bib | Abstract ] |
| [94] | Gordon Pace and Gerardo Schneider, editors. Special Issue: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'08), volume 80(1) of Journal of Logic and Algebraic Programming. Elsevier, January 2011. [ bib | DOI ] |
| [95] | Enrique Martinez and Gerardo Schneider. Automated Analysis of Conflicts in Software Product Lines. In SPLC Workshops - 1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE'10), volume 2, pages 75-82. Lancaster University, September 2010. [ bib | .pdf | Abstract ] |
| [96] | Enrique Martinez, Emilia Cambronero, Gregorio Diaz, and Gerardo Schneider. A Model for Visual Specification of e-Contracts. In The 7th IEEE International Conference on Services Computing (IEEE SCC'10), pages 1-8, Los Alamitos, USA, July 5-10 2010. IEEE Computer Society. [ bib | DOI | .pdf | Abstract ] |
| [97] | Hallstein A. Hansen and Gerardo Schneider. Reachability Analysis of GSPDIs: Theory, Optimization, and Implementation. In 25th Annual ACM Symposium on Applied Computing -Software Verification and Testing track (SAC-SVT'10), pages 2511-2516, Sierre, Switzerland, March 22-26 2010. ACM. [ bib | DOI | .pdf | Abstract ] |
| [98] | Christian Colombo, Gordon Pace, and Gerardo Schneider. Resource-bounded runtime verification of java programs with real-time properties. Technical Report CS2009-01, Department of Computer Science, University of Malta, December 2009. [ bib | .pdf | Abstract ] |
| [99] | Hallstein A. Hansen and Gerardo Schneider. On the reachability analysis of planar, non-linear autonomous systems using hybrid systems. NWPT'09, Lyngby, Denmark, October 2009. Extended Abstract. [ bib | .pdf ] |
| [100] | Stephen Fenech, Gordon J. Pace, and Gerardo Schneider. Clan: A tool for contract analysis and conflict discovery. In 7th International Symposium on Automated Technology for Verification and Analysis (ATVA'09), volume 5799 of LNCS, pages 90-96, Macao, China, October 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [101] | Gordon J. Pace and Gerardo Schneider. FLACOS'09 Workshop Proceedings. Technical Report 385, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, September 2009. Editors. [ bib | .pdf ] |
| [102] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. Dynamic event-based runtime monitoring of real-time and contextual properties. In 13th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'08), volume 5596 of LNCS, pages 135-149, L'Aquila, Italy, September 2009. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [103] | Stephen Fenech, Gordon J. Pace, and Gerardo Schneider. Automatic Conflict Detection on Contracts. In 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), volume 5684 of LNCS, pages 200-214, Kuala Lumpur, Malaysia, August 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [104] | Hallstein A. Hansen and Gerardo Schneider. GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. In 6th International Colloquium on Theoretical Aspects of Computing (ICTAC'09), volume 5684 of LNCS, pages 336-342, Kuala Lumpur, Malaysia, August 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [105] | Einar B. Johnsen, Olaf Owe, and Gerardo Schneider, editors. Special Issue: The 19th Nordic Workshop on Programming Theory (NWPT 2007), volume 78(7) of Journal of Logic and Algebraic Programming. Elsevier, August/September 2009. [ bib | DOI ] |
| [106] | Cristian Prisacariu and Gerardo Schneider. Abstract specification of legal contracts (research abstract). In 12th International Conference on Artificial Intelligence and Law (ICAIL'09), pages 218-219, Barcelona, Spain, June 2009. ACM. [ bib | DOI | .pdf | Abstract ] |
| [107] | Cristian Prisacariu and Gerardo Schneider. CL: An Action-based Logic for Reasoning about Contracts. In 16th Workshop on Logic, Language, Information and Computation (WOLLIC'09), volume 5514 of LNCS, pages 335-349, Tokyo, Japan, June 2009. Springer. [ bib | DOI | .pdf | Abstract ] |
| [108] | Olaf Owe and Gerardo Schneider, editors. Special Issue: Formal Languages and Analysis of Contract-Oriented Software (FLACOS'07), volume 78(5) of Journal of Logic and Algebraic Programming. Elsevier, May/June 2009. [ bib | DOI ] |
| [109] | Stephen Fenech, Joseph Okika, Gordon J. Pace, Anders P. Ravn, and Gerardo Schneider. On the specification of full contracts. In 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09), volume 253 of ENTCS, pages 39-55, York, UK, March 2009. [ bib | DOI | .pdf | Abstract ] |
| [110] | Olaf Owe and Gerardo Schneider. Wrap your objects safely. In 6th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA'09), volume 253 of ENTCS, pages 127-143, York, UK, March 2009. [ bib | DOI | .pdf | Abstract ] |
| [111] | Gordon J. Pace and Gerardo Schneider. Challenges in the specification of full contracts. In Integrated Formal Methods (iFM'09), volume 5423 of LNCS, pages 292-306, Düseldorf, Germany, February 2009. [ bib | DOI | .pdf | Abstract ] |
| [112] | Gilles Barthe, Gordon J. Pace, and Gerardo Schneider. Contract embedded languages for services, 2009. In preparation. [ bib ] |
| [113] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. Safe runtime verification of real-time properties. In The 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), volume 5813 of LNCS, pages 103-117, Budapest, Hungary, 2009. Springer. 13-16 September. [ bib | DOI | .pdf | Abstract ] |
| [114] | Christian Colombo, Gordon J. Pace, and Gerardo Schneider. LARVA - Safer Monitoring of Real-Time Java Programs (Tool Paper). In 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), pages 33-37, Hanoi, Vietnam, 23-27 November 2009. IEEE Computer Society. [ bib | DOI | .pdf | Abstract ] |
| [115] | Stephen Fenech, Gordon J. Pace, and Gerardo Schneider. Conflict Analysis of Deontic Contracts. NWPT'08, Tallinn, Estonia, November 19-21 2008. Extended Abstract. [ bib | .pdf ] |
| [116] | Marcel Kyas, Cristian Prisacariu, and Gerardo Schneider. Run-time monitoring of electronic contracts. In 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), volume 5311 of LNCS, pages 397-407, Seoul, South Korea, October 2008. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [117] | Gordon J. Pace and Gerardo Schneider. FLACOS'08 Workshop Proceedings. Technical Report 377, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, October 2008. Editors. [ bib | .pdf ] |
| [118] | Gordon J. Pace and Gerardo Schneider. Relaxing goodness is still good. In 5th International Colloquium on Theoretical Aspects of Computing (ICTAC'08), volume 5160 of LNCS, pages 274-289, Istanbul, Turkey, September 2008. [ bib | DOI | .pdf | Abstract ] |
| [119] | Gordon Pace and Gerardo Schneider. Computation and visualisation of phase portraits for model checking spdis. In 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), volume 4963 of LNCS, pages 341-345, Budapest, Hungary, March 2008. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [120] | Gerardo Schneider. Reachability analysis of Generalized Polygonal Hybrid Systems. In 23rd Annual ACM Symposium on Applied Computing -Software Verification track (SAC-SV'08), pages 327-332, Fortaleza, Brazil, March 2008. ACM. [ bib | DOI | .pdf | Abstract ] |
| [121] | Cristian Prisacariu and Gerardo Schneider. CL: A Logic for Reasoning about Legal Contracts -Semantics. Technical Report 371, Oslo, Norway, February 2008. [ bib | .pdf | Abstract ] |
| [122] | Eugene Asarin, Gordon Pace, Gerardo Schneider, and Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems. Part II: Phase Portrait and Tools. Theoretical Computer Science, 390(1):1-26, January 2008. [ bib | DOI | .pdf | Abstract ] |
| [123] | Pablo Giambiagi, Olaf Owe, Anders P. Ravn, and Gerardo Schneider. Contract-oriented software development for internet services. In ERCIM News - Special: The Future WEB, number 72, pages 47-48. January 2008. [ bib | .pdf | .pdf | Abstract ] |
| [124] | Gordon Pace and Gerardo Schneider. Relaxing Goodness is Still Good for SPDIs. Technical Report 372, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, January 2008. [ bib | .pdf | Abstract ] |
| [125] | Cristian Prisacariu and Gerardo Schneider. Towards model checking contracts. NWPT'07/FLACOS'07 Workshop Proceedings, Oslo, Norway, October 9-10 2007. Extended Abstract. [ bib | .pdf ] |
| [126] | Einar B. Johnsen, Olaf Owe, and Gerardo Schneider. NWPT'07/FLACOS'07 Workshop Proceedings. Technical Report 366, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, October 2007. Editors. [ bib | .pdf ] |
| [127] | Olaf Owe, Gerardo Schneider, and Arild Torjusen. Towards integration of XML in the Creol object-oriented language. Technical Report 365, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, October 2007. [ bib | .pdf | Abstract ] |
| [128] | Gordon Pace, Cristian Prisacariu, and Gerardo Schneider. Model checking contracts -a case study. In 5th International Symposium on Automated Technology for Verification and Analysis (ATVA'07), volume 4762 of LNCS, pages 82-97, Tokyo, Japan, October 2007. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [129] | Olaf Owe, Gerardo Schneider, and Martin Steffen. Components, objects, and contracts. In 6th Workshop on Specification And Verification of Component-Based Systems (SAVCBS'07), ACM Digital Library, pages 95-98, Dubrovnik, Croatia, September 2007. [ bib | DOI | .pdf | Abstract ] |
| [130] | Johs H. Hammer and Gerardo Schneider. On the definition and policies of confidentiality. In 3rd International Symposium on Information Assurance and Security (IAS'07), pages 337-342, Manchester, UK, August 2007. IEEE Computer Society Press. [ bib | DOI | .pdf | Abstract ] |
| [131] | Olaf Owe, Gerardo Schneider, and Martin Steffen. Components, objects, and contracts. Technical Report 363, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, August 2007. [ bib | .pdf | Abstract ] |
| [132] | Gordon Pace, Cristian Prisacariu, and Gerardo Schneider. Model checking contracts -a case study. Technical Report 362, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, August 2007. [ bib | .pdf | Abstract ] |
| [133] | Cristian Prisacariu and Gerardo Schneider. An Algebraic Structure for the Action-Based Contract Language CL - theoretical results. Technical Report 361, Department of Informatics, University of Oslo, Oslo, Norway, July 2007. Updated March 2008. [ bib | .pdf | Abstract ] |
| [134] | Cristian Prisacariu and Gerardo Schneider. A formal language for electronic contracts. In 9th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), volume 4468 of LNCS, pages 174-189, Paphos, Cyprus, June 2007. Springer. [ bib | DOI | .pdf | Abstract ] |
| [135] | Gerardo Schneider. On the decidability of the reachability problem for GSPDIs. Technical Report 359, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, June 2007. [ bib | .pdf | Abstract ] |
| [136] | Eugene Asarin, Gerardo Schneider, and Sergio Yovine. Algorithmic Analysis of Polygonal Hybrid Systems. Part I: Reachability. Theoretical Computer Science, 379(1-2):231-265, 2007. [ bib | DOI | .pdf | Abstract ] |
| [137] | Olaf Owe, Gerardo Schneider, and Arild Torjusen. Towards integration of XML in the Creol object-oriented language. In NIK'07 proceedings, pages 107-111. Tapir Akademisk Forlag, 2007. [ bib | .pdf | Abstract ] |
| [138] | Cristian Prisacariu and Gerardo Schneider. Towards a formal definition of electronic contracts. Technical Report 348, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, January 2007. [ bib | .pdf | Abstract ] |
| [139] | Gordon J. Pace and Gerardo Schneider. A compositional algorithm for parallel model checking of polygonal hybrid systems. In 3rd International Colloquium on Theoretical Aspects of Computing (ICTAC'06), volume 4281 of LNCS, pages 168-182, Tunis, Tunisia, November 2006. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [140] | Pablo Giambiagi, Olaf Owe, Anders P. Ravn, and Gerardo Schneider. Language-based support for service oriented architectures: Future directions. In International Conference on Software and Data Technologies (ICSOFT'06), pages 339-344, Setúbal, Portugal, September 2006. INSTICC Press. [ bib | .pdf | Abstract ] |
| [141] | Einar B. Johnsen, Gerardo Schneider, and Øystein Torget. Runtime validation of communication histories. In IEEE 2nd International Conference on Intelligent Computer Communication and Processing (ICCP'06), pages 161-168, Cluj-Napoca, Romania, September 2006. U.T.Press. [ bib | .pdf | Abstract ] |
| [142] | Gordon Pace and Gerardo Schneider. Static analysis for state-space reduction of polygonal hybrid systems. In 4th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'06), volume 4202 of LNCS, pages 306-321, Paris, France, September 2006. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [143] | Gordon Pace and Gerardo Schneider. Static analysis of SPDIs for state-space reduction. Technical Report 336, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, April 2006. [ bib | .pdf | Abstract ] |
| [144] | Pablo Giambiagi, Olaf Owe, Anders P. Ravn, and Gerardo Schneider. Contract-based internet service software development: A proposal. Technical Report 333, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, January 2006. [ bib | .pdf | Abstract ] |
| [145] | Gordon Pace and Gerardo Schneider. Improving polygonal hybrid systems reachability analysis through the use of the phase portrait. CSAW'06, Malta, 2006. [ bib | .pdf ] |
| [146] | Pablo Giambiagi and Gerardo Schneider. Memory consumption analysis of java smart cards. In Proceedings of CLEI'05, Cali, Colombia, October 2005. [ bib | .pdf | Abstract ] |
| [147] | Gilles Barthe, Mariela Pavlova, and Gerardo Schneider. Precise analysis of memory consumption using program logics. In 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM'05), pages 86-95, Koblenz, Germany, September 2005. IEEE Computer Society. [ bib | DOI | .pdf | Abstract ] |
| [148] | David Cachera, Thomas Jensen, David Pichardie, and Gerardo Schneider. Certified memory usage analysis. In Formal Methods (FM'05), volume 3582 of LNCS, pages 91-106, Newcastle Upon Tyne, UK, July 2005. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [149] | Gerardo Schneider. Towards computing phase portrait objects of polygonal hybrid systems on surfaces. Technical Report 331, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, March 2005. [ bib | .pdf | Abstract ] |
| [150] | Gerardo Schneider. A constraint-based algorithm for analysing memory usage on java cards. Technical Report RR-5440, INRIA, December 2004. [ bib | .ps.gz | Abstract ] |
| [151] | Gerardo Schneider. Memory usage estimation for java cards. NWPT'2004, Uppsala, Sweden, October 06-08 2004. Extended Abstract. [ bib | .ps.gz ] |
| [152] | Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. On the expressiveness of infinite behavior and name scoping in process calculi. In Foundations of Software Science and Computation Structures (FOSSACS'04), volume 2987 of LNCS, pages 226-240, Barcelone, Spain, March 2004. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [153] | Michael Baldamus, Richard Mayr, and Gerardo Schneider. A backward/forward strategy for verifying safety properties of infinite-state systems. Technical Report 2003-065, Department of Information Technology, Uppsala University, January 2004. [ bib | .pdf | Abstract ] |
| [154] | Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. On the expressiveness of CCS-like calculi. Technical Report 2004-002, Department of Information Technology, Uppsala University, Sweden, January 2004. [ bib | .ps.gz | Abstract ] |
| [155] | Gerardo Schneider. Computing invariance kernels of polygonal hybrid systems. Nordic Journal of Computing, 11(2):194-210, 2004. [ bib | .pdf | Abstract ] |
| [156] | Gordon Pace and Gerardo Schneider. Model checking polygonal differential inclusions using invariance kernels. In 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'04), number 2937 in LNCS, pages 110-121, Venice, Italy, December 2003. Springer Verlag. [ bib | DOI | .pdf | Abstract ] |
| [157] | Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. A note on scope and infinite behaviour in CCS-like calculi. NWPT'2003, Turku, Finland, October 29-31 2003. Extended Abstract. [ bib | .ps.gz ] |
| [158] | Gerardo Schneider. Computing invariance kernels of polygonal hybrid systems. NWPT'2003, Turku, Finland, October 29-31 2003. Extended Abstract. [ bib | .ps.gz ] |
| [159] | Gerardo Schneider. Invariance kernels of polygonal differential inclusions. Technical Report 2003-042, Department of Information Technology, Uppsala University, August 2003. [ bib | .ps.gz | Abstract ] |
| [160] | Eugene Asarin and Gerardo Schneider. Widening the boundary between decidable and undecidable hybrid systems. In 13th International Conference on Concurrency Theory (CONCUR'02), volume 2421 of LNCS, pages 193-208, Brno, Czech Republic, August 2002. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [161] | Eugene Asarin, Gordon Pace, Gerardo Schneider, and Sergio Yovine. SPeeDI: a verification tool for polygonal hybrid systems. In Computer Aided Verification (CAV'02), volume 2404 of LNCS, pages 354-358, Copenhagen, Denmark, July 2002. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [162] | Gerardo Schneider. Algorithmic Analysis of Polygonal Hybrid Systems. PhD thesis, VERIMAG - UJF, Grenoble, France, July 2002. [ bib | .pdf | Abstract ] |
| [163] | Eugene Asarin, Gerardo Schneider, and Sergio Yovine. Towards computing phase portraits of polygonal differential inclusions. In 5th International Workshop on Hybrid Systems: Computation and Control (HSCC'02), number 2289 in LNCS, pages 49-61, Stanford, USA, March 2002. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [164] | Eugene Asarin, Gerardo Schneider, and Sergio Yovine. On the decidability of the reachability problem for planar differential inclusions. In 4th International Workshop on Hybrid Systems: Computation and Control (HSCC'01), number 2034 in LNCS, pages 89-104, Rome, Italy, 2001. Springer-Verlag. [ bib | DOI | .pdf | Abstract ] |
| [165] | Eugene Asarin, Gerardo Schneider, and Sergio Yovine. On the decidability of the reachability problem for planar differential inclusions. Technical report, VERIMAG, Grenoble, France, January 2001. [ bib | .ps.gz | Abstract ] |
| [166] | Gerardo Lafferriere, George J. Pappas, Gerardo Schneider, and Sergio Yovine. Parameter synthesis in robot motion planning using symbolic reachability computation. In Proceedings of 8th IEEE Mediterranean Conference on Control and Automation, Rio, Greece, July 2000. [ bib | .pdf | Abstract ] |
| [167] | Gerardo Schneider and Xu Qiwen. Towards an Operational Semantics of Verilog. Technical Report 147, UNU/IIST, P.O.Box 3058, Macau, October 1998. [ bib | .ps.gz | Abstract ] |
| [168] | Gerardo Schneider and Xu Qiwen. Towards a formal semantics of verilog using duration calculus. In 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT'98), number 1486 in LNCS, pages 282-293, Lyngby, Denmark, September 1998. Springer Verlag. [ bib | DOI | .pdf | Abstract ] |
| [169] | Pablo Giambiagi and Gerardo Schneider. A Verilog specification of STARI. Technical report, UNU/IIST, P.O.Box 3058, Macau, February 1998. [ bib | .ps.gz | Abstract ] |
| [170] | Gerardo Schneider and Xu Qiwen. Towards a Formal Semantics of Verilog using Duration Calculus. Technical Report 133, UNU/IIST, P.O.Box 3058, Macau, February 1998. [ bib | .ps.gz | Abstract ] |
| [171] | Gerardo Schneider and Antônio C. da Rocha Costa. Coherence space as event structure and concrete data structure. XXIV SEMISH, Brasilia, Brazil, August 1997. [ bib ] |
| [172] | Gerardo Schneider and Rafael Accorsi. Introduction to linear logic. Primeiro Workshop sobre Métodos Formais e Qualidade de Software, Porto alegre, Brazil, July 1996. (In Portuguese). [ bib ] |
| [173] | Gerardo Schneider and Antônio C. da Rocha Costa. Sequential and parallel computation strategies on coherence spaces. CLEI'96, Bogotá, Colombia, June 1996. [ bib ] |
| [174] | Gerardo Schneider. Sequential and parallel computation strategies on coherence spaces. Master's thesis, CPGCC - UFRGS, Porto Alegre, Brazil, March 1996. (In Portuguese). [ bib | .ps.gz ] |
| [175] | Gerardo Schneider and Laira V. Toscani. Fixed point theory in computer science. Anais do CNMAC, Curitiba, Brazil, August 1995. (Extended abstract, in Portuguese). [ bib ] |
| [176] | Gerardo Schneider. Fixed point theory in Computer Science. Technical report, CPGCC da UFRGS, Porto Alegre, Brazil, January 1995. (In Portuguese). [ bib ] |
| [177] | Gerardo Schneider. An algebraic specification language. Technical report, CPGCC da UFRGS, Porto Alegre, Brazil, July 1994. (In Portuguese). [ bib ] |
| [178] | Gerardo Schneider. Using induction for algorithm design. Technical report, Dissertation for Engineering Degree. Facultad Regional Concepción del Uruguay - UTN, Concepción del Uruguay, Argentina, December 1992. (In Spanish). [ bib ] |
This file was generated by bibtex2html 1.97.