Skip to search formSkip to main contentSkip to account menu

JEB

Known as: JEB Decompiler, Jeb (disambiguation) 
JEB is primarily known as a disassembler and decompiler software for Android applications. It decompiles Dalvik bytecode to Java source code. The… 
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2016
Review
2016
Mobile devices have become ubiquitous due to centralization of private user information, contacts, messages and multiple sensors… 
2013
2013
The validation of formal models is a challenge for formal methods. We propose JeB, a framework which generates and executes… 
2013
2013
This thesis aims at the specification, verification and validation of safety-critical systems with formal methods, in particular… 
2012
2012
This paper addresses the validation of formal specifications in Event-B through the execution of the specification. Current tools… 
2010
2010
Different from large-size birds, hummingbirds are found to share more common flight patterns with insects, especially in hovering… 
Review
2009
Review
2009
Bioimpedance is a specialized field under constant development. Perhaps more than one thousand researchers worldwide are working… 
2000
2000
As the complexity of distributed embedded systems is increasing, and frequent upgrades and maintenance are expected, conventional… 
Review
1987
Review
1987
3 Paneth N, Stark RI. Cerebral palsy and mental retardation in relation to indicators of perinatal asphyxia. Am J Obstet Gynecol…