dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Jason O. Hallstrom Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBiswajit Mazumder, Jason O. Hallstrom: SFC: a simple flow control protocol for enabling reliable embedded network systems reprogramming. ACM Southeast Regional Conference 2012: 321-326
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman: Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2012: 403-404
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKalyan 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: 433-448
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Joe Hollingsworth, Joan Krone, Murali Sitaraman: Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only). SIGCSE 2012: 683
2011
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSally K. Wahba, Jason O. Hallstrom: An empirical analysis of communication links in embedded wireless networks. ACM Southeast Regional Conference 2011: 185-190
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFarha Ali, Yvon Feaster, Sally K. Wahba, Jason O. Hallstrom: A metadata encoding for memory-constrained devices. ACM Southeast Regional Conference 2011: 191-196
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Murali Sitaraman, Joe Hollingsworth, Joan Krone: Making mathematical reasoning fun: tool-assisted, collaborative techniques. ACM Southeast Regional Conference 2011: 5
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Jiang, Jiannan Zhai, Sally K. Wahba, Biswajit Mazumder, Jason O. Hallstrom: Fast distributed simulation of sensor networks using optimistic synchronization. DCOSS 2011: 1-8
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHao Jiang, Jason O. Hallstrom: Fast, Accurate Event Classification on Resource-Lean Embedded Sensors. EWSN 2011: 65-80
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhu 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: 81-97
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYvon Feaster, Luke Segars, Sally K. Wahba, Jason O. Hallstrom: Teaching CS unplugged in the high school (with limited success). ITiCSE 2011: 248-252
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSally K. Wahba, Yvon Feaster, Jason O. Hallstrom: A technology-assisted scavenger hunt for introducing K-12 students to sensor networks. ITiCSE 2011: 73-77
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian 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 21(8): 1123-1146 (2011)
2010
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBiswajit Mazumder, Vijayakrishna Venugopalan, Jason O. Hallstrom: A channelization protocol for multi-hop wireless sensor networks using frequency division multiplexing. ACM Southeast Regional Conference 2010: 5
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSally K. Wahba, Jason O. Hallstrom, Neelam Soundarajan: Initiating a design pattern catalog for embedded network systems. EMSOFT 2010: 249-258
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSally K. Wahba, Jason O. Hallstrom, Pradip K. Srimani, Nigamanth Sridhar: SFS3: a simulation framework for self-stabilizing systems. SpringSim 2010: 172
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLG. 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: (2010)
2009
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Joan Krone, Murali Sitaraman: Courseware for teaching analytical reasoning principles: a hands-on laboratory. ACM Southeast Regional Conference 2009
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigamanth Sridhar, Jason O. Hallstrom: A specification idiom for reactive systems. ICSE Companion 2009: 267-270
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Neelam Soundarajan: Reusing Patterns through Design Refinement. ICSR 2009: 225-235
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMurali 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: 50-54
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDana P. Leonard, Jason O. Hallstrom, Murali Sitaraman: Injecting rapid feedback and collaborative reasoning in teaching specifications. SIGCSE 2009: 524-528
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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 7(3-4): 139-167 (2009)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew R. Dalton, Jason O. Hallstrom: An Interactive, Source-Centric, Open Testbed for Developing and Profiling Wireless Sensor Systems. IJDSN 5(2): 105-138 (2009)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew R. Dalton, Jason O. Hallstrom: nAIT: A source analysis and instrumentation framework for nesC. Journal of Systems and Software 82(7): 1057-1072 (2009)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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. 74(7): 446-469 (2009)
2008
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSally K. Wahba, Sravanthi Dandamudi, Andrew R. Dalton, Jason O. Hallstrom: NePTune: Optimizing Sensor Networks. ICCCN 2008: 381-387
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew R. Dalton, Sravanthi Dandamudi, Jason O. Hallstrom, Sally K. Wahba: A Testbed for Visualizing Sensornet Behavior. ICCCN 2008: 515-521
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew 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: 541-547
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew R. Dalton, Jason O. Hallstrom: A Toolkit for Visualizing the Runtime Behavior of TinyOS Applications. ICPC 2008: 43-52
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdward B. Duffy, Jason O. Hallstrom, Brian A. Malloy: Reverse Engineering Interface Protocols for Comprehension of Large C++ Libraries during Code Evolution Tasks. SEKE 2008: 303-308
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeelam Soundarajan, Jason O. Hallstrom, Guoqiang Shu, Adem Delibas: Patterns: from system design to software testing. ISSE 4(1): 71-85 (2008)
2007
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeelam Soundarajan, Jason O. Hallstrom, Adem Delibas, Guoqiang Shu: Testing Patterns. SEW 2007: 109-120
2006
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigamanth Sridhar, Jason O. Hallstrom: A Behavioral Model for Software Containers. FASE 2006: 139-154
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Neelam Soundarajan, Benjamin Tyler: Amplifying the Benefits of Design Patterns: From Specification Through Implementation. FASE 2006: 214-229
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan: Automated generation of monitors for pattern contracts. SAC 2006: 1779-1784
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Andrew R. Dalton, Neelam Soundarajan: Parallel Monitoring of Design Pattern Contracts. SEKE 2006: 236-241
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNigamanth Sridhar, Jason O. Hallstrom, Paolo A. G. Sivilotti: Container-Based Component Deployment: A Case Study. SEKE 2006: 274-277
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeelam Soundarajan, Jason O. Hallstrom: Pattern-Based System Evolution: A Case-Study. SEKE 2006: 321-326
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Tyler, Jason O. Hallstrom, Neelam Soundarajan: A Comparative Study of Monitoring Tools for Pattern-Centric Behavior. SEW 2006: 37-46
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBrian A. Malloy, Nicholas A. Kraft, Jason O. Hallstrom, Jeffrey M. Voas: Improving the Predictable Assembly of Service-Oriented Architectures. IEEE Software 23(2): 12-15 (2006)
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry D. May, Shaun H. Dunning, George A. Dowding, Jason O. Hallstrom: An RPC Design for Wireless Sensor Networks. Int. J. Pervasive Computing and Communications 2(4): 384-397 (2006)
2005
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTerry D. May, Shaun H. Dunning, Jason O. Hallstrom: An RPC design for wireless sensor networks. MASS 2005
2004
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Neelam Soundarajan: Formal specification of design patterns: A case study. IASTED Conf. on Software Engineering and Applications 2004: 362-367
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNeelam Soundarajan, Jason O. Hallstrom: Responsibilities and Rewards: Specifying Design Patterns. ICSE 2004: 666-675
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason 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 3(4): 161-175 (2004)
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArjav J. Chakravarti, Xiaojin Wang, Jason O. Hallstrom, Gerald Baumgartner: Implementation of Strong Mobility for Multi-Threaded Agents in Java. ICPP 2003: 321-
2002
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJason O. Hallstrom, Neelam Soundarajan: Incremental Development Using Object Oriented Frameworks: A Case Study. Journal of Object Technology 1(3): 189-205 (2002)

