Log In
New Account
  
 
Home
My Page
    
 
SAnToS Logo

Laboratory for the Specification, Analysis, and Transformation of Software

Welcome to the SAnToS Laboratory Projects web site. This site provides a collection of projects that are being developed by our lab. Each project uses some of the features provided by the application that runs this site, GForge.

Latest News
Network Outage Planned - 25-26 April 2008
    Todd Wallentine - 2008-04-24 14:29   -   SAnToS
The main K-State campus network will be serviced this weekend so there might be issues reaching this site as well as the other SAnToS websites. The outages will be starting Friday April 25th at 10p (our time) and finishing by Saturday April 26th at 10p. We hope that the connection loss will not be very severe and that it won't hamper our work.
Service Outage on April 18 2008
    Todd Wallentine - 2008-04-24 14:29   -   SAnToS
Last Friday (April 18) this site as well as the other SAnToS websites were unavailable for a better part of the morning. Our building (Nichols Hall), and other parts of Manhattan, experienced a power outage early that morning (around 5a). That outage ran long enough that servers shut-down after the batteries in our UPS ran out. And to make matters worse, the A/C in the server room got into a funk so even when we had power back, we couldn't restart machines.
Site Upgrade Status
    Todd Wallentine - 2008-01-19 17:04   -   SAnToS
During testing for the new project management site we ran into some issues that must be resolved before going live. So far, we have been impressed with the new software (GForge AS). We are hoping the patches for the issues will be complete in the next week. Once we get the server patched we will do one more round of testing and then finalize the schedule to move over. At that point, we will make an announcement here (as well as to the santos-announce mailing list and to some select collaborators). So if you want to be notified, subscribe to the RSS feed (http://projects.cis.ksu.edu/plugin/rssfeed/?group_id=16) or subscribe to the santos-announce mailing list.
Site Upgrade Coming Soon
    Todd Wallentine - 2008-01-11 22:48   -   SAnToS
In the next few weeks we will be upgrading the project management server from our current version of GForge (3.21) to the new commercial version, GForge AS. We will also be upgrading the hardware at the same time.
Cadena 2.0.20071101 Release
    Todd Wallentine - 2007-11-10 00:15   -   Cadena
The Cadena team is proud to announce the release of Cadena 2.0.20071101. This release provides upgraded facilities for nesC end-to-end development as well as several bug fixes. There are a few core changes and no changes to other platforms.

 

Projects Statistics
Hosted Projects: 25
Registered Users: 3,401
Hosted Projects
AAAI-Robotics
Arana
Bandera
Bandera Environment Generator
Bogor
Cadena
Courses
FRAMES
GudangBogor
Human Robot Teams (HuRT)
Indus
JMLEclipse
KSUSNS - KSU Sensor Networks
LYE: High Performance SOAP
PRiMO
SAnToS
SAnToS-Security
SpAda
SpEx
Spec Patterns
SyncGen
The Java Modeling Language
agentTool
SAnToS Members
Andrew King
Edwin Rodríguez
Anindya Banerjee
Beth Kaufmann
Daniel Andresen
William Deng
Matt Dwyer
Sebastian Elbaum
Gregg Rothermel
John Hatcliff
Jesse Greenwald
Georg M Jung
Matthias Niederhausen
Myra Cohen
Oksana Tkachuk
Robby
Venkatesh Prasad Ranganath
Gurdip Singh
Alley Stoughton
Surya Teja Kallumadi
Torben Amtoft
Todd Wallentine
Simon Ou