| AAAI-Robotics | aaai | This project is the repository for code developed at KSU for the purpose of the AAAI Robot Challenge |
| agentTool | agenttool | An Eclipse-based integrated design environment to help users analyze, design, and implement multiagent systems. |
| Arana | arana | Arana provides a framework and static analysis checks to help ensure quality Java software. |
| ArchiveCrawler | archivecrawler | ArchiveCrawler is a heavyweight web crawler that is based on the Heretrix project by the Internet Archive (makers of the Wayback Machine). |
| Bandera | bandera | Bandera is a toolset for providing verification and validation for developers of Java applications. |
| Bandera Environment Generator | beg | Bandera Environment Generator (BEG) enables modular model checking of Java fragments by generating universal environment models, synthesizing models from user specs, or extracting models from environment implementation. |
| Bogor | bogor | Bogor is a highly customizable and modular model checking framework aimed to ease the development of robust and efficient domain-specific model checkers for verification of dynamic and concurrent software. |
| Cadena | cadena | Cadena is an Eclipse-based extensible integrated modeling and development framework for component-based systems. |
| Courses | courses | The courses project will host all the course material for the various courses taught by the SAnToS Laboratory. This includes courses taught at KSU and UNL. |
| FRAMES | neo | FRAmework for Model-driven Event diStribution. |
| GudangBogor | gudangbogor | Bogor Extension Repository |
| Human Robot Teams (HuRT) | hurt | HuRT: Human - Robot Teams
HuRT is designed to allow human operators to control teams of cooperative robots at a variety of levels, which includes the organizational level. |
| Indus | indus | A program analysis and transformation toolkit for Java. |
| JMLEclipse | jmleclipse | This is an open project for a combined to effort to build an Eclipse plugin for JML that would handle all aspects: parsing, type checking, compilation and run time checking. |
| KSUSNS - KSU Sensor Networks | ksusns | The KSUSNS project is the central point of collaboration for all of our sensor network work. This includes contributions from many departments and colleges at KSU including the SAnToS lab, Dan Andresen, Gurdip Singh, and Scott DeLoach. |
| LYE: High Performance SOAP | lye | LYE is a high-performance SOAP implementation, incorporating multi-level object serialization caching and template-based XML response generation, while maintaining complete protocol compliance. |
| Medical Device Plug and Play System | fdapnp | FDA PnP Project |
| PRiMO | primo | <b>Predictable and Reliable Multiagent Organization<\b> |
| SAnToS | santos | The Laboratory for Specification, Analysis, and Transformation of Software (SAnToS Laboratory) conducts both theoretical and applied research on a range of topics in programming language semantics, analysis, and software engineering. |
| Site Admin | siteadmin | The Site Admin project is devoted to the administration of the Santos lab projects site. |
| Site News Admin | newsadmin | |
| Software Model Checking | smc | Software Model Checking course |
| SpAda | spada | The SpAda project will focus on creating an Eclipse plugin to support SPARK development. This will include basic support but will focus on adding hooks to our analysis framework (Sireum). |
| Spec Patterns | patterns | Property specification for finite-state verification. |
| SpEx | spex | Specification Extensions for Bogor |
| SyncGen | syncgen | Automatic synchronization code generation |
|
Home ยป Project Browse