Not registered as user yet
Name:Eddie Lima
Affiliation:Samsung Electronics, Brazil
Contributions
| ICSE 2022 | ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile
- Tracks
- ICSE 2022
- All plenary events
- Keynotes
- Awards
- Sponsors
- Community
- Technical Track
- Artifact Evaluation
- DEMO - Demonstrations
- NIER - New Ideas and Emerging Results
- SEET - Software Engineering Education and Training
- SEIP - Software Engineering in Practice
- SEIS - Software Engineering in Society
- Journal-First Papers
- SRC - ACM Student Research Competition
- DS - Doctoral Symposium
- NFS - New Faculty Symposium
- SMeW - Student Mentoring Workshop
- Posters
- Birds of a Feather
- Workshops
- Student Volunteers
- Open Science Policies
- Submitting to ICSE2022: Q&A
- Social
- Program
- Organization
- ICSE 2022 Committees
- Organizing Committee
- Track Committees
- Technical Track
- Artifact Evaluation
- DEMO - Demonstrations
- NIER - New Ideas and Emerging Results
- SEET - Software Engineering Education and Training
- SEIP - Software Engineering in Practice
- SEIS - Software Engineering in Society
- Journal-First Papers
- SRC - ACM Student Research Competition
- DS - Doctoral Symposium
- NFS - New Faculty Symposium
- SMeW - Student Mentoring Workshop
- Posters
- Workshops
- Open Science Policies
- Contributors
- People Index
- Co-hosted Conferences
- AST
- CAIN
- CHASE
- FormaliSE
- ICPC
- MOBILESoft
- MSR
- TechDebt
- Workshops
- APR
- Not available
- BotSE
- DREE
- EMIP
- EnCyCriS
- FairWare
- Not available
- GAS
- GE@ICSE
- Not available
- IWSiB
- MET
- Not available
- NLBSE
- Q-SE
- RoPES
- Not available
- RoSE
- Not available
- SBST
- Not available
- SE4RAI
- SEENG
- Not available
- SERP4IoT
- SESoS
- WETSEB
- Not available
- Co-hosted Symposia
- SEAMS
- Attending
- Sponsors and Supporters
- Search
- Series