Coauthor Index

1Farha Ali [43]
2Anish Arora [3] [20]
3Manohar Bathula [39]
4Gerald Baumgartner [2]
5Arjav J. Chakravarti [2]
6Andrew R. Dalton [12] [19] [20] [21] [22] [23] [24] [25] [26]
7Sravanthi Dandamudi [21] [22] [23]
8Kajari Ghosh Dastidar [20]
9Adem Delibas [16] [17]
10George A. Dowding [7]
11Svetlana Drachova-Strang [28]
12Edward B. Duffy [18] [36]
13Shaun H. Dunning [6] [7]
14Adam Dutko [39]
15G. W. Eidson [32]
16S. T. Esswein [32]
17Yvon Feaster [37] [38] [43]
18J. B. Gemmill [32]
19Mohamed G. Gouda [20]
20Heather K. Harton [28]
21Ted Herman [20]
22Joe Hollingsworth [42] [45] [47]
23T. R. Howard [32]
24Hao Jiang [40] [41]
25Trisul Kanipakam [39]
26Heather Keown [46]
27Nicholas A. Kraft [8]
28Joan Krone [28] [31] [42] [45] [47]
29J. K. Lawrence [32]
30William Leal [3] [20]
31Dana P. Leonard [27] [28]
32Errol L. Lloyd [36]
33Brian A. Malloy [8] [18] [36]
34Terry D. May [6] [7]
35Biswajit Mazumder [35] [41] [48]
36William P. McCartney [20]
37Madhu Mudigonda [39]
38Rich Pak [28]
39Christopher J. Post [32]
40Kalyan C. Regula [46]
41C. B. Sawyer [32]
42Srinivasan Seetharaman [39]
43Luke Segars [38]
44Guoqiang Shu [16] [17]
45Murali Sitaraman [27] [28] [31] [42] [45] [46] [47]
46Paolo A. G. Sivilotti [3] [11]
47Hampton Smith [46]
48Neelam Soundarajan [1] [4] [5] [9] [10] [12] [13] [14] [16] [17] [29] [34]
49Nigamanth Sridhar [3] [11] [15] [20] [26] [30] [33] [39] [46]
50Pradip K. Srimani [33]
51Benjamin Tyler [9] [13] [14]
52Vijayakrishna Venugopalan [35]
53Jeffrey M. Voas [8]
54Sally K. Wahba [21] [22] [23] [33] [34] [37] [38] [41] [43] [44]
55Kuang-C. Wang [32]
56Xiaojin Wang [2]
57D. L. White [32]
58Jarred White [28]
59Jiannan Zhai [41]
60Hamza A. Zia [26]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page