| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Biswajit Mazumder, Jason O. Hallstrom |
SFC: a simple flow control protocol for enabling reliable embedded network systems reprogramming.  |
ACM Southeast Regional Conference  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman |
Making mathematical reasoning fun: tool-assisted, collaborative techniques. |
ACM Southeast Regional Conference |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Kalyan C. Regula, Hampton Smith, Heather Keown, Jason O. Hallstrom, Nigamanth Sridhar, Murali Sitaraman |
A Case Study in Verification of Embedded Network Software. |
NASA Formal Methods |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman |
Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). |
SIGCSE |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian A. Malloy, Errol L. Lloyd, Jason O. Hallstrom, Edward B. Duffy |
Capturing Interface Protocols to Support Comprehension and Evaluation of C++ Libraries. |
International Journal of Software Engineering and Knowledge Engineering |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sally K. Wahba, Yvon Feaster, Jason O. Hallstrom |
A technology-assisted scavenger hunt for introducing K-12 students to sensor networks. |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yvon Feaster, Luke Segars, Sally K. Wahba, Jason O. Hallstrom |
Teaching CS unplugged in the high school (with limited success). |
ITiCSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Jiang, Jiannan Zhai, Sally K. Wahba, Biswajit Mazumder, Jason O. Hallstrom |
Fast distributed simulation of sensor networks using optimistic synchronization. |
DCOSS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Farha Ali, Yvon Feaster, Sally K. Wahba, Jason O. Hallstrom |
A metadata encoding for memory-constrained devices. |
ACM Southeast Regional Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone |
Making mathematical reasoning fun: tool-assisted, collaborative techniques. |
ACM Southeast Regional Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Sally K. Wahba, Jason O. Hallstrom |
An empirical analysis of communication links in embedded wireless networks. |
ACM Southeast Regional Conference |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Jiang, Jason O. Hallstrom |
Fast, Accurate Event Classification on Resource-Lean Embedded Sensors. |
EWSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Madhu Mudigonda, Trisul Kanipakam, Adam Dutko, Manohar Bathula, Nigamanth Sridhar, Srinivasan Seetharaman, Jason O. Hallstrom |
A Mobility Management Framework for Optimizing the Trajectory of a Mobile Base-Station. |
EWSN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | G. W. Eidson, S. T. Esswein, J. B. Gemmill, Jason O. Hallstrom, T. R. Howard, J. K. Lawrence, Christopher J. Post, C. B. Sawyer, Kuang-C. Wang, D. L. White |
The South Carolina Digital Watershed: End-to-End Support for Real-Time Management of Water Resources. |
IJDSN |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sally K. Wahba, Jason O. Hallstrom, Neelam Soundarajan |
Initiating a design pattern catalog for embedded network systems. |
EMSOFT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sally K. Wahba, Jason O. Hallstrom, Pradip K. Srimani, Nigamanth Sridhar |
SFS3: a simulation framework for self-stabilizing systems. |
SpringSim |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Biswajit Mazumder, Vijayakrishna Venugopalan, Jason O. Hallstrom |
A channelization protocol for multi-hop wireless sensor networks using frequency division multiplexing. |
ACM Southeast Regional Conference |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew R. Dalton, Sally K. Wahba, Sravanthi Dandamudi, Jason O. Hallstrom |
Visualizing the runtime behavior of embedded network systems: A toolkit for TinyOS. |
Sci. Comput. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew R. Dalton, Jason O. Hallstrom |
nAIT: A source analysis and instrumentation framework for nesC. |
Journal of Systems and Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew R. Dalton, Jason O. Hallstrom, Hamza A. Zia, Nigamanth Sridhar |
Reducing the Impact of Link Quality Variation in Embedded Wireless Networks? |
Ad Hoc & Sensor Wireless Networks |
2009 |
DBLP BibTeX RDF |
|
| 1 | Andrew R. Dalton, Jason O. Hallstrom |
An Interactive, Source-Centric, Open Testbed for Developing and Profiling Wireless Sensor Systems. |
IJDSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Rich Pak |
Engaging students in specification and reasoning: "hands-on" experimentation and evaluation. |
ITiCSE |
2009 |
DBLP DOI BibTeX RDF |
mathematical thinking, education, components, tools |
| 1 | Jason O. Hallstrom, Joan Krone, Murali Sitaraman |
Courseware for teaching analytical reasoning principles: a hands-on laboratory. |
ACM Southeast Regional Conference |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dana P. Leonard, Jason O. Hallstrom, Murali Sitaraman |
Injecting rapid feedback and collaborative reasoning in teaching specifications. |
SIGCSE |
2009 |
DBLP DOI BibTeX RDF |
collaborative reasoning, contract programming, formal methods, interface specifications, learning tools |
| 1 | Jason O. Hallstrom, Neelam Soundarajan |
Reusing Patterns through Design Refinement. |
ICSR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigamanth Sridhar, Jason O. Hallstrom |
A specification idiom for reactive systems. |
ICSE Companion |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Neelam Soundarajan, Jason O. Hallstrom, Guoqiang Shu, Adem Delibas |
Patterns: from system design to software testing. |
ISSE |
2008 |
DBLP DOI BibTeX RDF |
Testing, Design patterns, Contracts |
| 1 | Sally K. Wahba, Sravanthi Dandamudi, Andrew R. Dalton, Jason O. Hallstrom |
NePTune: Optimizing Sensor Networks. |
ICCCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew R. Dalton, William P. McCartney, Kajari Ghosh Dastidar, Jason O. Hallstrom, Nigamanth Sridhar, Ted Herman, William Leal, Anish Arora, Mohamed G. Gouda |
DESAL alpha: An Implementation of the Dynamic Embedded Sensor-Actuator Language. |
ICCCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew R. Dalton, Sravanthi Dandamudi, Jason O. Hallstrom, Sally K. Wahba |
A Testbed for Visualizing Sensornet Behavior. |
ICCCN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew R. Dalton, Jason O. Hallstrom |
A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications. |
ICPC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward B. Duffy, Jason O. Hallstrom, Brian A. Malloy |
Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks. |
SEKE |
2008 |
DBLP BibTeX RDF |
|
| 1 | Neelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu |
Testing Patterns. |
SEW |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian A. Malloy, Nicholas A. Kraft, Jason O. Hallstrom, Jeffrey M. Voas |
Improving the Predictable Assembly of Service-Oriented Architectures. |
IEEE Software |
2006 |
DBLP DOI BibTeX RDF |
SOAs, Web services, specifications, WSDL |
| 1 | Terry D. May, Shaun H. Dunning, George A. Dowding, Jason O. Hallstrom |
An RPC Design for Wireless Sensor Networks. |
Int. J. Pervasive Computing and Communications |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. |
SEW |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan |
Automated generation of monitors for pattern contracts. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
specification, design patterns, monitoring, contracts, aspects |
| 1 | Nigamanth Sridhar, Jason O. Hallstrom |
A Behavioral Model for Software Containers. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler |
Amplifying the Benefits of Design Patterns: From Specification Through Implementation. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Nigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti |
Container-Based Component Deployment: A Case Study. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Neelam Soundarajan, Jason O. Hallstrom |
Pattern-Based System Evolution: A Case-Study. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan |
Parallel Monitoring of Design Pattern Contracts. |
SEKE |
2006 |
DBLP BibTeX RDF |
|
| 1 | Terry D. May, Shaun H. Dunning, Jason O. Hallstrom |
An RPC design for wireless sensor networks. |
MASS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Nigamanth Sridhar, Paolo A. G. Sivilotti, Anish Arora, William Leal |
A Container-Based Approach to Object-Oriented Product Lines. |
Journal of Object Technology |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Neelam Soundarajan |
Formal specification of design patterns: A case study. |
IASTED Conf. on Software Engineering and Applications |
2004 |
DBLP BibTeX RDF |
|
| 1 | Neelam Soundarajan, Jason O. Hallstrom |
Responsibilities and Rewards: Specifying Design Patterns. |
ICSE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Arjav J. Chakravarti, Xiaojin Wang, Jason O. Hallstrom, Gerald Baumgartner |
Implementation of Strong Mobility for Multi-Threaded Agents in Java. |
ICPP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason O. Hallstrom, Neelam Soundarajan |
Incremental Development Using Object Oriented Frameworks: A Case Study. |
Journal of Object Technology |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")