Park, Sangyoung;Zhang, Licong;Chakraborty, Samarjit
Design Space Exploration of Drone Infrastructure for Large-Scale Delivery Services
ACM/IEEE International Conference on Computer-Aided Design
2016

Yunge, Daniel;Park, Sangyoung;Kindt, Philipp;Pravadelli, Graziano;Chakraborty, Samarjit
Dynamic service synthesis and switching for medical IoT and ambient assisted living
2016 IEEE International High Level Design Validation and Test Workshop (HLDVT)
IEEE
2016

Metta, Ravindra;Becker, Martin;Bokil, Prasad;Chakraborty, Samarjit;Venkatesh, R.
TIC: a scalable model checking based approach to WCET estimation
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems (LCTES)
ACM Press
2016

Roy, Debayan;Zhang, Licong;Chang, Wanli;Chakraborty, Samarjit
Automated synthesis of cyber-physical systems from joint controller/architecture specifications
Forum on Specification and Design Languages (FDL)
IEEE
2016

Park, Sangyoung;Zhang, Licong;Chakraborty, Samarjit
Design space exploration of drone infrastructure for large-scale delivery services
International Conference on Computer-Aided Design (ICCAD)
2016

Narayanaswamy, Swaminathan;Schlüter, Steffen; Steinhorst, Sebastian;Lukasiewycz, Martin; Chakraborty, Samarjit;Hoster, Harry Ernst
On Battery Recovery Effect in Wireless Sensor Nodes
ACM Transactions on Design Automomation of Electronic Systems
2016
21
4
60:1--60:28

Mundhenk, Philipp;Mrowca, Artur;Steinhorst, Sebastian;Lukasiewycz, Martin;Fahmy, Suhaib A.;Chakraborty, Samarjit
Open source model and simulator for real-time performance analysis of automotive network security
SIGBED Review
2016
13
3
8--13

Montuschi, Paolo;McCluskey, Edward J.;Chakraborty, Samarjit;Cong, Jason;Rodríguez-Dagnino, Ramón M.;Douglis, Fred;Eeckhout, Lieven;Heiser, Gernot;Jajodia, Sushil;Lee, Ruby B.;Manocha, Dinesh;Tomás, Manocha;Pena, F.;Puaut, Isabelle;Samet, Hanan;Sciuto, Donatella
State of the Journal
IEEE Transactions on Computers
2016
65
7
2014--2018

Kuo, Tei-Wei;Whalley, David B.
ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems (LCTES)
ACM
2016

Kindt, Philipp;Saur, Macro;Chakraborty, Samarjit
Slotless Protocols for Fast and Energy-Efficient Neighbor Discovery
CoRR
2016
abs/1605.05614