{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"OCLSQLProver","owner":"MoDELSVGU","isFork":false,"description":"A prototype for our formal methodology of proving correctness for SQL implementations of OCL constraints.","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-27T13:35:13.733Z"}},{"type":"Public","name":"oclsql-artifacts","owner":"MoDELSVGU","isFork":false,"description":"This repository stores the artifacts for the manuscript \"Proving correctness for SQL implementations of OCL constraints\"","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-27T13:28:03.424Z"}},{"type":"Public","name":"SQLSI","owner":"MoDELSVGU","isFork":false,"description":"SQLSI (SQL Security Injector) is an open source application that automatically injects SQL Authorization Checks into given SQL select statement.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-24T09:40:21.743Z"}},{"type":"Public","name":".github","owner":"MoDELSVGU","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-14T08:12:24.245Z"}},{"type":"Public","name":"SQL2MSFOL","owner":"MoDELSVGU","isFork":false,"description":"SQL2MSFOL is an implementation of mapping from SQL statements to Many-Sorted First-Order Logic (MSFOL).","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-13T16:58:55.758Z"}},{"type":"Public","name":"OCL2PSQL","owner":"MoDELSVGU","isFork":false,"description":"OCL2PSQL is an open source library that parses an OCL expression and translate it into a pure SQL select statement.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":2,"starsCount":4,"forksCount":6,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-13T14:36:21.863Z"}},{"type":"Public","name":"OCL2MSFOL","owner":"MoDELSVGU","isFork":false,"description":"OCL2MSFOL is an implementation of mapping from OCL (Object Constraint Language) constraints to Many-Sorted First-Order Logic (MSFOL).","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-13T14:29:23.127Z"}},{"type":"Public","name":"MoDELSVGU.github.io","owner":"MoDELSVGU","isFork":true,"description":"Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":39191,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-12T11:52:41.918Z"}},{"type":"Public","name":"datamodel","owner":"MoDELSVGU","isFork":false,"description":"A parser from JSON representation to Java object of Datamodel","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-12T11:34:34.542Z"}},{"type":"Public","name":"JavaOCL","owner":"MoDELSVGU","isFork":false,"description":"A representation of OCL expression in Java.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-12T11:32:26.536Z"}},{"type":"Public","name":"JSQLParser-Xtend","owner":"MoDELSVGU","isFork":false,"description":"An extension of JSQLParser library","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-03T13:34:39.141Z"}},{"type":"Public","name":"securitymodel","owner":"MoDELSVGU","isFork":false,"description":"A parser from JSON representation to Java object of Security model","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-03T13:33:07.323Z"}},{"type":"Public","name":"FGACO","owner":"MoDELSVGU","isFork":false,"description":"A Many-Sorted First-order Logic Theory generation for checking the necessity of authorization checks in enforcing Fine-Grained Access Control using SQL Security Injector.","allTopics":[],"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-04T06:05:28.292Z"}}],"repositoryCount":13,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}